| Verification of parallelized Stencils based on data dependence analysis |
Masterarbeit |
Asmae Heydari Tabar |
Offen |
| Verification of parallelizability of sequential programs using data dependence analysis |
Masterarbeit |
Asmae Heydari Tabar |
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 |
| Scalability of Realisability Analysis in Cyber-Phys. Product Lines |
Masterarbeit / Bachelorarbeit |
Philip Ochs |
Offen |
| Describing & Assessing Changes in Highly-Configurable CPS |
Masterarbeit |
Philip Ochs |
Offen |
