Abschlussarbeiten

Masterarbeiten
Titel	Typ	Betreuung	Bearbeitung
SLR on Evolution Analysis Metrics	Masterarbeit / Bachelorarbeit	Philip Ochs	Offen
Configurable Probabilistic Featured Transition Systems	Masterarbeit / Bachelorarbeit	Lukas Güthing	Offen
Extending Attack-Fault Trees for Variable Systems	Masterarbeit / Bachelorarbeit	Lukas Güthing	In Bearbeitung
Solver representations for CFMs	Masterarbeit / Bachelorarbeit	Lukas Güthing	In Bearbeitung
Datengetriebene Modellierung eines Szenarienraums	Masterarbeit	Lukas Birkemeyer	Offen
Sampling Strategien zur Szenario Selektion	Masterarbeit	Lukas Birkemeyer	Offen

Bachelorarbeiten
Titel	Typ	Betreuung	Bearbeitung
Scalability of Realisability Analysis in Cyber-Phys. Product Lines	Bachelorarbeit	Philip Ochs	Offen
Automated Generation of Formal Specifications and Java-code Using Artificial Intelligence in the Tool CorC	Bachelorarbeit	Maximilian Kodetzki	Offen
Unfolding Cardinality-Based Feature Models	Bachelorarbeit	Lukas Güthing	Offen
Proving refinements for information flow control by construction using an automated theorem prover	Bachelorarbeit	Rasmus Rønneberg	In Bearbeitung
Information flow control by construction for component models	Bachelorarbeit	Rasmus Rønneberg	In Bearbeitung
Fallstudie Szenario Sampling	Bachelorarbeit	Lukas Birkemeyer	Offen