Available Master's theses

Title Partner Study
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
Model-first IDE 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
Implementation of a Framework for Model-Based Life Cycle Engineering of Simulation Models Hans Vangheluwe, University of Antwerp CS/SE
Leveraging the Vienna Development Method (VDM) for Modeling Digital Twins: A Framework Based on Tao’s Five-Dimensional Model 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
AADL for DT Modeling and Execution using DTDL CS/SE
PyDEVS for SysMLv2 CS/SE
PyDEVS for UML2 CS/SE