Available Master's theses

Title Partner Study
DSL-based Safety Guardrails for LLM Applications Michael Vierhauser CS/SE
An algorithm-level DSML for Quantum Software Engineering CS/SE
Assume-Guarantee-Testing for Digital Twins CS/SE
A Model-Driven Methodology for Generating OSLC Adapters for BIM and BEM Integration CS/SE
Digital Twin of iCare (UE5) - Monitoring and Control System E3D CS/SE
A Test and Mocking Framework for Virtual Commissioning of Home Assistant Automations CS/SE
A System Dynamics Simulator for Stock and Flow Diagrams using Actors CS/SE
Digital Twin Playground CS/SE
Learning Model Transformations using Inductive Logic Programming CS/SE
Modernizing iPlasma: Extending and Enhancing a Legacy Software Quality Assessment Platform CS/SE
Neural Network-Based Building Simulators for Energy and Comfort Dynamics CS/SE
Development of a Domain-Specific Language (DSL) for Describing Meta-Heuristic Multi-Factor Optimization Problems Using Langium Alexandra Jäger CS/SE
Exteding PDDL with Quality Preferences/Attributes Michael Vierhauser CS/SE
Dynamic/Iterative Planning for Robotic Systems Michael Vierhauser CS/SE
PyDEVS for SysMLv2 CS/SE
PyDEVS for UML2 CS/SE
Sensor Placement Optimization Sascha Hammes, Souvik Barat CS/SE
Self-Adaptive Virtual Sensing for Digital Twins under Sensor Failures CS/SE