Supervised Bachelor Theses, Master Theses and Diploma Theses
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
380.
Sehlen,
Till
Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas
Master's Thesis
University of Magdeburg, Germany
Juni 2023
Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas
Master's Thesis
University of Magdeburg, Germany
Juni 2023
379.
Betz,
Tobias
Analyzing Feature-Model Histories With Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
Mai 2023
Analyzing Feature-Model Histories With Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
Mai 2023
| DOI: | 10.18725/OPARU-49385 |
| Datei: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/49461/Masterthesis_Betz.pdf |
378.
Klassen,
Jasmin
Localizing Faulty Feature Interactions Using Data Mining Techniques
Master's Thesis
University of Ulm, Germany
Mai 2023
Localizing Faulty Feature Interactions Using Data Mining Techniques
Master's Thesis
University of Ulm, Germany
Mai 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 |
| Datei: | 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
Februar 2023
Code Clones in Scientific Software: A Case Study on Ray-UI
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Februar 2023
375.
Klier,
Daniel
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Februar 2023
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Februar 2023
| DOI: | 10.18725/OPARU-52712 |
| Datei: | https://oparu.uni-ulm.de/bitstreams/ed22d24b-6d5e-40de-b4d8-b8e6de00ae5e/download |
374.
Jellinek,
Angelina
Inkrementelle Extraktion von Feature-Mappings
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Februar 2023
Inkrementelle Extraktion von Feature-Mappings
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Februar 2023
373.
Koepke,
Ole
Patching With Matching in Clone-and-Own
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Februar 2023
Patching With Matching in Clone-and-Own
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Februar 2023
372.
Licha,
Lars
Cutting Edge T-Wise Sampling With ddnnife
Bachelor's Thesis
University of Ulm, Germany
Januar 2023
Cutting Edge T-Wise Sampling With ddnnife
Bachelor's Thesis
University of Ulm, Germany
Januar 2023
371.
Güthing,
Lukas
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
Januar 2023
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
Januar 2023
370.
Kunz,
Alexander
Provenance Tracking in Python for ROS
Bachelor
University of Ulm, Germany
2023
Provenance Tracking in Python for ROS
Bachelor
University of Ulm, Germany
2023
369.
Lamers,
Jan-Philipp
Runtime Scalability Analysis and Profiling of the AlDeSCo Algorithm Detection System
Bachelor
University of Ulm, Germany
2023
Runtime Scalability Analysis and Profiling of the AlDeSCo Algorithm Detection System
Bachelor
University of Ulm, Germany
2023
368.
Jutz,
Benedikt
Textual Queries for Graphical Roadmap Models with Edit History
Master
University of Ulm. Germany
2023
Textual Queries for Graphical Roadmap Models with Edit History
Master
University of Ulm. Germany
2023
367.
Denzel,
Christoph
The Essence of the Mergesort, Ford-Fulkerson and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
2023
The Essence of the Mergesort, Ford-Fulkerson and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
2023
366.
Nohr,
Julian
The Essence of the Ternary Search, Depth-First Search and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
2023
The Essence of the Ternary Search, Depth-First Search and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
2023
365.
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
The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2023