Final theses

Master theses
Title	Type	Supervision	Status
Open-Loop Similarity Evaluation of ECU and V-ECU	Master's thesis / Bachelor's thesis	Anne Kieneke	open
Quantum Software Composition and Templates	Master's thesis	Joshua Ammermann	Open
Resource Consumption in by-Construction Engineering	Master's thesis	Maximilian Kodetzki	open
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

Bachelor theses
Title	Type	Supervision	Status
Mutation Framework for V-ECUs	Master's thesis / Bachelor's thesis	Anne Kieneke	In Progress
Open-Loop Similarity Evaluation of ECU and V-ECU	Master's thesis / Bachelor's thesis	Anne Kieneke	open
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
Creating Vulnerability Queries for Vari-Joern	Bachelor's thesis	Tim Bächle	In Progress
Leveraging LLMs for Vulnerability Discovery in Highly-Configurable Software Systems	Bachelor's thesis	Tim Bächle	Assigned