- 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.
- Anton Hampus, Mattias Nyberg. Formally verifying decompositions of stochastic specifications. STTT, 26(2):207-228, April 2024.
- André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira 0001. Monitoring of spatio-temporal properties with nonlinear SAT solvers. STTT, 26(2):169-188, April 2024.
- Julius Adelt, Julian Gebker, Paula Herber. Reusable formal models for concurrency and communication in custom real-time operating systems. STTT, 26(2):229-245, April 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.
- Fabian Vu, Christopher Happe, Michael Leuschel. Generating interactive documents for domain-specific validation of formal models. STTT, 26(2):147-168, April 2024.
- Joanna Kosinska, Grzegorz Broton, Maciej Tobiasz. Knowledge representation of the state of a cloud-native application. STTT, 26(1):21-32, February 2024.
- Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Guillaume Vidot. Certification of avionic software based on machine learning: the case for formal monotony analysis. STTT, 26(2):189-205, April 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.