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
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
LLM-assisted Generation and Testing of Model Transformation Language Code	Bowen Jiang
A Flexible Mechanism for Advancing Maturity in Change Propagation	Raziyeh Dehghani
Optimize Uncertainty Analysis through Annotation Merging	Nathan Hagel, Johannes Mäkelburg
Analyze the Effect of Uncertainty on a System's Consistency	Nathan Hagel, Johannes Mäkelburg
Extend Uncertainty Quantification in view-based Modeling	Nathan Hagel, Johannes Mäkelburg
Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation	Nathan Hagel, Johannes Mäkelburg
Case Study-Driven Synchronization of BPMN and SysML Diagrams	Raziyeh Dehghani, Thomas Völk
AI Planning for Consistency Repair	Benedikt Jutz, Bowen Jiang
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
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch

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
LLM-assisted Generation and Testing of Model Transformation Language Code	Bowen Jiang
A Flexible Mechanism for Advancing Maturity in Change Propagation	Raziyeh Dehghani
Optimize Uncertainty Analysis through Annotation Merging	Nathan Hagel, Johannes Mäkelburg
Analyze the Effect of Uncertainty on a System's Consistency	Nathan Hagel, Johannes Mäkelburg
Extend Uncertainty Quantification in view-based Modeling	Nathan Hagel, Johannes Mäkelburg
Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation	Nathan Hagel, Johannes Mäkelburg
Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering	Tobias Hey, Vincenzo Scotti
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
Utilizing Context to Improve LLM-assisted Formal Verification	Tobias Hey, Tianhai Liu
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch