- Blair Archibald, Muffy Calder, Michele Sevegnani. Practical Modelling with Bigraphs. Formal Asp. Comput., 37(3), September 2025.
- 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.
- Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty. Memory Consistency and Program Transformations. Formal Asp. Comput., 37(3), September 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.
- Guoqiang Li 0001, Qizhe Yang, Jinhao Tan, Ying Zhao. BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. Formal Asp. Comput., 37(3), September 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.
- Nicola Gambino. In Memoriam: Peter H. G. Aczel (1941-2023). Formal Asp. Comput., 37(3), September 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.