Theses

Master thesis
Title	Type	Supervision	Status
Verification of parallelizability of sequential programs using data dependence analysis	Master's thesis	Asmae Heydari Tabar	Open
Configurable Probabilistic Featured Transition Systems	Master's thesis / Bachelor's thesis	Lukas Güthing	Open
Describing & Assessing Changes in Highly-Configurable CPS	Master's thesis	Philip Ochs	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
Scalability of Realisability Analysis in Cyber-Phys. Product Lines	Master's thesis / Bachelor's thesis	Philip Ochs	Open
Solver representations for CFMs	Master's thesis / Bachelor's thesis	Lukas Güthing	In progress
Verification of parallelized Stencils based on data dependence analysis	Master's thesis	Asmae Heydari Tabar	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