Available Master's theses

Title Partner Study
Sensor Placement Optimization Souvik Barat, TCS CS/SE
A System Dynamics Simulator for Stock and Flow Diagrams using Actors /td> CS/SE
Digital Twin Playground CS/SE
Learning Model Transoformations 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
A Generalized Framework for System Dynamics Using Graph Neural Networks CS/SE
Leveraging the Vienna Development Method (VDM) for Modeling Digital Twins: A Framework Based on Tao’s Five-Dimensional Model CS/SE
A Low-code Development Environment for Building Automation System Programming Sascha Hammes, UIBK-EEB 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
Model-based View Engine CS/SE
AADL for DT Modeling and Execution using DTDL CS/SE
PyDEVS for SysMLv2 CS/SE
PyDEVS for UML2 CS/SE