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
Locking Strategies for V-SUMs	Benedikt Jutz
A Library-Based Annotation Mechanism for Change Propagation	Raziyeh Dehghani
Developing a TraVarT Extension to Transform UVL Models Into Clafer and Vice Versa	Kevin Feichtinger
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen	Nicolas Boltz, Leonie Sterz

Master’s Theses

Topic	Supervisors
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
Datenflussanalyse für Konsistenzerhaltung	Nicolas Boltz, Benedikt Jutz
Performanzanalyse von Konsistenzerhaltungsframeworks	Sebastian Weber, Nicolas Boltz, 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