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