Explore projects

Teaching resource for the topic of "Model-driven Software Development" MDSD Pipeline for a example domain "State Machine". Technologie stack: EMF/Ecore, Eclipse Plugin

project homepage

The RelRAG and RSYNC implementations of the 2019 TTC case

Artefact source code for "Relational Reference Attribute Grammars: Improving Continuous Model Validation" (https://zenodo.org/record/3666664)

Quality-based Software-Selection and Hardware-Mapping as Model Transformation Problem

Jastadd solution for the live contest of TTC18

DiNeROS Petri net execution engine

Distributed Petri Nets to ROS Toolchain