- Amel Mammar, Marc Frappier. Modeling of a speed control system using Event-B. STTT, 26(3):347-363, June 2024.
- Amel Mammar, Marc Frappier, Régine Laleau. An Event-B model of an automotive adaptive exterior light system. STTT, 26(3):331-346, June 2024.
- 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.
- Swen Jacobs, Guillermo A. Pérez 0001, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov 0001, Felix Klein 0001, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. STTT, 26(5):551-567, October 2024.
- Ahmad Alamoush, Holger Eichelberger. Open source container orchestration for Industry 4.0 - requirements and systematic feature analysis. STTT, 26(5):527-550, October 2024.
- Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo, Valeria Montagna, Pasquale Pulieri. Causal analysis of positive Reaction Systems. STTT, 26(4):509-526, August 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.
- Luca Olivieri, Fausto Spoto. Software verification challenges in the blockchain ecosystem. STTT, 26(4):431-444, August 2024.
- Zixin Huang, Saikat Dutta 0001, Sasa Misailovic. Debugging convergence problems in probabilistic programs via program representation learning with SixthSense. STTT, 26(3):249-268, June 2024.
- Andrzej Filinski, Ken Friis Larsen, Thomas P. Jensen. Axiomatising an information flow logic based on partial equivalence relations. STTT, 26(4):445-461, August 2024.