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
Transaction management in Vitruvius	Benedikt Jutz
A RAAML driven case study in automotive safety analysis	Muhammad Minhas
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications	Robert Heinrich, Niclas Kannengießer

Master’s Theses

Topic	Supervisors
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
Transaction management in Vitruvius	Benedikt Jutz
A Survey of Model Management Approaches	Benedikt Jutz
Semantic tracelinks in Model-Based Systems Engineering	Thomas Weber, Arne Lange
Assessing the Scalability of Variability Artifact Transformations using TRAVART	Kevin Feichtinger
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
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications	Robert Heinrich, Niclas Kannengießer