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
A Library-Based Annotation Mechanism for Change Propagation	Raziyeh Dehghani
Extending the Vitruvius Framework with Variability-aware Consistency Preservation Rules	Fabian Eger
Product Line Engineering for Metamodels	Arne Lange, Fabian Eger
Implementing V-SUMM for Two Metamodels Integration	Minakshi Kaushik
Automated Consistency Checker for Multi-View Models	Minakshi Kaushik
Remodelling Metamodels for V-SUMM Integration	Minakshi Kaushik
AI Planning for Consistency Repair	Benedikt Jutz, Bowen Jiang
A Contrastive Learning Framework for Semantic Consistency Verification of SysML and Simulink Models	Rahul Sharma
Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling	Rahul Sharma
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
Industry Thesis - GenAI for Microservice Performance Modeling & Analysis	Maximilian Hummel
A Library-Based Annotation Mechanism for Change Propagation	Raziyeh Dehghani
Extending the Vitruvius Framework with Variability-aware Consistency Preservation Rules	Fabian Eger
Product Line Engineering for Metamodels	Arne Lange, Fabian Eger
Real-Time Editing of Views in a Multi-Model Environment	Benedikt Jutz
Locking Strategies for V-SUMs	Benedikt Jutz
V-SUMM Based Consistency Checking for Evolving Models	Minakshi Kaushik
V-SUMM for Heterogeneous Metamodels	Minakshi Kaushik
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
AI Planning for Consistency Repair	Benedikt Jutz, Bowen Jiang
A Contrastive Learning Framework for Semantic Consistency Verification of SysML and Simulink Models	Rahul Sharma
Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling	Rahul Sharma
Web-Based Variability Artifact Exploration and Transformation	Kevin Feichtinger
Investigating the Traceability of Variability Artifact Transformations	Kevin Feichtinger
Solver Representations for DOPLER Decision Models	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