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	Open
Higher-Order Consistency Preservation Rules	Master's thesis	Dirk Neumann	Open
Modeling Variability-Aware Attack-Fault-Trees	Master's thesis / Bachelor's thesis	Lukas Güthing	Open
Configurable Probabilistic Featured Transition Systems	Master's thesis / Bachelor's thesis	Lukas Güthing	Open
Solver representations for CFMs	Master's thesis / Bachelor's thesis	Lukas Güthing	In progress
Scalability of Realisability Analysis in Cyber-Phys. Product Lines	Master's thesis / Bachelor's thesis	Philip Ochs	Open
Describing & Assessing Changes in Highly-Configurable CPS	Master's thesis	Philip Ochs	Open

Bachelor thesis
Title	Type	Supervision	Status
Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling	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	Offen
Modeling Variability-Aware Attack-Fault-Trees	Master's thesis / Bachelor's thesis	Lukas Güthing	Open
Automated Generation of Formal Specifications and Java-code Using Artificial Intelligence in the Tool CorC	Bachelor's thesis	Maximilian Kodetzki	In Progress
Scalability of Realisability Analysis in Cyber-Phys. Product Lines	Master's thesis / Bachelor's thesis	Philip Ochs	Open