- Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov automata with multiple objectives. Formal Methods in System Design, 60(1):33-86, February 2022.
- Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania. Static detection of uncoalesced accesses in GPU programs. Formal Methods in System Design, 60(1):1-32, February 2022.
- Andrea Pferscher, Bernhard K. Aichernig. Fingerprinting and analysis of Bluetooth devices with automata learning. Formal Methods in System Design, 61(1):35-62, August 2022.
- Felipe Gorostiaga, César Sánchez 0001. Runtime verification of real-time event streams using the tool HStriver. Formal Methods in System Design, 61(1):3-34, August 2022.
- Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw. Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods in System Design, 61(1):63-89, August 2022.
- Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. The probabilistic termination tool amber. Formal Methods in System Design, 61(1):90-109, August 2022.
- Georgios Kourtis, Clare Dixon, Michael Fisher 0001, Alexei Lisitsa 0001. Correction: Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods in System Design, 60(2):325-326, April 2022.
- Mathias Fleury, Armin Biere. Mining definitions in Kissat with Kittens. Formal Methods in System Design, 60(3):381-404, 2022.
- Marieke Huisman, Corina S. Pasareanu, Naijun Zhan. Preface for the formal methods in system design special issue on 'Formal Methods 2021'. Formal Methods in System Design, 61(1):1-2, August 2022.
- Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman. Specifiable robustness in reactive synthesis. Formal Methods in System Design, 60(2):259-276, April 2022.