- Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz 0001. Extending a brainiac prover to lambda-free higher-order logic. STTT, 24(1):67-87, 2022.
- Junaid Babar, Gianfranco Ciardo, Andrew S. Miner. CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. STTT, 24(1):89-109, 2022.
- Marlon Dumas, Luciano García-Bañuelos, Joosep Jääger, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen-Raudvere, Aivo Toots, Reedik Tuuling, Maksym Yerokhin. Multi-level privacy analysis of business processes: the Pleak toolset. STTT, 24(2):183-203, 2022.
- Lukás Charvát, Ales Smrcka, Tomás Vojnar. Utilizing parametric systems for detection of pipeline hazards. STTT, 24(1):1-28, 2022.
- Tomás Vojnar, Lijun Zhang 0001. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. STTT, 24(1):29-31, 2022.
- Samuel Huang 0001, Rance Cleaveland. Temporal-logic query checking over finite data streams. STTT, 24(3):473-492, 2022.
- Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan. Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. STTT, 24(3):415-440, 2022.
- Antoine El-Hokayem, Yliès Falcone. Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications. STTT, 24(2):159-181, 2022.
- Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse. Formal methods and tools for industrial critical systems. STTT, 24(3):325-330, 2022.
- Ilina Stoilkovska, Igor Konnov 0001, Josef Widder, Florian Zuleger. Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. STTT, 24(1):33-48, 2022.