- Yue Yuan, Yi Li, Wenchang Shi. Detecting multiphase linear ranking functions for single-path linear-constraint loops. STTT, 23(1):55-67, 2021.
- Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto. Static analysis for discovering IoT vulnerabilities. STTT, 23(1):71-88, 2021.
- Chris Alvin, Brian Peterson, Supratik Mukhopadhyay. Static generation of UML sequence diagrams. STTT, 23(1):31-53, 2021.
- Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis. Learning Moore machines from input-output traces. STTT, 23(1):1-29, 2021.
- René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen. ADTLang: a programming language approach to attack defense trees. STTT, 23(1):89-104, 2021.
- Vladimir V. Shakhov, Insoo Koo. Graph-based technique for survivability assessment and optimization of IoT applications. STTT, 23(1):105-114, 2021.
- Florian Kammüller, Axel Legay, Stefano Schivo. Masterminding change by combining secure system design with security risk assessment. STTT, 23(1):69-70, 2021.
- 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.