Feature-Annotated Reactions Language |
Master's thesis |
Dirk Neumann |
In Preparation |
Higher-Order Consistency Preservation Rules |
Master's thesis |
Dirk Neumann |
In Progress |
Describing & Assessing Changes in Highly-Configurable CPS |
Master's thesis |
Philip Ochs |
Open |
Verification of parallelizability of sequential programs using data dependence analysis |
Master's thesis |
Asmae Heydari Tabar |
Open |
Verification of parallelized Stencils based on data dependence analysis |
Master's thesis |
Asmae Heydari Tabar |
Open |
Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling |
Master's thesis / Bachelor's thesis |
Lukas Güthing |
Open |
Describing & Assessing Impacts of Change in CPS Engineering |
Master's thesis |
Philip Ochs |
Open, starting August 2025 |