- Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio 0001, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang 0001. Formal Methods in Industry. Formal Asp. Comput., 37(1), 2025.
- Jim Woodcock 0001. In Memoriam: Ernest Allen Emerson II. Formal Asp. Comput., 37(1), 2025.
- Jinlong He, Zhilin Wu, Taolue Chen 0001. Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps. Formal Asp. Comput., 37(2), June 2025.
- Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian. Footprint Logic for Object-Oriented Components (extended paper). Formal Asp. Comput., 37(2), June 2025.
- Bertrand Meyer 0001. Obituary for Niklaus Wirth. Formal Asp. Comput., 37(2), June 2025.
- Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. Formal Asp. Comput., 37(2), June 2025.
- Marsha Chechik, Joost-Pieter Katoen. Introduction to the Special Collection from FM 2023. Formal Asp. Comput., 37(1), 2025.
- Hongyan Zhao, Huibiao Zhu, Feng Sheng, Jifeng He 0001, Jonathan P. Bowen. Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL. Formal Asp. Comput., 37(2), June 2025.
- Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona. An SMT-Based Approach to the Verification of Knowledge-Based Programs. Formal Asp. Comput., 37(1), 2025.
- Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Alexander Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan. Does Every Computer Scientist Need to Know Formal Methods?. Formal Asp. Comput., 37(1), 2025.