Thesis

Master thesis
Title	Type	Supervision	Status
Automated Generation of Formal Specifications and Java-code Using Artificial Intelligence in the Tool CorC	Master's thesis / Bachelor's thesis	Maximilian Kodetzki	Open
Useability of the Tool CorC Using Artificial Intelligence	Master's thesis / Bachelor's thesis	Maximilian Kodetzki	Open
Singles, Families & Features: Scaling Realisability Analysis	Master's thesis / Bachelor's thesis	Philip Ochs, Tobias Pett	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
Data-driven modeling of a scenario space	Master's thesis	Lukas Birkemeyer	Open
Sampling strategies for scenario selection	Master's thesis	Lukas Birkemeyer	Open

Bachelor thesis
Title	Type	Supervision	Status
Information flow control by construction for component models	Bachelor's thesis	Rasmus Rønneberg	In progress
Proving refinements for information flow control by construction using an automated theorem prover	Bachelor's thesis	Rasmus Rønneberg	In progress
Unfolding Cardinality-Based Feature Models	Bachelor's thesis	Lukas Güthing	Offen
Case Study Scenario Sampling	Bachelor's thesis	Lukas Birkemeyer	Open