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
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
A Strategy for Composing Information Leakage Metrics	Fatma Chebbi, Bahareh Taghavi
Identifikation von Ebenen fuer Informationslecksquantifizierung	Martin Armbruster, Fatma Chebbi
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

Master’s Theses

Topic	Supervisors
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
Guarantees for Reactions	Benedikt Jutz, Bowen Jiang, Terru Stübinger
A Practical Quantitative Assessment of Timed Information Leakage	Fatma Chebbi
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
Utilizing Context to Improve LLM-assisted Formal Verification	Tobias Hey, Tianhai Liu