Supervised Bachelor Theses, Master Theses and Diploma Theses

2023

368.
Moosherr, Benjamin
Constructing Variation Diffs Using Tree Diffing Algorithms
Bachelor's Thesis
University of Ulm, Germany
April 2023
367.
Maier, Jannis
Code Clones in Scientific Software: A Case Study on Ray-UI
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Februar 2023
366.
Klier, Daniel
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Februar 2023
365.
Jellinek, Angelina
Inkrementelle Extraktion von Feature-Mappings
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Februar 2023
364.
Koepke, Ole
Patching with Matching in Clone-and-Own
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Februar 2023
363.
Licha, Lars
Cutting Edge T-Wise Sampling with ddnnife
Bachelor's Thesis
University of Ulm, Germany
Januar 2023
362.
Güthing, Lukas
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
Januar 2023
361.
Langenbucher, Eric
The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2023

2022

360.
Ostheimer, Lukas
Identification of Variance Driving Features in Feature Models
Bachelor's Thesis
University of Ulm, Germany
Dezember 2022
359.
Vill, Stefan
Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies
Bachelor's Thesis
University of Ulm, Germany
November 2022
358.
Brancaccio, Vincenzo
A Systematic Literature Review Towards a Representative Feature-Model Benchmark
Master's Thesis
University of Ulm, Germany
November 2022
DOI:10.18725/OPARU-46759
Datei:http://dx.doi.org/10.18725/OPARU-46759
357.
Wilke, Sebastian
Simulating Variant Drift in Product-Line Variants Using AST-Based Refactoring
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
November 2022
356.
Böhm, Sabrina
Identification of Feature Interactions Through Combinatorial Interaction Analysis
Master's Thesis
University of Ulm, Germany
Oktober 2022
DOI:10.18725/OPARU-47319
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47395/thesis_boehm.pdf
355.
Bormann, Lukas
Reverse Engineering Feature-Aware Commits from Software Product-Line Repositories
Bachelor's Thesis
University of Ulm, Germany
Oktober 2022
DOI:10.18725/OPARU-47892
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47968/Thesis_Bormann.pdf
354.
Jedelhauser, Kevin
Type-Checking Variability in Clone-and-Own Variants with Product-Line Tooling
Master's Thesis
University of Ulm, Germany
September 2022
353.
Lukas, Marc
A Survey of BDD-Based Tools For Points-To Analysis
Bachelor's Thesis
University of Ulm, Germany
August 2022
352.
Heimowski, Yvonne
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
August 2022
351.
Krieter, Sebastian
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Magdeburg, Germany
Juni 2022
DOI:10.25673/92625
Datei:https://opendata.uni-halle.de//handle/1981185920/94577
350.
Berndt, Luca
Investigating Conflict Scenarios During Change-Propagation in Managed Clone-and-Own
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Juni 2022
349.
Störmer, Karl
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master's Thesis
TU Braunschweig, Germany
Mai 2022
348.
Hohmann, Daniel
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
Mai 2022
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/Hohmann2022:MasterThesis.pdf
347.
Kittelmann, Alexander
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Braunschweig, Germany
Februar 2022
DOI:10.24355/dbbs.084-202204121019-0
Datei:pdfhttps://leopard.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00049280/Diss_Kittelmann_Alexander.pdf
346.
Jurinka, Philipp
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
Januar 2022
345.
Raab, Heiko
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
DOI:10.18725/OPARU-43414
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/43490/Thesis_RaabHeiko.pdf
344.
Döring, Jacob
Cherry-Picking in Practice
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Januar 2022