- Alessandra Russo, Andy Schürr. Model-based software quality assurance tools and techniques presented at FASE 2018. STTT, 22(1):1-2, 2020.
- Paolo Arcaini, Jan Kofron, Pavel Jezek. Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. STTT, 22(3):265-279, 2020.
- Márton Búr, Gábor Szilágyi, András Vörös 0001, Dániel Varró. Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems. STTT, 22(1):79-102, 2020.
- Michael J. Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl. Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3. STTT, 22(3):249-255, 2020.
- Aleksandar S. Dimovski. $\hbox {CTL}^{\star }$ family-based model checking using variability abstractions and modal transition systems. STTT, 22(1):35-55, 2020.
- Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio. Counting Petri net markings from reduction equations. STTT, 22(2):163-181, 2020.
- Marek Chalupa, Jan Strejcek, Martina Vitovská. Joint forces for memory safety checking revisited. STTT, 22(2):115-133, 2020.
- Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo. Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. STTT, 22(1):3-32, 2020.
- María-del-Mar Gallardo, Pedro Merino 0001. Introduction to the Special Issue devoted to SPIN 2018. STTT, 22(2):103-104, 2020.
- Hamzeh M. Allawi, Waref Al Manaseer, Mohammad Al Shraideh. A greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications. STTT, 22(2):183-194, 2020.