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
A Temporal Change Propagation Mechanism in Model Driven Development	Raziyeh Dehghani
Informative Decision-Making for Change Propagation	Raziyeh Dehghani
View Type Conformity in Model-Driven Development	Lars König
Extending the Vitruvius Framework with Variability-aware Consistency Preservation Rules	Fabian Eger
Product Line Engineering for Metamodels	Arne Lange, Fabian Eger
A Flexible Mechanism for Advancing Maturity in Change Propagation	Raziyeh Dehghani
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
A Library-Based Annotation Mechanism for Change Propagation	Raziyeh Dehghani
A Temporal Change Propagation Mechanism in Model Driven Development	Raziyeh Dehghani
Informative Decision-Making for Change Propagation	Raziyeh Dehghani
View Type Conformity in Model-Driven Development	Lars König
Componentization of Model Consistency Rules	Lars König
Extending the Vitruvius Framework with Variability-aware Consistency Preservation Rules	Fabian Eger
Product Line Engineering for Metamodels	Arne Lange, Fabian Eger
A Flexible Mechanism for Advancing Maturity in Change Propagation	Raziyeh Dehghani
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