- Martijn Hendriks, Jacques Verriet, Twan Basten. Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool. STTT, 26(1):101-126, February 2024.
- Tomoya Yamaguchi 0001, Bardh Hoxha, Dejan Nickovic. RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. STTT, 26(1):79-99, February 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. STTT, 26(1):49-78, February 2024.
- Joanna Kosinska, Grzegorz Broton, Maciej Tobiasz. Knowledge representation of the state of a cloud-native application. STTT, 26(1):21-32, February 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. STTT, 26(1):1-20, February 2024.
- Klaus Havelund, Gerard J. Holzmann. Programming event monitors. STTT, 26(1):33-47, February 2024.
- Marius Bozga, Joseph Sifakis. Correct by design coordination of autonomous driving systems. STTT, 25(5):625-639, December 2023.
- Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt. Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. STTT, 25(2):185-204, April 2023.
- Peter Gjøl Jensen, Thomas Neele. Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021. STTT, 25(2):129-131, April 2023.
- Peter Fettke, Wolfgang Reisig. A causal, time-independent synchronization pattern for collective adaptive systems. STTT, 25(5):659-673, December 2023.