1. A process for creating KDM2PSM transformation engines

   • Guisella Angulo
   • Daniel San Martín
   • Valter Vieira de Camargo

   Foundation for Mastering Change 26 January 2024 Pages: 1 - 20

2. Knowledge representation of the state of a cloud-native application

   • Joanna Kosińska
   • Grzegorz Brotoń
   • Maciej Tobiasz

   General Open access 22 June 2023 Pages: 21 - 32

3. Programming event monitors

   • Klaus Havelund
   • Gerard J. Holzmann

   General 22 June 2023 Pages: 33 - 47

4. On the applicability of hybrid systems safety verification tools from the automotive perspective

   • Stefan Schupp
   • Erika Ábrahám
   • Zeng Qiu

   General Open access 30 June 2023 Pages: 49 - 78

5. RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics

   • Tomoya Yamaguchi
   • Bardh Hoxha
   • Dejan Ničković

   General 05 October 2023 Pages: 79 - 99

6. Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool

   • Martijn Hendriks
   • Jacques Verriet
   • Twan Basten

   General Open access 08 February 2024 Pages: 101 - 126