Presentations at MODELS'23

At our home conference, the ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS), this year we present three workshop papers.

First, our member Sebastian Ebert presents the paper "Verifiable Model-Driven ROS Applications based on Petri Nets" at the MoDeVVa Workshop. The paper presents a model-driven approach to develop robotic applications using petri nets, which enables to check formal properties of the overall system.

Second, our member Karl Kegel presents the paper "A Feature Request Language for User-Driven System Evolution at Runtime" at the Model Evolution Workshop. This paper describes a DSL for feature requests and how they can be automatically processed.

Finally, Lars Westermann from FSD presents his paper jointly written with our members Johannes Mey and Rene Schön entitled "A Performant Low-Code System for the Timely Implementation of Road Safety Regulations" at the LowCode Workshop.