Supervised Bachelor Theses, Master Theses and Diploma Theses
2025
398.
Pietzschmann,
Lukas
Improving Code Coverage Metrics using Static Program Slicing for R
Masterarbeit
University of Ulm, Germany
2025
Improving Code Coverage Metrics using Static Program Slicing for R
Masterarbeit
University of Ulm, Germany
2025
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
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
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
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
2024
Exploratory Study on How Programmers Interact with LLM-Based Chatbots
Master
University of Ulm, Germany
2024
391.
Riesland,
Jonathan
Optimizing T-Wise Sampling on d-DNNFs with Objective Functions
Bachelor's Thesis
University of Ulm, Germany
January 2024
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
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.
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
Exploring the Effectivness of Automatic Algorithm Search Pattern Generation from sample Code Using Rule-Based Transformations
Master
University of Ulm, Germany
November 2023
388.
Raab,
Heiko
Incrementally Adapting d-DNNFs to Cope with Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
November 2023
Incrementally Adapting d-DNNFs to Cope with Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
November 2023
| DOI: | 10.18725/OPARU-52288 |
387.
Loth,
Jacob
Projected d-DNNF Compilation for Feature Models
Master's Thesis
University of Ulm, Germany
November 2023
Projected d-DNNF Compilation for Feature Models
Master's Thesis
University of Ulm, Germany
November 2023
386.
Schmid,
Clemens
Parameterizations for Approximate #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
October 2023
Parameterizations for Approximate #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
October 2023
385.
Arens,
Rahel
Product-Line Sampling of Field Configurations
Master's Thesis
University of Ulm, Germany
October 2023
Product-Line Sampling of Field Configurations
Master's Thesis
University of Ulm, Germany
October 2023
| DOI: | 10.18725/OPARU-52287 |
| File: |  https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/52363/thesis_Rahel_Arens.pdf |
384.
Schiessle,
Pascal
Repairing Samples After Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
October 2023
Repairing Samples After Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
October 2023
383.
Edlhuber,
Jonas
Planning of coordinated Reconfigurations in cloud-native Systems -- From State Graph to Decision Tree
Bachelor
University of Ulm, Germany
September 2023
Planning of coordinated Reconfigurations in cloud-native Systems -- From State Graph to Decision Tree
Bachelor
University of Ulm, Germany
September 2023
382.
Sihler,
Florian
Constructing a Static Program Slicer Specifically for R Programs
Masterarbeit
University of Ulm, Germany
August 2023
Constructing a Static Program Slicer Specifically for R Programs
Masterarbeit
University of Ulm, Germany
August 2023
| DOI: | 10.18725/OPARU-50107 |
381.
Karrer,
Simon
Interactive Product Configuration for Multiple Feature-Model Versions
Master's Thesis
University of Ulm, Germany
July 2023
Interactive Product Configuration for Multiple Feature-Model Versions
Master's Thesis
University of Ulm, Germany
July 2023
380.
Betz,
Tobias
Analyzing Feature-Model Histories With Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
May 2023
Analyzing Feature-Model Histories With Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
May 2023
| DOI: | 10.18725/OPARU-49385 |
| File: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/49461/Masterthesis_Betz.pdf |
379.
Sehlen,
Till
Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas
Master's Thesis
University of Magdeburg, Germany
May 2023
Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas
Master's Thesis
University of Magdeburg, Germany
May 2023
378.
Klassen,
Jasmin
Localizing Faulty Feature Interactions Using Data Mining Techniques
Master's Thesis
University of Ulm, Germany
May 2023
Localizing Faulty Feature Interactions Using Data Mining Techniques
Master's Thesis
University of Ulm, Germany
May 2023
377.
Moosherr,
Benjamin
Constructing Variation Diffs Using Tree Diffing Algorithms
Bachelor's Thesis
University of Ulm, Germany
April 2023
Constructing Variation Diffs Using Tree Diffing Algorithms
Bachelor's Thesis
University of Ulm, Germany
April 2023
| DOI: | 10.18725/OPARU-50108 |
| File: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/50184/BA_Moosherr.pdf |
376.
Maier,
Jannis
Code Clones in Scientific Software: A Case Study on Ray-UI
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
Code Clones in Scientific Software: A Case Study on Ray-UI
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
375.
Klier,
Daniel
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
February 2023
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
February 2023
374.
Jellinek,
Angelina
Inkrementelle Extraktion von Feature-Mappings
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
Inkrementelle Extraktion von Feature-Mappings
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023