Bachelor’s/Master’s Theses at DSiS

Open theses topics at DSiS are also listed in the SDQ wiki (in German). There, also general information about the process of writing a theses at DSiS is available.

Not all possible theses topics are listed there. If you are interested in writing a theses at DSiS that is related to our research topics, please contact one of our staff members or the head members of our research groups. We can usually find a topic that fits the student’s as well as our research interests.

Bachelor’s Theses

Topic	Supervisors
Views in the Development of Cyber-Physical Systems (2026)	Lars König, Kevin Feichtinger
Copy-on-Write Representations of EMF Models	Benedikt Jutz
Assessing Simulation Model Credibility	Sebastian Weber
Metadata-Based Simulator Selection	Sebastian Weber
Building an Evaluation Catalogue of Context-Dependent DFD Models	Benjamin Arp
A Catalogue of Context Dimensions for Security Analysis	Benjamin Arp
Locking Strategies for V-SUMs	Benedikt Jutz
A Library-Based Annotation Mechanism for Change Propagation	Raziyeh Dehghani
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen	Nicolas Boltz, Leonie Sterz

Master’s Theses

Topic	Supervisors
Copy-on-Write Representations of EMF Models	Benedikt Jutz
Assessing Simulation Model Credibility	Sebastian Weber
Metadata-Based Simulator Selection	Sebastian Weber
Formalizing Quality Properties of Variability Model Transformations	Kevin Feichtinger
Explainability in DOPLER Decision Model Definition and Configuration	Kevin Feichtinger, Fabian Eger
Solver Representations for String Decision Variables	Kevin Feichtinger, Fabian Eger
Guarantees for Reactions	Benedikt Jutz, Bowen Jiang, Terru Stübinger
Locking Strategies for V-SUMs	Benedikt Jutz
Industry Thesis - GenAI for Microservice Performance Modeling & Analysis	Maximilian Hummel
A Library-Based Annotation Mechanism for Change Propagation	Raziyeh Dehghani
Real-Time Editing of Views in a Multi-Model Environment	Benedikt Jutz
SysML–RAAML Consistency Validation Engine with EVL-Based Rule Pack	Muhammad Minhas
Reactive Incremental Fault Tree Analysis (FTA) for Model-Driven Safety Assurance using VIATRA	Muhammad Minhas
Web-Based Variability Artifact Exploration and Transformation	Kevin Feichtinger
Investigating the Traceability of Variability Artifact Transformations	Kevin Feichtinger
Higher-Order Consistency Preservation Rules	Erik Burger, Dirk Neumann
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen	Nicolas Boltz, Leonie Sterz
Properties and Granularities of Transactions in the Development of Cyber-Physical Systems	Benedikt Jutz
A Survey of Model Management Approaches	Benedikt Jutz
Semantic tracelinks in Model-Based Systems Engineering	Thomas Weber, Arne Lange
Optimizing dependencies in safety analysis models	Muhammad Minhas
A unified framework for safety analysis models	Muhammad Minhas