| 2026 | TACAS | Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring. | Mahrokh Mirani, Paola Inverardi, Patrizio Pelliccione, Franco Raimondi, Nicolas Troquard |
| 2025 | ICSA | Architecture as Code. | Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Patrizio Pelliccione, Franco Raimondi |
| 2023 | SAS | Lifting On-Demand Analysis to Higher-Order Languages. | Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang |
| 2022 | PLDI | Differential cost analysis with simultaneous potentials and anti-potentials. | Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi |
| 2018 | AINA | Multi-agent Based Simulations of Block-Free Distributed Ledgers. | Michele Bottone, Franco Raimondi, Giuseppe Primiero |
| 2017 | IJCAI | A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. | Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu |
| 2017 | SP | CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees. | Thomas Bauerei, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi |
| 2016 | ICSE | Modeling complex air traffic management systems. | Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace |
| 2016 | ITP | CoSMed: A Confidentiality-Verified Social Media Platform. | Thomas Bauerei, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi |
| 2015 | AINA | A Constrained ECA Language Supporting Formal Verification of WSNs. | Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi |
| 2015 | ANT | Software Theory Change for Resilient Near-Complete Specifications. | Giuseppe Primiero, Franco Raimondi |
| 2015 | IJCAI | Symbolic Model Checking for One-Resource RB+-ATL. | Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
| 2015 | ICSE | On the Role of Value Sensitive Concerns in Software Engineering Practice. | Balbir S. Barn, Ravinder Barn, Franco Raimondi |
| 2015 | ICSE | Towards Cyber-physical Systems as Services: The ASIP Protocol. | Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi |
| 2015 | PST | Minimizing transitive trust threats in software management systems. | Jaap Boender, Giuseppe Primiero, Franco Raimondi |
| 2014 | ECAI | Decidable Model-Checking for a Resource Logic with Production of Resources. | Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
| 2014 | ICFEM | Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. | Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi |
| 2014 | PST | A typed natural deduction calculus to reason about secure trust. | Giuseppe Primiero, Franco Raimondi |
| 2013 | AINA | Implementing Adaptation and Reconfiguration Strategies in Heterogeneous WSN. | Antinisca Di Marco, Francesco Gallo, Orhan Gemikonakli, Leonardo Mostarda, Franco Raimondi |
| 2011 | WEBIST | Evaluation of Collaborative Filtering Algorithms Using a Small Dataset. | Fabio Roda, Leo Liberti, Franco Raimondi |
| 2009 | CAV | MCMAS: A Model Checker for the Verification of Multi-Agent Systems. | Alessio Lomuscio, Hongyang Qu, Franco Raimondi |
| 2009 | ISSTA | A formal analysis of requirements-based testing. | Charles Pecheur, Franco Raimondi, Guillaume Brat |
| 2008 | AAIM | The Secret Santa Problem. | Leo Liberti, Franco Raimondi |
| 2007 | IJCAI | Automatic Verification of Knowledge and Time with NuSMV. | Alessio Lomuscio, Charles Pecheur, Franco Raimondi |
| 2006 | TACAS | MCMAS: A Model Checker for Multi-agent Systems. | Alessio Lomuscio, Franco Raimondi |
| 2004 | ECAI | Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. | Franco Raimondi, Alessio Lomuscio |