| Synthesizing CbC Programs From Formal Specifications using LLMs |
Masterarbeit |
Maximilian Kodetzki |
Offen |
| Modular Threat and Risk Analysis for Cyber-Physical Systems |
Master's thesis / Bachelor's thesis |
Morten Harter |
Open |
| Modularization of Threat Analysis and Risk Assessment Methodology for Automotive Systems |
Master's thesis / Bachelor's thesis |
Morten Harter |
Open |
| Quantum Software Composition and Templates |
Master's thesis |
Joshua Ammermann |
Open |
| Resource Consumption in by-Construction Engineering |
Master's thesis |
Maximilian Kodetzki |
open |
