- 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.
- Marcel Hark, Florian Frohn, Jürgen Giesl. Termination of triangular polynomial loops. Formal Methods in System Design, 65(1):70-132, April 2025.
- Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur. Memory-efficient fixpoint computation. Formal Methods in System Design, 65(1):133-162, April 2025.
- Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic. (Un)Solvable loop analysis. Formal Methods in System Design, 65(1):163-194, April 2025.
- Santiago Bautista, Thomas P. Jensen, Benoît Montagu. An input-output relational domain for algebraic data types and functional arrays. Formal Methods in System Design, 65(1):231-304, April 2025.
- Christian Müller, Helmut Seidl. Stratified guarded first-order transition systems. Formal Methods in System Design, 65(1):39-69, April 2025.
- Aditya Anand 0002, Manas Thakur. Partial program analysis for staged compilation systems. Formal Methods in System Design, 65(1):195-230, April 2025.
- Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa. Information-flow interfaces. Formal Methods in System Design, 66(1):3-48, May 2025.
- Samuele Buro, Roy L. Crole, Isabella Mastroeni. On multi-language abstraction: Towards a static analysis of multi-language programs. Formal Methods in System Design, 65(1):4-38, April 2025.
- Sebastian Biewer, Kevin Baum 0001, Sarah Sterz, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Franz Lehr. Software doping analysis for human oversight. Formal Methods in System Design, 66(1):49-98, May 2025.