Supervised Bachelor Theses, Master Theses and Diploma Theses

2024

397.
Semmler, Sean
Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models
Bachelor's Thesis
University of Ulm, Germany
June 2024
396.
Berlinger, Simon
Automated Repair of Feature Model Defects in FeatureIDE
Bachelor's Thesis
University of Ulm, Germany
May 2024
395.
Förster, Pascal
Efficient Analysis of Indeterminate Hidden Features
Master's Thesis
University of Ulm, Germany
May 2024
394.

2024
393.

Correlating Parameters of Configuration Files to the System State in ROS
2024
392.
Haas, Yves
Exploratory Study on How Programmers Interact with LLM-Based Chatbots
Master
University of Ulm, Germany
January 2024
391.
Riesland, Jonathan
Optimizing T-Wise Sampling on d-DNNFs with Objective Functions
Bachelor's Thesis
University of Ulm, Germany
January 2024

2023

390.
Dunkel, Raphael
One Solver to Rule All Feature Models - Or Not? Addressing the Algorithm Selection Problem for #SAT
Bachelor's Thesis
University of Ulm, Germany
December 2023
389.
Raab, Heiko
Incrementally Adapting d-DNNFs to Cope with Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
November 2023
DOI:10.18725/OPARU-52288
388.
Loth, Jacob
Projected d-DNNF Compilation for Feature Models
Master's Thesis
University of Ulm, Germany
November 2023
387.
Schmid, Clemens
Parameterizations for Approximate #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
October 2023
386.
Arens, Rahel
Product-Line Sampling of Field Configurations
Master's Thesis
University of Ulm, Germany
October 2023
DOI:10.18725/OPARU-52287
File:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/52363/thesis_Rahel_Arens.pdf
385.
Schiessle, Pascal
Repairing Samples After Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
October 2023
384.
Karrer, Simon
Interactive Product Configuration for Multiple Feature-Model Versions
Master's Thesis
University of Ulm, Germany
July 2023
383.
Betz, Tobias
Analyzing Feature-Model Histories With Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
May 2023
DOI:10.18725/OPARU-49385
File:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/49461/Masterthesis_Betz.pdf
382.
Sehlen, Till
Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas
Master's Thesis
University of Magdeburg, Germany
May 2023
381.
Klassen, Jasmin
Localizing Faulty Feature Interactions Using Data Mining Techniques
Master's Thesis
University of Ulm, Germany
May 2023
380.
Moosherr, Benjamin
Constructing Variation Diffs Using Tree Diffing Algorithms
Bachelor's Thesis
University of Ulm, Germany
April 2023
DOI:10.18725/OPARU-50108
File:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/50184/BA_Moosherr.pdf
379.
Maier, Jannis
Code Clones in Scientific Software: A Case Study on Ray-UI
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
378.
Klier, Daniel
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
February 2023
377.
Jellinek, Angelina
Inkrementelle Extraktion von Feature-Mappings
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
376.
Koepke, Ole
Patching With Matching in Clone-and-Own
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
375.
Sihler, Florian
Constructing a Static Program Slicer Specifically for R Programs
Master
University of Ulm, Germany
August 2023
374.
Licha, Lars
Cutting Edge T-Wise Sampling With ddnnife
Bachelor's Thesis
University of Ulm, Germany
January 2023
373.
Straub, Raphael
Exploring the Effectivness of Automatic Algorithm Search Pattern Generation from sample Code Using Rule-Based Transformations
Master
University of Ulm, Germany
November 2023