Präsentationen auf der MODELS'23

Auf unserer Hauskonferenz, der ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS), präsentieren wir dieses Jahr 3 Workshop Papiere.

Zum einen präsentiert unser Mitarbeiter Sebastian Ebert das Papier "Verifiable Model-Driven ROS Applications based on Petri Nets" auf dem MoDeVVa Workshop. Das Papier beschreibt einen modell-getriebenen Ansatz zur Entwicklung robotischer Systeme mit Hilfe von Petrinetzen wodurch die Überprüfung formaler Eigenschaften ermöglicht wird.

Zum anderen präsentiert unser Mitarbeiter Karl Kegel das Papier "A Feature Request Language for User-Driven System Evolution at Runtime" auf dem Model Evolution Workshop. Dieses Papier beschreibt eine DSL für Feature Requests und wie diese dann automatisiert verarbeitet werden können.

Nicht zuletzt präsentiert Lars Westermann von der FSD sein Papier, dass er mit unseren Mitarbeitern Johannes Mey und Rene Schöne geschrieben hat mit dem Titel "A Performant Low-Code System for the Timely Implementation of Road Safety Regulations" auf dem LowCode Workshop.