| Title | Type | Supervision | Status |
|---|---|---|---|
| Solver representations for CFMs | Master's thesis / Bachelor's thesis | In progress | |
| Sampling strategies for scenario selection | Master's thesis | Open | |
| Extending Attack-Fault Trees for Variable Systems | Master's thesis / Bachelor's thesis | In progress | |
| Data-driven modeling of a scenario space | Master's thesis | Open | |
| Configurable Probabilistic Featured Transition Systems | Master's thesis / Bachelor's thesis | Open |
| Title | Type | Supervision | Status |
|---|---|---|---|
| Scalability of Realisability Analysis in Cyber-Phys. Product Lines | Bachelor's thesis | Open | |
| Assessment of Evolution Analysis Metrics | Bachelor's thesis | Open | |
| Automated Generation of Formal Specifications and Java-code Using Artificial Intelligence in the Tool CorC | Bachelor's thesis | Open | |
| Unfolding Cardinality-Based Feature Models | Bachelor's thesis | Offen | |
| Proving refinements for information flow control by construction using an automated theorem prover | Bachelor's thesis | In progress | |
| Information flow control by construction for component models | Bachelor's thesis | In progress | |
| Case Study Scenario Sampling | Bachelor's thesis | Open |