| 0 | -- | 0 | Krzysztof R. Apt. Tony Hoare: his path to the ACM Turing Award |
| 0 | -- | 0 | Martin Fränzle, Thomas Møller Grosen, Kim Guldstrand Larsen, Martin Zimmermann 0002. Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays |
| 0 | -- | 0 | Andrei Mogage, Dorel Lucanu. Malware Analysis through Behavior Formalization |
| 0 | -- | 0 | Danaël Carbonneau, Frédéric Peschanski. LeanMachines: State-based Modeling with Refinement (a Lean4 Framework) |
| 0 | -- | 0 | Logan Murphy, Torin Viger, Alessio Di Sandro, Aren A. Babikian, Marsha Chechik. Assurance Case Development for Evolving Software Product Lines: A Formal Approach |
| 0 | -- | 0 | Nikolai Kosmatov, Laura Kovács. Introduction to the Special Collection on iFM 2024 |
| 0 | -- | 0 | Hao Wu 0095, Yuxi Fu, Huan Long, Xian Xu 0001, Wenbo Zhang 0004. On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity |
| 0 | -- | 0 | Mark Peyrer, Maximilian Heisinger, Martina Seidl. PyQBF: A Python Framework for Solving Quantified Boolean Formulas |
| 0 | -- | 0 | George Granberry, Wolfgang Ahrendt, Moa Johansson 0002. Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis |
| 0 | -- | 0 | Maurice H. ter Beek, Einar Broch Johnsen. Tony Hoare: In Memoriam |