Theses

Master thesis
Title	Type	Supervision	Status
Verification of parallelized Stencils based on data dependence analysis	Master's thesis	Asmae Heydari Tabar	Open
Verification of parallelizability of sequential programs using data dependence analysis	Master's thesis	Asmae Heydari Tabar	Open
Feature-Annotated Reactions Language	Master's thesis	Dirk Neumann	In Preparation
Higher-Order Consistency Preservation Rules	Master's thesis	Dirk Neumann	In Progress
Quantum Software Composition and Templates	Master's thesis	Joshua Ammermann	Open
Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling	Master's thesis / Bachelor's thesis	Lukas Güthing	Open
Modular Threat and Risk Analysis for Cyber-Physical Systems	Master's thesis / Bachelor's thesis	Morten Harter	Open
Formalizing and Modularizing TARA	Master's thesis / Bachelor's thesis	Morten Harter	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 late 2025

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