Configurable Probabilistic Featured Transition Systems |
Masterarbeit / Bachelorarbeit |
Lukas Güthing |
Offen |
Extending Attack-Fault Trees for Variable Systems |
Masterarbeit / Bachelorarbeit |
Lukas Güthing |
Offen |
Solver representations for CFMs |
Masterarbeit / Bachelorarbeit |
Lukas Güthing |
Offen |
Optimierung der Verifikation von Correct-by-Construction Produktlinien im Tool VarCorC |
Masterarbeit |
Tabea Bordis |
Offen |
Datengetriebene Modellierung eines Szenarienraums |
Masterarbeit |
Lukas Birkemeyer |
Offen |
Sampling Strategien zur Szenario Selektion |
Masterarbeit |
Lukas Birkemeyer |
Offen |