Supervised Bachelor Theses, Master Theses and Diploma Theses
2025
405.
Dunkel,
Raphael
Engineering and Selecting Machine Learning Features for Feature Models
Master's Thesis
University of Ulm, Germany
Mai 2025
Engineering and Selecting Machine Learning Features for Feature Models
Master's Thesis
University of Ulm, Germany
Mai 2025
404.
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
403.
Vill,
Stefan
Pseudo Boolean d-DNNF Compilation for Analyzing Expressive Feature-Model Formats
Master's Thesis
University of Ulm
2025
Pseudo Boolean d-DNNF Compilation for Analyzing Expressive Feature-Model Formats
Master's Thesis
University of Ulm
2025
402.
Shulimov,
Eugen
Unparsing von Datenstrukturen zur Analyse von C-Präprozessor-Variabilität
Bachelor's Thesis
University of Paderborn, Germany
Januar 2025
Unparsing von Datenstrukturen zur Analyse von C-Präprozessor-Variabilität
Bachelor's Thesis
University of Paderborn, Germany
Januar 2025
| DOI: | 10.17619/UNIPB/1-2306 |
2024
401.
Ostheimer,
Lukas
Commonality-Guided Identification, Resolution, and Exploitation of Variance Drivers in Feature Models
Master's Thesis
University of Ulm, Germany
Dezember 2024
Commonality-Guided Identification, Resolution, and Exploitation of Variance Drivers in Feature Models
Master's Thesis
University of Ulm, Germany
Dezember 2024
400.
Klier,
Daniel
Annotating Binary Decision Diagrams with Semantic Context from Feature-Model Analysis
Master's Thesis
University of Ulm, Germany
November 2024
Annotating Binary Decision Diagrams with Semantic Context from Feature-Model Analysis
Master's Thesis
University of Ulm, Germany
November 2024
399.
Rieg,
Felix
Concurrent Dynamic Variable Ordering Strategies for Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
November 2024
Concurrent Dynamic Variable Ordering Strategies for Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
November 2024
398.
Molt,
Aaron
T-Wise Sampling Operations on Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
November 2024
T-Wise Sampling Operations on Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
November 2024
397.
Berlinger,
Simon
Automated Repair of Feature Model Defects in FeatureIDE
Bachelor's Thesis
University of Ulm, Germany
Juni 2024
Automated Repair of Feature Model Defects in FeatureIDE
Bachelor's Thesis
University of Ulm, Germany
Juni 2024
396.
Semmler,
Sean
Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models
Bachelor's Thesis
University of Ulm, Germany
Mai 2024
Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models
Bachelor's Thesis
University of Ulm, Germany
Mai 2024
| DOI: | 10.18725/OPARU-53151 |
| Datei: | https://oparu.uni-ulm.de/items/98976fb7-c4f8-46fc-bbb5-56f5591cc354 |
395.
Förster,
Pascal
Efficient Analysis of Indeterminate Hidden Features
Master's Thesis
University of Ulm, Germany
Mai 2024
Efficient Analysis of Indeterminate Hidden Features
Master's Thesis
University of Ulm, Germany
Mai 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.
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
Januar 2024
One Solver to Rule All Feature Models - Or Not? Addressing the Algorithm Selection Problem for #SAT
Bachelor's Thesis
University of Ulm, Germany
Januar 2024
| DOI: | 10.18725/OPARU-52711 |
390.
Riesland,
Jonathan
Optimizing T-Wise Sampling on d-DNNFs with Objective Functions
Bachelor's Thesis
University of Ulm, Germany
Januar 2024
Optimizing T-Wise Sampling on d-DNNFs with Objective Functions
Bachelor's Thesis
University of Ulm, Germany
Januar 2024
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
Oktober 2023
Parameterizations for Approximate #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
Oktober 2023
385.
Arens,
Rahel
Product-Line Sampling of Field Configurations
Master's Thesis
University of Ulm, Germany
Oktober 2023
Product-Line Sampling of Field Configurations
Master's Thesis
University of Ulm, Germany
Oktober 2023
| DOI: | 10.18725/OPARU-52287 |
| Datei: |  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
Oktober 2023
Repairing Samples After Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
Oktober 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
Juli 2023
Interactive Product Configuration for Multiple Feature-Model Versions
Master's Thesis
University of Ulm, Germany
Juli 2023