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 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
LLM-supported processing of analysis results to support the legal domain	Nicolas Boltz, Tobias Hey
A Context-Aware Change Propagation Mechanism in Model-Driven Development	Raziyeh Dehghani, Muhammad Minhas
Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius	Manar Mazkatli, Martin Armbruster, Raziyeh Dehghani
A Temporal Change Propagation Mechanism in Model Driven Development	Lars König, Raziyeh Dehghani
A Framework for Transforming Data Tables into Descriptive Models	Raziyeh Dehghani
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
An Empirical Study of Observations, Triggers, and Alternatives for Consistency Preservation in Cyber-Physical Systems	Raziyeh Dehghani

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
Utilizing Context to Improve LLM-assisted Formal Verification	Tobias Hey, Tianhai Liu
A Context-Aware Change Propagation Mechanism in Model-Driven Development	Raziyeh Dehghani, Muhammad Minhas
Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius	Manar Mazkatli, Martin Armbruster, Raziyeh Dehghani
A Temporal Change Propagation Mechanism in Model Driven Development	Lars König, Raziyeh Dehghani
Designing an LLM-Based Framework for User Training and Question Answering on Vitruvius	Raziyeh Dehghani, Arne Lange
A Framework for Transforming Data Tables into Descriptive Models	Raziyeh Dehghani
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
LLM-basierte Klassifikation von Quelltextelementen hinsichtlich ihrer Anliegen	Tobias Hey