| 2023 | CAV | Exploiting Adjoints in Property Directed Reachability Analysis. | Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo |
| 2023 | ESOP | Logics for Extensional, Locally Complete Analysis via Domain Refinements. | Flavio Ascari, Roberto Bruni, Roberta Gori |
| 2022 | FOSSACS | Limits and difficulties in the design of under-approximation abstract domains. | Flavio Ascari, Roberto Bruni, Roberta Gori |
| 2022 | PLDI | Abstract interpretation repair. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2022 | SAS | Deciding Program Properties via Complete Abstractions on Bounded Domains. | Roberto Bruni, Roberta Gori, Nicolas Manini |
| 2021 | ICSE | Formal characterization and efficient verification of a biological robustness property. | Lucia Nasti, Roberta Gori, Paolo Milazzo |
| 2021 | LICS | A Logic for Locally Complete Abstract Interpretations. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2018 | VMCAI | Code Obfuscation Against Abstract Model Checking Attacks. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori |
| 2017 | AAAI | Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening. | Arnaud Gotlieb, Marine Louarn, Mari Nygrd, Toms Ruiz-Lpez, Sagar Sen, Roberta Gori |
| 2015 | LOPSTR | A Global Occurrence Counting Analysis for Brane Calculi. | Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi |
| 2013 | ICST | Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. | Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb |
| 2006 | APLAS | An Analysis for Proving Temporal Properties of Biological Systems. | Roberta Gori, Francesca Levi |
| 2005 | APLAS | A New Occurrence Counting Analysis for BioAmbients. | Roberta Gori, Francesca Levi |
| 2003 | VMCAI | Properties of a Type Abstract Interpreter. | Roberta Gori, Giorgio Levi |
| 2002 | VMCAI | An Experiment in Type Inference and Verification by Abstract Interpretation. | Roberta Gori, Giorgio Levi |
| 2001 | LPAR | Boolean Functions for Finite-Tree Dependencies. | Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill |
| 2001 | LPAR | How to Transform an Analyzer into a Verifier. | Marco Comini, Roberta Gori, Giorgio Levi |
| 2001 | SAS | Finite-Tree Analysis for Constraint Logic-Based Languages. | Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
| 2000 | LPAR | An Abstract Interpretation Approach to Termination of Logic Programs. | Roberta Gori |
| 1999 | LPAR | A Fixpoint Semantics for Reasoning about Finite Failure. | Roberta Gori |
| 1999 | PPDP | On the Verification of Finite Failure. | Roberta Gori, Giorgio Levi |
| 1998 | SAS | Analysis of Normal Logic Programs. | Franois Fages, Roberta Gori |