| Resource Consumption in by-Construction Engineering |
Masterarbeit / Bachelorarbeit |
Maximilian Kodetzki |
Offen |
| Quantum Software Templates |
Masterarbeit / Bachelorarbeit |
Joshua Ammermann |
Offen |
| Modular Threat and Risk Analysis for Cyber-Physical Systems |
Masterarbeit / Bachelorarbeit |
Morten Harter |
Offen |
| Analyzing Variability-Aware Attack-Fault-Trees with the Meta Attack Language |
Bachelorarbeit |
Morten Harter |
Offen |
| Creating Vulnerability Queries for Vari-Joern |
Bachelorarbeit |
Tim Bächle |
In Bearbeitung |
| Leveraging LLMs for Vulnerability Discovery in Highly-Configurable Software Systems |
Bachelorarbeit |
Tim Bächle |
Vergeben |
