Final theses

Master theses
Title	Type	Supervision	Status
Mutation Framework for V-ECUs	Master's thesis / Bachelor's thesis	Anne Kieneke	open
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
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
Technical Feasibility & Usability of Automated Risk Assessment	Master's thesis	Philip Ochs	Open

Bachelor theses
Title	Type	Supervision	Status
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
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
Mutation Framework for V-ECUs	Master's thesis / Bachelor's thesis	Anne Kieneke	open
Open-Loop Similarity Evaluation of ECU and V-ECU	Master's thesis / Bachelor's thesis	Anne Kieneke	open