Int. J. Softw. Tools Technol. Transf.

Keyphrases

Publications

volume 26, number 1, 2024

Klaus Havelund, Gerard J. Holzmann
Programming event monitors. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Guisella Angulo, Daniel San Martín, Fabiano Ferrari, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo, Valter Vieira de Camargo
A process for creating KDM2PSM transformation engines. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Joanna Kosinska, Grzegorz Broton, Maciej Tobiasz
Knowledge representation of the state of a cloud-native application. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Martijn Hendriks, Jacques Verriet, Twan Basten
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
On the applicability of hybrid systems safety verification tools from the automotive perspective. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)

volume 26, number 2, 2024

volume 26, number 3, 2024

volume 25, number 3, 2023

volume 25, number 4, 2023

volume 25, number 5, 2023