Theses

Master thesis
Title	Type	Supervision	Status
Feature-Annotated Reactions Language	Master's thesis	Dirk Neumann	In Preparation
Higher-Order Consistency Preservation Rules	Master's thesis	Dirk Neumann	In Progress
Describing & Assessing Changes in Highly-Configurable CPS	Master's thesis	Philip Ochs	Open
Verification of parallelizability of sequential programs using data dependence analysis	Master's thesis	Asmae Heydari Tabar	Open
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
Describing & Assessing Impacts of Change in CPS Engineering	Master's thesis	Philip Ochs	Open, starting August 2025

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