| Verification of parallelizability of sequential programs using data dependence analysis |
Master's thesis |
Asmae Heydari Tabar |
Open |
| Configurable Probabilistic Featured Transition Systems |
Master's thesis / Bachelor's thesis |
Lukas Güthing |
Open |
| Describing & Assessing Changes in Highly-Configurable CPS |
Master's thesis |
Philip Ochs |
Open |
| Extending Attack-Fault Trees for Variable Systems |
Master's thesis / Bachelor's thesis |
Lukas Güthing |
In progress |
| Scalability of Realisability Analysis in Cyber-Phys. Product Lines |
Master's thesis / Bachelor's thesis |
Philip Ochs |
Open |
| Solver representations for CFMs |
Master's thesis / Bachelor's thesis |
Lukas Güthing |
In progress |
| Verification of parallelized Stencils based on data dependence analysis |
Master's thesis |
Asmae Heydari Tabar |
Open |
