Papers of the Month: June 2026

EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:

• Fernando Castor, who won two Distinguished Reviewer awards: one for the 48th ACM/IEEE International Conference on Software Engineering (ICSE 2026) and one for the 3rd  ACM international conference on AI Foundation Models and Software Engineering (FORGE 2026).
• Disjunction Composition of BDD Transition Systems for Model-Based Testing, by Tannaz Zameni, Petra van den Bos and Arend Rensink. Accepted for European Conference on Modelling Foundations and Applications (ECMFA) 2026
• Structural Morphisms for Nested Conditions, by Arend Rensink and Andrea Corradini. Accepted for Graph Computational Models (GCM) 2026
• PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing, by María Belén Rodríguez and Petra van den Bos. Accepted at ECMFA 2026
• Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling, by Pedro R. D'Argenio, Arnd Hartmanns, Patrick Wienhöft, Mark van Wijk. Accepted at QEST+FORMATS 2026
• Effective Stochastic Automata Model Checking by Interval Abstraction, by Annabell Petri, Arnd Hartmanns, Pedro D'Argenio. Accepted at QEST+FORMATS 2026
• Scalable Deductive Verification of Data-Level Parallel Programs, by L. van den Haak, M. Huisman, A. Wijs. Accepted for CAV2026
• A Unified Architecture for Risk Reasoning: Bridging Ontologies, Theorem Proving, and Model Checking, by Stefano M. Nicoletti. Accepted for Publication in the Proceedings of Computer Safety, Reliability and Security - SAFECOMP 2026 Workshops (SENSEI), 2026
• News-Informed Probabilistic Models for AI Risk Analysis, by Mattia Fumagalli, Stefano M. Nicoletti, Diego Calvanese, Giancarlo Guizzardi. Accepted for Publication in the Proceedings of Advanced Information Systems Engineering, 2026
• How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic, by Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga, Fabio Massacci, Carlos E. Budde. Accepted for ACM Transactions on Software Engineering and Methodology (TOSEM), 2026
• Toward an ontology-based modeling for risk management, by Ítalo Oliveira, Stefano M Nicoletti, Mattia Fumagalli, Gal Engelberg, Giancarlo Guizzardi. Accepted for the Proceedings of the 18th International Workshop on Value Modelling and Business Ontologies (VMBO 2025), 2025
• Deductive reasoning about embedded systems using reachable abstract states invariants, by Philip Tasche, Paula Herber, Marieke Huisman. Accepted in Software and Systems Modeling (SoSyM)
• Book chapter Algorithmic Building Blocks, by Marielle Stoelinga, Enno Ruijters and Pavel Krčál.
• Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II. Lecture Notes in Computer Science 16557, Springer 2026, by Augusto Sampaio.