Ausschreibungen/Webseite/MCSE
< Ausschreibungen | Webseite
Bachelor’s Theses
| Topic | Supervisors |
|---|---|
| AI Planning for Consistency Repair | Benedikt Jutz, Bowen Jiang |
| The Structure of Design Argumentations in Code Changes | Tobias Hey, Haoyu Liu |
| 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 |
|---|---|
| AI Planning for Consistency Repair | Benedikt Jutz, Bowen Jiang |
| The Structure of Design Argumentations in Code Changes | Tobias Hey, Haoyu Liu |
| 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 |