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
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
January 2024
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
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.
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 |
388.
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
387.
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
386.
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 |
385.
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
384.
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
383.
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 |
382.
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
381.
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
380.
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 |
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
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
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
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
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
Masterarbeit
University of Ulm, Germany
August 2023
Constructing a Static Program Slicer Specifically for R Programs
Masterarbeit
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
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
Exploring the Effectivness of Automatic Algorithm Search Pattern Generation from sample Code Using Rule-Based Transformations
Master
University of Ulm, Germany
November 2023