Ausgabe 1/2024
Inhalt (6 Artikel)
Foundation for Mastering Change
A process for creating KDM2PSM transformation engines
Guisella Angulo, Daniel San Martín, Fabiano Ferrari, Ignacio García-Rodríguez de Guzmán, Ricardo Perez-Castillo, Valter Vieira de Camargo
Open Access
General
Knowledge representation of the state of a cloud-native application
Joanna Kosińska, Grzegorz Brotoń, Maciej Tobiasz
Open Access
General
On the applicability of hybrid systems safety verification tools from the automotive perspective
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
General
RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics
Tomoya Yamaguchi, Bardh Hoxha, Dejan Ničković
Open Access
General
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool
Martijn Hendriks, Jacques Verriet, Twan Basten