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
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
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

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
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
LLM-basierte Klassifikation von Quelltextelementen hinsichtlich ihrer Anliegen	Tobias Hey