- 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.
- 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.
- 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.
- Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta. Assumption-based Runtime Verification. Formal Methods in System Design, 60(2):277-324, April 2022.
- Tayssir Touili, Xin Ye 0007. LTL model checking of self modifying code. Formal Methods in System Design, 60(2):195-227, April 2022.
- Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer. Reluplex: a calculus for reasoning about deep neural networks. Formal Methods in System Design, 60(1):87-116, February 2022.
- Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi. Functional synthesis via input-output separation. Formal Methods in System Design, 60(2):228-258, April 2022.
- Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini. Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking. Formal Methods in System Design, 60(2):117-146, April 2022.
- Léo Henry, Thierry Jéron, Nicolas Markey. Control strategies for off-line testing of timed systems. Formal Methods in System Design, 60(2):147-194, April 2022.