Theses
Ph.D. theses
- Thomas Bock. Emerging Organizational Patterns in Evolving Open-Source Software Projects: An Analysis of Developer Activity and Coordination. Faculty of Mathematics and Computer Science, Saarland University, June 2024.
- Florian Sattler. Understanding Variability in Space and Time: Analyzing Features and Revisions in Concert. Faculty of Mathematics and Computer Science, Saarland University, April 2024.
- Gustavo do Vale. Investigating the Merge Conflict Life-Cycle Taking the Social Dimension into Account. Faculty of Mathematics and Computer Science, Saarland University, March 2024.
- Christian Kaltenecker. Black-Box Performance Modeling of Configurable Software Systems. Faculty of Mathematics and Computer Science, Saarland University, January 2024.
- Norman Peitek. A Neuro-Cognitive Perspective of Program Comprehension. Faculty of Computer Science, University of Technology Chemnitz, May 2022. Dissertation Award of the Chemnitz University of Technology.
- Andreas Stahlbauer. Abstract Transducers for Software Analysis and Verification. Department of Informatics and Mathematics, University of Passau, September 2020.
- Sergiy Kolesnikov. Feature Interactions in Configurable Software Systems. Department of Informatics and Mathematics, University of Passau, July 2019.
- Mitchell Joblin. Structural and Evolutionary Analysis of Developer Networks. Department of Informatics and Mathematics, University of Passau, February 2017. Dissertation Award of the University of Passau.
- Alexander von Rhein. Analysis Strategies for Configurable Systems. Department of Informatics and Mathematics, University of Passau, June 2016. Dissertation Award of the University of Passau.
- Jörg Liebig. Analysis and Transformation of Configurable Systems. Department of Informatics and Mathematics, University of Passau, April 2015. Software-Engineering Award of the Ernst-Denert Foundation.
Master theses
- Nils Alznauer. An Eye-Tracking Study on the Effects of Type Annotations and Identifier Naming on Program Comprehension. Saarland Informatics Campus, Saarland University, May 2024.
- Jan Schmitz. Validating VaRA's Feature-Region Detection on Real-World Programs by Approximating Feature Locations through Coverage Data. Saarland Informatics Campus, Saarland University, January 2024.
- Lukas Abelt. Configuration-Aware Performance Analysis of Compile-Time Configurable Systems. Saarland Informatics Campus, Saarland University, January 2024.
- Alisa Welter. Towards Model Editing Pattern Detection via Graph Variational Autoencoders. Saarland Informatics Campus, Saarland University, September 2023.
- Loay Elzobaidy. Automated Code Generation for Pair Programming: A Systematic Mapping Study. Saarland Informatics Campus, Saarland University, July 2023.
- Gerd Alliu. A Product-Line-based Approach for Constructing Synthetic Software-Analysis Benchmarks. Saarland Informatics Campus, Saarland University, July 2023.
- Blirona Keraj. Leveraging Informative Code Representations for Flaky Test Prediction. Saarland Informatics Campus, Saarland University, May 2023.
- Kristela Kaja. On the Relation of Socio-Technical Congruence and Code Review Measures. Saarland Informatics Campus, Saarland University, May 2023.
- Nico Buchholz. The Best of Both Worlds: Integrating White-Box with Black-Box Performance Analysis. Saarland Informatics Campus, Saarland University, March 2023.
- Lina Lampel. Multivoxel Pattern Analysis for fMRI Data on Program Comprehension. Saarland Informatics Campus, Saarland University, February 2023.
- Anna-Maria Maurer. Sampling Effect of Numeric Option Encoding on Performance Prediction of Highly-Configurable Software Systems. Saarland Informatics Campus, Saarland University, October 2022.
- Mirabdulla Yusifli. On Gender Diversity in Open-Source Software Projects. Saarland Informatics Campus, Saarland University, October 2021.
- Pascal Dupré. Tracking Feature-Model Changes over the History of Software Projects. Saarland Informatics Campus, Saarland University, June 2021.
- Annabelle Bergum. On Baselines for Program Comprehension Studies with fMRI. Saarland Informatics Campus, Saarland University, March 2021.
- Kallistos Weis. Grammar-Based Sampling. Saarland Informatics Campus, Saarland University, September 2020.
- Christian Hechtl. On the Influence of Developer Coreness on Patch Acceptance: A Survival Analysis. Department of Informatics and Mathematics, University of Passau, March 2020.
- Arun Kumar Verma. Understanding How Developers Link Social and Technical Assets in GitHub. Department of Informatics and Mathematics, University of Passau, March 2020.
- Sebastian Böhm. Predicate Granularity in Predicate Abstraction. Department of Informatics and Mathematics, University of Passau, September 2019.
- Niklas Werner. Energy and Performance Evolution of Configurable Systems: Case Studies and Experiments. Department of Informatics and Mathematics, University of Passau, September 2019.
- Florian Heck. Comparing Merge Strategies Regarding Build and Test Conflicts. Department of Informatics and Mathematics, University of Passau, September 2019.
- Julian Breiteneicher. Enhancing Program Analysis with Git Metadata in VaRA. Department of Informatics and Mathematics, University of Passau, September 2019.
- Martin Bauer. A Comparison of Six Constraint Solvers for Variability Analysis. Department of Informatics and Mathematics, University of Passau, September 2019.
- Muhammad Zohaib Brohi. Software Practitioners Perspective on Merge Conflicts and Resolution. Department of Informatics and Mathematics, University of Passau, July 2019.
- Johannes Hasreiter. Evolution of Performance Influences in Configurable Systems. Department of Informatics and Mathematics, University of Passau, June 2019.
- Rima Lewis. Visualization of Performance-Influence Models. Department of Informatics and Mathematics, University of Passau, May 2019.
- Alexander Ebel. Analyzing the Evolution of Open Source Projects in the Face of Social and Organizational Change. Department of Informatics and Mathematics, University of Passau, March 2019.
- Adrian Marten. A Comparison Study of Domain Constraint Solver for Model Counting. Department of Informatics and Mathematics, University of Passau, April 2018.
- Stephan Lukasczyk. A Provident Abstraction Refinement Framework for Multi-Path Refinements. Department of Informatics and Mathematics, University of Passau, March 2018.
- Florian Niederhuber. Change-Region Detection in LLVM. Department of Informatics and Mathematics, University of Passau, February 2018.
- Manuel Donaubauer. Aufstieg in der Linux-Entwickler-Community: Eine Analyse der Patch-Acceptance-Rate. Department of Informatics and Mathematics, University of Passau, February 2018.
- Christian Kapfhammer. Adjustable Family-Based Performance Measurement. Department of Informatics and Mathematics, University of Passau, August 2017.
- Peter Dahlberg. Assessing the Scope of Safety Properties. Department of Informatics and Mathematics, University of Passau, March 2017.
- Florian Garbe. Performance Measurement of C Software Product Lines. Department of Informatics and Mathematics, University of Passau, March 2017.
- Alexander Denk. Detecting Control-Flow and Performance Interactions in Highly-Configurable Systems: A Case Study. Department of Informatics and Mathematics, University of Passau, March 2017.
- Florian Sattler. A Variability-Aware Feature-Region Analyzer in LLVM. Department of Informatics and Mathematics, University of Passau, February 2017.
- Thomas Ziegler. GITCoP: A Machine Learning Based Approach to Predicting Merge Conflicts from Repository Metadata. Department of Informatics and Mathematics, University of Passau, January 2017.
- Andreas Janker. TypeChef meets SPLLIFT: Interprocedural Data-Flow Analysis of Configurable Software Systems. Department of Informatics and Mathematics, University of Passau, December 2016.
- Christian Kaltenecker. Comparison of Analytical and Empirical Performance Models: A Case Study on Multigrid Systems. Department of Informatics and Mathematics, University of Passau, November 2016.
- Georg Seibt. Applying Flexible Tree Matching to Abstract Syntax Trees. Department of Informatics and Mathematics, University of Passau, September 2016.
- Thomas Leutheusser. Generating Realistic Attributed Variability Models. Department of Informatics and Mathematics, University of Passau, September 2016.
- Thomas Bock. Synchronous Development in Open-Source Systems: File-based, Feature-based, and Function-based. Department of Informatics and Mathematics, University of Passau, September 2016.
- Matthias Dittrich. Feature-Aware Collaboration Tracking with Codeface. Department of Informatics and Mathematics, University of Passau, June 2015.
- Judith Roth. On the Relation of Type Errors and Static Attributes of Feature-Oriented Product Lines. Department of Informatics and Mathematics, University of Passau, August 2014.
- Simon Niechzial. Visualization and Analysis of Product-Line Evolution in Codeface. Department of Informatics and Mathematics, University of Passau, August 2014.
- Daniel Hausknecht. Variability-aware Data-flow Analysis for Smartphone Applications. Department of Informatics and Mathematics, University of Passau, September 2013.
- Claus Hunsen. Experiments on Type Checking of Software Product Lines. Department of Informatics and Mathematics, University of Passau, July 2013.
- Peter Lutz. Typprüfung von Produktlinien in Fuji. Department of Informatics and Mathematics, University of Passau, April 2013.
- Bernhard Stadler. Ein graphbasierter Formalismus zur Programmmanipulation. Department of Informatics and Mathematics, University of Passau, November 2012.
- Olaf Leßenich. Adjustable Syntactic Merge of Java Programs. Department of Informatics and Mathematics, University of Passau, February 2012.
- Rolf Daniel. Feature-orientierte Entwicklung von Programmiersprachwerkzeugen: Eine Fallstudie. Department of Informatics and Mathematics, University of Passau, February 2012.
- Stefan Boxleitner. A Case Study on Feature-Aware Verification. Department of Informatics and Mathematics, University of Passau, September 2011.
- Benjamin Brandl. Ein empirischer Vergleich von semistrukturierter und unstrukturierter Konfliktbehandlung in Versionsverwaltungssystemen. Department of Informatics and Mathematics, University of Passau, April 2011.
- Sergiy Kolesnikov. An Extensible Compiler for Feature-Oriented Programming in Java. Department of Informatics and Mathematics, University of Passau, February 2011.
- Hendrik Speidel. A Specification Language for Observer Automata in Feature-Oriented Verification. Department of Informatics and Mathematics, University of Passau, January 2011.
Bachelor theses
- Minh-Khue Pham. Impact of Type Annotation and Usage Context on Copilot’s Code Completion: An Empirical Study. Saarland Informatics Campus, Saarland University, September 2024.
- Leonie Schneider. Uncovering Activities of Privileged Developers in Open-Source Software Projects. Saarland Informatics Campus, Saarland University, April 2024.
- Leonie von Mann Using Character-Based Git Blame Information to Enhance the Precision of Commit-Interaction Analysis. Saarland Informatics Campus, Saarland University, March 2024.
- Philipp Scholtes. Classifying Core Developers in Open-Source Software Projects: A Responsibility Driven Approach. Saarland Informatics Campus, Saarland University, March 2024.
- Sami Naim. Beyond Syntax: An Eye Tracking Analysis of Java Method Ordering Strategies. Saarland Informatics Campus, Saarland University, March 2024.
- Youssef Abdelsalam. The Effect Of Comments On Program Comprehension: An Eye-Tracking Study. Saarland Informatics Campus, Saarland University, February 2024.
- Jonas Wagner. Analyse der Verwendung und Verbreitung von Git Submodulen in C/C++ Projekten. Saarland Informatics Campus, Saarland University, January 2024.
- Simon Steuer. Commit-Feature Interactions: Analyzing Structural and Data-Flow Relations Between Commits and Features. Saarland Informatics Campus, Saarland University, January 2024.
- Niklas Schneider. Wissenstransfer im Pair Programming und mit GitHub CoPilot: Ein Vergleich. Saarland Informatics Campus, Saarland University, November 2023.
- Timon Dörzapf. Exploration of Software Tools Used for Analyzing Eye Tracking Data in Software Engineering. Saarland Informatics Campus, Saarland University, October 2023.
- Simon Friedel. Software Variability Over Time: Understanding the Evolution of Revision Histories Through Data-Flow Analysis. Saarland Informatics Campus, Saarland University, July 2023.
- Manuel Messerig. Feature Performance Analysis: Differences Between Black-Box and White-Box Models in Configurable Systems. Saarland Informatics Campus, Saarland University, April 2023.
- Janik Keller. Feature Taint Analysis: How Precise can VaRA Track the Influence of Feature Variables in Real-World Programs?. Saarland Informatics Campus, Saarland University, March 2023.
- Tom Zahlbach. Finding Feature-Dependent Code: A Study on Different Feature-Region Detection Approaches. Saarland Informatics Campus, Saarland University, February 2023.
- Jonas Kaufmann. An Evaluation of Different Measurement Approaches for Feature Performance Analysis. Saarland Informatics Campus, Saarland University, December 2022.
- Tobias Dick. Comparing Artifact and Communication Networks in Open-Source Software Projects. Saarland Informatics Campus, Saarland University, November 2022.
- Yannick Lehmen. Correlates of Code Complexity in Program Comprehension. Saarland Informatics Campus, Saarland University, November 2022.
- Lukas Anstett. Automating Website Design with a Human in the Loop. Saarland Informatics Campus, Saarland University, August 2022.
- Lukas Selvaggio. Feature Identification with Formal Concept Analysis: A Case Study. Saarland Informatics Campus, Saarland University, July 2022.
- Alexander Dincher. The Impact of Workloads on Performance of Configurable Software Systems. Saarland Informatics Campus, Saarland University, November 2021.
- Lauritz Timm. Improving VaRA's Feature Region Detection by Using an Interprocedural Context-Sensitive Taint Analysis. Saarland Informatics Campus, Saarland University, November 2021.
- Simon Fedick. Labeling Commits as Bug Fixing and Fix Inducing: Strategies and Experiments. Saarland Informatics Campus, Saarland University, June 2021.
- Sven Fehlmann. Exploration of Preferential Attachment in Open-Source Software Projects. Saarland Informatics Campus, Saarland University, June 2021.
- Simon Lichtnecker. Improving Analyzability of Library Interactions in VaRA-Tool-Suite. Department of Informatics and Mathematics, University of Passau, March 2021.
- Nils Alznauer. Network-based Classification of Developer Roles in Open-Source Projects: An Empirical Study. Saarland Informatics Campus, Saarland University, November 2020.
- Anselm Fehnker. Using Multiplex Centrality Measures to Identify Core Developers in Open-Source Software Projects. Department of Informatics and Mathematics, University of Passau, September 2019.
- Bastian Fleischmann. Meta-Learning for Performance Prediction on Configurable Software Systems. Department of Informatics and Mathematics, University of Passau, July 2018.
- Jakob Hoffmann. Evaluating the Influence of Feature Interactions on the Learnability of Non-functional Properties. Department of Informatics and Mathematics, University of Passau, June 2018.
- Christian Hechtl. The Influence of Developer Roles on Contributions to Open-Source Software Projects. Department of Informatics and Mathematics, University of Passau, April 2018.
- Jakob Schwarzweller. Optimizing Intraprocedural Static Analysis Using Call-Graph Information and Memory Dependencies. Department of Informatics and Mathematics, University of Passau, March 2018.
- Elisabeth Griebl. A Comparison of Optimization and Craig Interpolation for Generating Minimal and Maximal Configurations. Department of Informatics and Mathematics, University of Passau, January 2018.
- Jennifer Bauer. Indentations - A Simple Matter of Style or Support for Code Comprehension?. Department of Informatics and Mathematics, University of Passau, October 2017.
- Martin Bauer. Sensitivity Analysis of Flexible AST Matching. Department of Informatics and Mathematics, University of Passau, October 2017.
- Niklas Werner. Performance and Energy Interactions of Configurable Systems. Department of Informatics and Mathematics, University of Passau, October 2017.
- Sebastian Böhm. Automata-Guided Synthesis and Reuse of Precisions. Department of Informatics and Mathematics, University of Passau, October 2017.
- Constantin Wenger. Evaluation des Projektzustands verschiedener LLVM Frontends. Department of Informatics and Mathematics, University of Passau, September 2017.
- Raphael Nömmer. Analyzing Developer Networks Based on GitHub Issue Data. Department of Informatics and Mathematics, University of Passau, October 2017.
- Sofie Kemper. Communication of Core and Peripheral Developers in OSS Projects: An Exploratory Study. Department of Informatics and Mathematics, University of Passau, September 2017.
- Ferdinand Frank. Activity of Core and Peripheral Developers: A Case Study on Mozilla Firefox. Department of Informatics and Mathematics, University of Passau, September 2017.
- Kevin Glöckl. Erweiterung eines Software-Testansatzes durch soziale Aspekte. Department of Informatics and Mathematics, University of Passau, June 2017.
- Verena Bader. Visualisierung von Git-Repositories. Department of Informatics and Mathematics, University of Passau, September 2016.
- Julius Kempf. Visualizing General Morphological Analysis via Multidimensional Scaling. Department of Informatics and Mathematics, University of Passau, September 2015.
- Philipp Eichhammer. Generating Realistic non-functional Property Attributes for Feature Models. Department of Informatics and Mathematics, University of Passau, October 2014.
- Christian Kaltenecker. Implementierung und Evaluierung konfigurierbarer Mehrgitterlöser für Multiprozessorsysteme. Department of Informatics and Mathematics, University of Passau, September 2014.
- Felix Steghofer. Unerlaubte Weitergabe von privaten Daten zwischen Android-Apps: Analyse eines Szenarios. Department of Informatics and Mathematics, University of Passau, July 2014.
- Martin Bocheneck. Evaluierung experimenteller Designs zur Bestimmung des nichtfunktionalen Einflusses metrischer Konfigurationsoptionen. Department of Informatics and Mathematics, University of Passau, April 2014.
- Patrick Kuglmeier. Entwurf und Implementierung einer optimalen Benutzerobfläche zur Darstellung komplexer Produktkonfigurationen mit Schwerpunkt auf der Anzeige und Auswahl von alternativen Konfigurationsschritten. Department of Informatics and Mathematics, University of Passau, March 2013.
- Andreas Buchecker. Optimierung von BDD-basierten Model-Checking durch effiziente Variablenordnung. Department of Informatics and Mathematics, University of Passau, December 2012.
- Stefan John. Empirische Untersuchung des Zusammenhangs zwischen Fehlerhäufigkeit und ausgewählten Softwaremaßen. Department of Informatics and Mathematics, University of Passau, March 2012.
- Sebastian Henneberg. Next-Generation Feature Models with Pseudo-Boolean SAT Solvers. Department of Informatics and Mathematics, University of Passau, November 2011.
- Semah Senkaya. Klassifikation von Methoden zur Qualitätsbeurteilung in der Softwareproduktlinienentwicklung. Department of Informatics and Mathematics, University of Passau, September 2011.
- Rolf Daniel. Feature-orientierte Analyse von Service-orientierten Architekturen. Department of Informatics and Mathematics, University of Passau, June 2009.
- Stefan Boxleitner. Komposition von Features durch Quantifizierung. Department of Informatics and Mathematics, University of Passau, November 2008.
- Alexander von Rhein. Feature-orientierte Programmierung mit Superimposition in C#. Department of Informatics and Mathematics, University of Passau, July 2008.
Diploma theses
- Janet Feigenspan. Empirical Comparison of FOSD Approaches Regarding Program Comprehension − A Feasibility Study. School of Computer Science, University of Magdeburg, August 2009.
- Malte Rosenthal. Alternative Features in Colored Featherweight Java. Department of Informatics and Mathematics, University of Passau, July 2009.
- Sebastian Scharinger. A Description Language for Feature-Oriented Software Development. Department of Informatics and Mathematics, University of Passau, June 2009.
- Jens Dörre. Feature-Oriented Composition of XML Artifacts. Department of Informatics and Mathematics, University of Passau, March 2009.
- Christian Kästner. Aspect-Oriented Refactoring of Berkeley DB. School of Computer Science, University of Magdeburg, February 2007. Software-Engineering Award of the Ernst-Denert Foundation.
- Martin Kuhlemann. Moderne Modularisierungstechniken und ihre Bedeutung fur qualitativ hochwertige Software. School of Computer Science, University of Magdeburg, August 2006.
- Laura Marnitz. Werkzeugunterstützung für die Merkmalorientierte Softwareentwicklung. School of Computer Science, University of Magdeburg, September 2005.
- Marko Rosenmüller. Merkmalsorientierte Programmierung in C++. School of Computer Science, University of Magdeburg, August 2005.
- Karl-Heinz Deutinger. Modulare Mechanismen zur Lastbalancierung in Peer-to-Peer Systemen. School of Computer Science, University of Magdeburg, July 2005.
- Helge Sichting. Middleware-Architektur für mobile Informationssysteme. School of Computer Science, University of Magdeburg, January 2004.