- Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov automata with multiple objectives. Formal Methods in System Design, 60(1):33-86, February 2022.
- Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening. Enhancing active model learning with equivalence checking using simulation relations. Formal Methods in System Design, 61(2):164-197, December 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.
- Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy 0001. Symbolic encoding of LL(1) parsing and its applications. Formal Methods in System Design, 61(2):338-379, December 2022.
- Léo Exibard, Emmanuel Filiot, Ayrat Khalimov 0001. Church synthesis on register automata over linearly ordered data domains. Formal Methods in System Design, 61(2):290-337, December 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.