| 2024 | ECCV | Fairness of AI Systems in the Legal Context. | Veronica Paternolli, Mila Dalla Preda, Roberto Giacobazzi |
| 2023 | SAS | A Formal Framework to Measure the Incompleteness of Abstract Interpretations. | Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi |
| 2023 | SAS | How Fitting is Your Abstract Domain? | Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni |
| 2022 | PLDI | Abstract interpretation repair. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2022 | SAS | Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2021 | LICS | A Logic for Locally Complete Abstract Interpretations. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2020 | SAS | Formal Framework for Reasoning About the Precision of Dynamic Analysis. | Mila Dalla Preda, Roberto Giacobazzi, Niccol Marastoni |
| 2019 | LOPSTR | Computing Abstract Distances in Logic Programs. | Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Roberto Giacobazzi, Manuel V. Hermenegildo |
| 2019 | SAS | Abstract Interpretation of Indexed Grammars. | Marco Campion, Mila Dalla Preda, Roberto Giacobazzi |
| 2018 | CAV | Program Analysis Is Harder Than Verification: A Computability Perspective. | Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato |
| 2018 | LICS | Sound up-to techniques and Complete abstract domains. | Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic |
| 2018 | VMCAI | Code Obfuscation Against Abstract Model Checking Attacks. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori |
| 2016 | ACSAC | Active Android malware analysis: an approach based on stochastic games. | Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni |
| 2016 | SAS | Completeness in Approximate Transduction. | Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni |
| 2015 | POPL | Analyzing Program Analyses. | Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato |
| 2015 | POPL | Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. | Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni |
| 2014 | POPL | Analyzing program dependencies for malware detection. | Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi |
| 2014 | PPDP | Unveiling and Veiling Information in Programs. | Roberto Giacobazzi |
| 2013 | FCT | A Formal Framework for Property-Driven Obfuscation Strategies. | Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi |
| 2013 | POPL | Fast location of similar code fragments using semantic 'juice'. | Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi |
| 2012 | PEPM | Obfuscation by partial evaluation of distorted interpreters. | Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni |
| 2012 | SAS | Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2012 | TASE | Strong Preservation by Model Deformation. | Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic |
| 2010 | ICALP | Example-Guided Abstraction Simplification. | Roberto Giacobazzi, Francesco Ranzato |
| 2010 | SAS | Modelling Metamorphism by Abstract Interpretation. | Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend |
| 2010 | VMCAI | Abstract Interpretation-Based Protection. | Roberto Giacobazzi |
| 2008 | SAS | Transforming Abstract Interpretations by Abstract Interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2008 | SAS | Hiding Software Watermarks in Loop Structures. | Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini |
| 2008 | SEFM | Abstract Interpretation in Code Security. | Roberto Giacobazzi |
| 2008 | SEFM | Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. | Roberto Giacobazzi |
| 2007 | SAS | A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. | Francesco Banterle, Roberto Giacobazzi |
| 2005 | ESOP | Adjoining Declassification and Attack Models by Abstract Interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2005 | ICALP | Semantic-Based Code Obfuscation by Abstract Interpretation. | Mila Dalla Preda, Roberto Giacobazzi |
| 2005 | SEFM | Control Code Obfuscation by Abstract Interpretation. | Mila Dalla Preda, Roberto Giacobazzi |
| 2004 | CSL | Proving Abstract Non-interference. | Roberto Giacobazzi, Isabella Mastroeni |
| 2004 | POPL | Abstract non-interference: parameterizing non-interference by abstract interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2003 | VMCAI | Domain Compression for Complete Abstractions. | Roberto Giacobazzi, Isabella Mastroeni |
| 2002 | PEPM | Compositionality in the puzzle of semantics. | Roberto Giacobazzi, Isabella Mastroeni |
| 2002 | SAS | States vs. Traces in Model Checking by Abstract Interpretation. | Roberto Giacobazzi, Francesco Ranzato |
| 2001 | SAS | Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. | Roberto Giacobazzi, Elisa Quintarelli |
| 2000 | PPDP | A characterization of symmetric semantics by domain complementation. | Roberto Giacobazzi, Isabella Mastroeni |
| 1998 | MFCS | Complete Abstract Interpretations Made Constructive. | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari |
| 1998 | SAS | A Tutorial on Domain Theory in Abstract Interpretation. | Roberto Giacobazzi |
| 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 | STACS | "Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. | Roberto Giacobazzi |
| 1995 | SAS | Complementation in Abstract Interpretation | Agostino Cortesi, Gilberto Fil, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato |
| 1994 | ICLP | On the Collecting Semantics for Logic Programs. | Roberto Giacobazzi |
| 1994 | ICLP | Abstracting Synchronization in Concurrent Constraint Programming. | Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi |
| 1994 | SAC | Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. | Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi |
| 1994 | SAC | Goal independency and call patterns in the analysis of logic programs. | Maurizio Gabbrielli, Roberto Giacobazzi |
| 1993 | POPL | Compositional Analysis of Modular Logic Programs. | Michael Codish, Saumya K. Debray, Roberto Giacobazzi |
| 1992 | ESOP | Detecting Determinate Computations by Bottom-up Abstract Interpretation. | Roberto Giacobazzi, Laura Ricci |
| 1992 | POPL | Modeling Prolog Control. | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
| 1992 | SAS | Static Analysis of CLP Programs over Numeric Domains. | Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi |
| 1991 | SAS | Modelling Prolog Control. | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
| 1990 | ICLP | Pipeline Optimizations in AND-Parallel Logic Programs. | Roberto Giacobazzi, Laura Ricci |