| Singles, Families & Features: Scaling Realisability Analysis |
Masterarbeit / Bachelorarbeit |
Philip Ochs, Tobias Pett |
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 |
