Theses

Master thesis
Title	Type	Supervision	Status
Verification of parallelizability of sequential programs using data dependence analysis	Master's thesis	Asmae Heydari Tabar	Open
Describing & Assessing Changes in Highly-Configurable CPS	Master's thesis	Philip Ochs	Open
Describing & Assessing Impacts of Change in CPS Engineering	Master's thesis	Philip Ochs	Open, starting August 2025
Feature-Annotated Reactions Language	Master's thesis	Dirk Neumann	In Preparation
Higher-Order Consistency Preservation Rules	Master's thesis	Dirk Neumann	In Progress
Verification of parallelized Stencils based on data dependence analysis	Master's thesis	Asmae Heydari Tabar	Open
Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling	Master's thesis / Bachelor's thesis	Lukas Güthing	Open

Bachelor thesis
Title	Type	Supervision	Status
Comparing Random and T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems	Bachelor's thesis	Tim Bächle	Open
Creating Vulnerability Queries for Vari-Joern	Bachelor's thesis	Tim Bächle	Open
Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling	Master's thesis / Bachelor's thesis	Lukas Güthing	Open
Explaining Anomalies in Cardinality-Based Feature Models	Bachelor's thesis	Lukas Güthing	Open
Unfolding Cardinality-Based Feature Models	Bachelor's thesis	Lukas Güthing	In Progress
Modeling Variability-Aware Attack-Fault-Trees	Bachelor's thesis	Lukas Güthing	Open