Automated Generation of Formal Specifications and Java-code Using Artificial Intelligence in the Tool CorC |
Masterarbeit / Bachelorarbeit |
Maximilian Kodetzki |
Offen |
Useability of the Tool CorC Using Artificial Intelligence |
Masterarbeit / Bachelorarbeit |
Maximilian Kodetzki |
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 |