Bachelor’s/Master’s Theses

Open thesis topics are listed in the SDQ wiki (in German).

Furthermore, you can find general information about the thesis writing process in our wiki.

Not all possible thesis topics are listed there. If you are interested in writing a thesis at MCSE 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
Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation	Nathan Hagel, Johannes Mäkelburg
Extend Uncertainty Quantification in view-based Modeling	Nathan Hagel, Johannes Mäkelburg
Analyze the Effect of Uncertainty on a System's Consistency	Nathan Hagel, Johannes Mäkelburg
Optimize Uncertainty Analysis through Annotation Merging	Nathan Hagel, Johannes Mäkelburg
Improving LLM-based Code Generation for Model Transformation Languages	Nathan Hagel, Bowen Jiang
Enabling Branching Support in Server-Side Vitruvius	Martin Armbruster, Raziyeh Dehghani, Arne Lange
Case Study-Driven Synchronization of BPMN and SysML Diagrams	Raziyeh Dehghani, Thomas Völk
Informative Decision-Making for Change Propagation	Thomas Weber, Lars König, Raziyeh Dehghani
A Library-Based Annotation Mechanism for Change Propagation	Thomas Weber, Lars König, Raziyeh Dehghani
A Flexible Mechanism for Advancing Maturity in Change Propagation	Thomas Weber, Raziyeh Dehghani
AI Planning for Consistency Repair	Benedikt Jutz, Bowen Jiang
The Structure of Design Argumentations in Code Changes	Tobias Hey, Haoyu Liu
Building a Benchmark for LLM-assisted Formal Verification	Dominik Fuchß, Tobias Hey
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
A Temporal Change Propagation Mechanism in Model Driven Development	Lars König, Raziyeh Dehghani
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch

Master’s Theses

Topic	Supervisors
Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation	Nathan Hagel, Johannes Mäkelburg
Extend Uncertainty Quantification in view-based Modeling	Nathan Hagel, Johannes Mäkelburg
Analyze the Effect of Uncertainty on a System's Consistency	Nathan Hagel, Johannes Mäkelburg
Optimize Uncertainty Analysis through Annotation Merging	Nathan Hagel, Johannes Mäkelburg
Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering	Tobias Hey, Vincenzo Scotti
Enabling Branching Support in Server-Side Vitruvius	Martin Armbruster, Raziyeh Dehghani, Arne Lange
Informative Decision-Making for Change Propagation	Thomas Weber, Lars König, Raziyeh Dehghani
A Library-Based Annotation Mechanism for Change Propagation	Thomas Weber, Lars König, Raziyeh Dehghani
A Flexible Mechanism for Advancing Maturity in Change Propagation	Thomas Weber, Raziyeh Dehghani
AI Planning for Consistency Repair	Benedikt Jutz, Bowen Jiang
The Structure of Design Argumentations in Code Changes	Tobias Hey, Haoyu Liu
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
Utilizing Context to Improve LLM-assisted Formal Verification	Tobias Hey, Tianhai Liu
A Temporal Change Propagation Mechanism in Model Driven Development	Lars König, Raziyeh Dehghani
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch