Thesis

Master thesis
Title	Type	Supervision	Status
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
Singles, Families & Features: Scaling Realisability Analysis	Master's thesis / Bachelor's thesis	Philip Ochs, Tobias Pett	Open
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
Proving refinements for information flow control by construction using an automated theorem prover	Bachelor's thesis	Rasmus Rønneberg	In progress
Information flow control by construction for component models	Bachelor's thesis	Rasmus Rønneberg	In progress
Case Study Scenario Sampling	Bachelor's thesis	Lukas Birkemeyer	Open