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
Automatic Generation of Graphical Editors for Safety Analysis Models from NeoJoin View Definitions	Lars König, Muhammad Minhas
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
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen	Nicolas Boltz, Leonie Sterz

Master’s Theses

Topic	Supervisors
Automatic Generation of Graphical Editors for Safety Analysis Models from NeoJoin View Definitions	Lars König, Muhammad Minhas
Designing a Design Challenge for Lightweight Evaluation of Interactive Inconsistency Repair	Arne Lange, Miriam Boß
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
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
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