Supervised Bachelor Theses, Master Theses and Diploma Theses

2023

358.
Klier, Daniel
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Februar 2023
357.
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
356.
Licha, Lars
Cutting Edge T-Wise Sampling with ddnnife
Bachelor's Thesis
University of Ulm, Germany
Januar 2023
355.
Güthing, Lukas
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
Januar 2023

2022

354.
Ostheimer, Lukas
Identification of Variance Driving Features in Feature Models
Bachelor's Thesis
University of Ulm, Germany
Dezember 2022
353.
Vill, Stefan
Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies
Bachelor's Thesis
University of Ulm, Germany
November 2022
352.
Brancaccio, Vincenzo
A Systematic Literature Review Towards a Representative Feature-Model Benchmark
Master's Thesis
University of Ulm, Germany
November 2022
DOI:10.18725/OPARU-46759
Datei:http://dx.doi.org/10.18725/OPARU-46759
351.
Böhm, Sabrina
Identification of Feature Interactions Through Combinatorial Interaction Analysis
Master's Thesis
University of Ulm, Germany
Oktober 2022
DOI:10.18725/OPARU-47319
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47395/thesis_boehm.pdf
350.
Bormann, Lukas
Reverse Engineering Feature-Aware Commits from Software Product-Line Repositories
Bachelor's Thesis
University of Ulm, Germany
Oktober 2022
349.
Jedelhauser, Kevin
Type-Checking Variability in Clone-and-Own Variants with Product-Line Tooling
Master's Thesis
University of Ulm, Germany
September 2022
348.
Lukas, Marc
A Survey of BDD-Based Tools For Points-To Analysis
Bachelor's Thesis
University of Ulm, Germany
August 2022
347.
Heimowski, Yvonne
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
August 2022
346.
Krieter, Sebastian
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
Juni 2022
DOI:10.25673/92625
Datei:https://opendata.uni-halle.de//handle/1981185920/94577
345.
Störmer, Karl
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master's Thesis
TU Braunschweig, Germany
Mai 2022
344.
Hohmann, Daniel
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
Mai 2022
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/Hohmann2022:MasterThesis.pdf
343.
Schiessl, Dominik
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2022
342.
Raab, Heiko
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
DOI:10.18725/OPARU-43414
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/43490/Thesis_RaabHeiko.pdf
341.
Jurinka, Philipp
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
Januar 2022
340.
Sihler, Florian
One-way Model Transformations
Bachelorarbeit
Universität Ulm
Januar 2022
339.
Kistner, Konstantin
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Januar 2022

2021

338.
Funk, Lenard
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
Dezember 2021
337.
Witschel, Tim
Generating Optimized Samples with Attributed Feature Models
Master's Thesis
TU Braunschweig, Germany
November 2021
DOI:10.24355/dbbs.084-202201210857-0
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00048775/Witschel%20Masters%20Thesis%20Generating%20Optimized%20Samples.pdf
336.
Wiebe, Annika
A Runtime Environment for Constraint Handling Rules in Kotlin
Bachelorarbeit
Universität Ulm
Oktober 2021
335.
Beaucamp, Luis
Using Graph Queries to Enable Runtime Monitoring in Robotic Applications
Masterarbeit
Universität Ulm
Oktober 2021
334.
Tschada, Marcel
Generating Taxonomies of Feature-Model Anomalies
Bachelor's Thesis
TU Braunschweig, Germany
September 2021