| Titel | Typ | Betreuung | Bearbeitung |
|---|---|---|---|
| Configurable Probabilistic Featured Transition Systems | Masterarbeit / Bachelorarbeit | Offen | |
| Datengetriebene Modellierung eines Szenarienraums | Masterarbeit | Offen | |
| Extending Attack-Fault Trees for Variable Systems | Masterarbeit / Bachelorarbeit | In Bearbeitung | |
| Sampling Strategien zur Szenario Selektion | Masterarbeit | Offen | |
| Solver representations for CFMs | Masterarbeit / Bachelorarbeit | In Bearbeitung |
| Titel | Typ | Betreuung | Bearbeitung |
|---|---|---|---|
| Scalability of Realisability Analysis in Cyber-Phys. Product Lines | Bachelorarbeit | Offen | |
| Assessment of Evolution Analysis Metrics | Bachelorarbeit | Offen | |
| Automated Generation of Formal Specifications and Java-code Using Artificial Intelligence in the Tool CorC | Bachelorarbeit | Offen | |
| Unfolding Cardinality-Based Feature Models | Bachelorarbeit | Offen | |
| Proving refinements for information flow control by construction using an automated theorem prover | Bachelorarbeit | In Bearbeitung | |
| Information flow control by construction for component models | Bachelorarbeit | In Bearbeitung | |
| Fallstudie Szenario Sampling | Bachelorarbeit | Offen |