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
Energy consumption of compression algorithms across CPU platforms	Ralf Sieger
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
Mitigation of Confidentiality Violations in Architectural Runtime Models	Nicolas Boltz, Nils Niehues
Views on Cyber-Physical Systems: Example Case	Lars König
Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius	Manar Mazkatli, Martin Armbruster, Raziyeh Dehghani
Developing a TraVarT Extension to Transform UVL Models Into Clafer and Vice Versa	Kevin Feichtinger
A Temporal Change Propagation Mechanism in Model Driven Development	Lars König, Raziyeh Dehghani
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen	Nicolas Boltz, Leonie Sterz
Feature Annotated View Specification and View Generation	Erik Burger

Master’s Theses

Topic	Supervisors
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
Mitigation of Confidentiality Violations in Architectural Runtime Models	Nicolas Boltz, Nils Niehues
Componentization of Model Consistency Rules	Lars König
Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius	Manar Mazkatli, Martin Armbruster, Raziyeh Dehghani
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
Feature-Annotated Reactions Language	Erik Burger, Dirk Neumann
A Temporal Change Propagation Mechanism in Model Driven Development	Lars König, Raziyeh Dehghani
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen	Nicolas Boltz, Leonie Sterz
Feature Annotated Reactions Language	Erik Burger
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
Classification of composition operators for model-based analysis	Robert Heinrich, Bahareh Taghavi