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 |