- Ritam Raha, Rajarshi Roy 0002, Nathanaël Fijalkow, Daniel Neider. A scalable anytime algorithm for learning fragments of linear temporal logic. Formal Methods in System Design, 68(1):2, February 2026.
- Wan J. Fokkink, Rob van Glabbeek. Formal methods for mobile ad hoc networks: a survey. Formal Methods in System Design, 68(1):1, February 2026.
- Anna Becchi, Alessandro Cimatti. Abstraction Modulo Stability. Formal Methods in System Design, 66(2):134-169, August 2025.
- Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi 0002, Yong Guan, Ximeng Li 0003. Formalization of robot collision detection method based on conformal geometric algebra. Formal Methods in System Design, 67(3):255-281, December 2025.
- Orna Grumberg, Orna Kupferman, Sarai Sheinvald. Variable automata over infinite alphabets. Formal Methods in System Design, 66(3):376-418, September 2025.
- Einar Broch Johnsen, Manuel Wimmer. Preface for the Formal Methods in System Design special issue on 'FASE 2022'. Formal Methods in System Design, 66(1):1-2, May 2025.
- Martin Blicha, Konstantin Britikov, Natasha Sharygina. Golem: a flexible and efficient solver for constrained Horn clauses. Formal Methods in System Design, 67(2):143-160, November 2025.
- Marcel Hark, Florian Frohn, Jürgen Giesl. Termination of triangular polynomial loops. Formal Methods in System Design, 65(1):70-132, April 2025.
- Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai. PAC statistical model checking of mean payoff in discrete- and continuous-time MDP. Formal Methods in System Design, 66(2):195-237, August 2025.
- Alberto Griggio, Neha Rungta. Editorial: Special issue on formal methods in computer-aided design. Formal Methods in System Design, 67(1):1-2, October 2025.