| 2026 | FM | Reachability-Guided Abstraction Refinement. | Pierre Ganty, Nicolas Manini, Francesco Ranzato |
| 2025 | CCS | Exact Robustness Certification of k-Nearest Neighbors. | Francesco Ranzato, Ahmad Shakeel, Marco Zanella |
| 2025 | CONCUR | Model Checking as Program Verification by Abstract Interpretation. | Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo |
| 2024 | VMCAI | Abstract Interpretation-Based Feature Importance for Support Vector Machines. | Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella |
| 2023 | ICDM | Robustness Certification of k-Nearest Neighbors. | Nicol Fassina, Francesco Ranzato, Marco Zanella |
| 2022 | PLDI | Abstract interpretation repair. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2022 | SAS | Local Completeness Logic on Kleene Algebra with Tests. | Marco Milanese, Francesco Ranzato |
| 2021 | CIKM | Fairness-Aware Training of Decision Trees by Abstract Interpretation. | Francesco Ranzato, Caterina Urban, Marco Zanella |
| 2021 | CONCUR | Inclusion Testing of Bchi Automata Based on Well-Quasiorders. | Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato |
| 2021 | GECCO | Genetic adversarial training of decision trees. | Francesco Ranzato, Marco Zanella |
| 2021 | ICALP | A Rice's Theorem for Abstract Semantics. | Paolo Baldan, Francesco Ranzato, Linpeng Zhang |
| 2021 | LICS | A Logic for Locally Complete Abstract Interpretations. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2020 | AAAI | Abstract Interpretation of Decision Tree Ensemble Classifiers. | Francesco Ranzato, Marco Zanella |
| 2020 | CONCUR | Decidability and Synthesis of Abstract Inductive Invariants. | Francesco Ranzato |
| 2019 | SAS | Language Inclusion Algorithms as Complete Abstract Interpretations. | Pierre Ganty, Francesco Ranzato, Pedro Valero |
| 2019 | SAS | Robustness Verification of Support Vector Machines. | Francesco Ranzato, Marco Zanella |
| 2018 | CAV | Program Analysis Is Harder Than Verification: A Computability Perspective. | Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato |
| 2018 | SAS | Invertible Linear Transforms of Numerical Abstract Domains. | Francesco Ranzato, Marco Zanella |
| 2018 | VMCAI | On Constructivity of Galois Connections. | Francesco Ranzato |
| 2016 | SAS | Abstract Interpretation of Supermodular Games. | Francesco Ranzato |
| 2015 | POPL | Analyzing Program Analyses. | Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato |
| 2014 | POPL | Tracing compilation by abstract interpretation. | Stefano Dissegna, Francesco Logozzo, Francesco Ranzato |
| 2013 | MFCS | A More Efficient Simulation Algorithm on Kripke Structures. | Francesco Ranzato |
| 2013 | VMCAI | Complete Abstractions Everywhere. | Francesco Ranzato |
| 2011 | CONCUR | A Spectrum of Behavioral Relations over LTSs on Probability Distributions. | Silvia Crafa, Francesco Ranzato |
| 2011 | ICALP | Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. | Silvia Crafa, Francesco Ranzato |
| 2010 | ICALP | Example-Guided Abstraction Simplification. | Roberto Giacobazzi, Francesco Ranzato |
| 2009 | CONCUR | Computing Stuttering Simulations. | Francesco Ranzato, Francesco Tapparo |
| 2008 | VMCAI | A Forward-Backward Abstraction Refinement Algorithm. | Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo |
| 2007 | LICS | A New Efficient Simulation Equivalence Algorithm. | Francesco Ranzato, Francesco Tapparo |
| 2006 | VMCAI | Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. | Francesco Ranzato, Francesco Tapparo |
| 2005 | APLAS | An Abstract Interpretation Perspective on Linear vs. Branching Time. | Francesco Ranzato, Francesco Tapparo |
| 2005 | TACAS | An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. | Francesco Ranzato, Francesco Tapparo |
| 2004 | ESOP | Strong Preservation as Completeness in Abstract Interpretation. | Francesco Ranzato, Francesco Tapparo |
| 2002 | SAS | States vs. Traces in Model Checking by Abstract Interpretation. | Roberto Giacobazzi, Francesco Ranzato |
| 2002 | SAS | Making Abstract Model Checking Strongly Preserving. | Francesco Ranzato, Francesco Tapparo |
| 2001 | ESOP | On the Completeness of Model Checking. | Francesco Ranzato |
| 1998 | MFCS | Complete Abstract Interpretations Made Constructive. | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari |
| 1998 | SAS | Building Complete Abstract Interpretations in a Linear Logic-based Setting. | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari |
| 1997 | ICALP | Refining and Compressing Abstract Domains. | Roberto Giacobazzi, Francesco Ranzato |
| 1996 | ESOP | Compositional Optimization of Disjunctive Abstract Interpretations. | Roberto Giacobazzi, Francesco Ranzato |
| 1996 | ICLP | Complementation of Abstract Domains made Easy. | Gilberto Fil, Francesco Ranzato |
| 1995 | SAS | Complementation in Abstract Interpretation | Agostino Cortesi, Gilberto Fil, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato |