| Higher-Order Consistency Preservation Rules |
Masterarbeit |
Dirk Neumann |
In Bearbeitung |
| Feature-Annotated Reactions Language |
Masterarbeit |
Dirk Neumann |
In Vorbereitung |
| Quantum Software Composition and Templates |
Masterarbeit |
Joshua Ammermann |
Offen |
| Describing & Assessing Changes in Highly-Configurable CPS |
Masterarbeit |
Philip Ochs |
Offen |
| Verification of parallelizability of sequential programs using data dependence analysis |
Masterarbeit |
Asmae Heydari Tabar |
Offen |
| Verification of parallelized Stencils based on data dependence analysis |
Masterarbeit |
Asmae Heydari Tabar |
Offen |
| Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling |
Masterarbeit / Bachelorarbeit |
Lukas Güthing |
Offen |
| Modular Threat and Risk Analysis for Cyber-Physical Systems |
Masterarbeit / Bachelorarbeit |
Morten Harter |
Offen |
| Modularization of Threat Analysis and Risk Assessment Methodology for Automotive Systems |
Masterarbeit / Bachelorarbeit |
Morten Harter |
Offen |
| Describing & Assessing Impacts of Change in CPS Engineering |
Masterarbeit |
Philip Ochs |
Offen ab Spätjahr 2025 |
