- Krzysztof R. Apt. Tony Hoare: his path to the ACM Turing Award. Formal Asp. Comput., 38(2), June 2026.
- David Geleßus, Sebastian Stock 0002, Fabian Vu, Michael Leuschel, Atif Mashkoor. Development and Validation of a Formal Model and Prototype for an Air Traffic Control System. Formal Asp. Comput., 38(1), March 2026.
- Martin Fränzle, Thomas Møller Grosen, Kim Guldstrand Larsen, Martin Zimmermann 0002. Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays. Formal Asp. Comput., 38(2), June 2026.
- Maryam Ghaffari Saadat, Clare Dixon, Michael Fisher 0001. Specification and Verification of the Alpha Swarm Algorithm using NuXMV and GROOVE. Formal Asp. Comput., 38(1), March 2026.
- Andrei Mogage, Dorel Lucanu. Malware Analysis through Behavior Formalization. Formal Asp. Comput., 38(2), June 2026.
- Danaël Carbonneau, Frédéric Peschanski. LeanMachines: State-based Modeling with Refinement (a Lean4 Framework). Formal Asp. Comput., 38(2), June 2026.
- Logan Murphy, Torin Viger, Alessio Di Sandro, Aren A. Babikian, Marsha Chechik. Assurance Case Development for Evolving Software Product Lines: A Formal Approach. Formal Asp. Comput., 38(2), June 2026.
- Nikolai Kosmatov, Laura Kovács. Introduction to the Special Collection on iFM 2024. Formal Asp. Comput., 38(2), June 2026.
- Hao Wu 0095, Yuxi Fu, Huan Long, Xian Xu 0001, Wenbo Zhang 0004. On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity. Formal Asp. Comput., 38(2), June 2026.
- Gavin Lowe. Analysing a Library of Concurrency Primitives using CSP. Formal Asp. Comput., 38(1), March 2026.