Thesis

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
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
Extending Attack-Fault Trees for Variable Systems	Master's thesis / Bachelor's thesis	Lukas Güthing	In progress
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
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