| Feature-Annotated Reactions Language |
Master's thesis |
Dirk Neumann |
In Preparation |
| Higher-Order Consistency Preservation Rules |
Master's thesis |
Dirk Neumann |
In Progress |
| Quantum Software Composition and Templates |
Master's thesis |
Joshua Ammermann |
Open |
| Resource Consumption in by-Construction Engineering |
Master's thesis |
Maximilian Kodetzki |
open |
| Technical Feasibility & Usability of Automated Risk Assessment |
Master's thesis |
Philip Ochs |
Open |
| Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling |
Master's thesis / Bachelor's thesis |
Lukas Güthing |
In Progress |
| 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 |
