| 2024 | FTfJP | Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. | Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella |
| 2023 | PLDI | Speeding up Static Analysis with the Split Operator. | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
| 2023 | SAS | Unconstrained Variable Oracles for Faster Numeric Static Analyses. | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
| 2022 | APLAS | Decoupling the Ascending and Descending Phases in Abstract Interpretation. | Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella |
| 2020 | SEFM | Synthesis of P-Stable Abstractions. | Anna Becchi, Alessandro Cimatti, Enea Zaffanella |
| 2019 | SAS | Revisiting Polyhedral Analysis for Hybrid Systems. | Anna Becchi, Enea Zaffanella |
| 2018 | CAV | A Direct Encoding for NNC Polyhedra. | Anna Becchi, Enea Zaffanella |
| 2018 | SAS | An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. | Anna Becchi, Enea Zaffanella |
| 2008 | VMCAI | An Improved Tight Closure Algorithm for Integer Octagonal Constraints. | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
| 2006 | LOPSTR | Grids: A Domain for Analyzing the Distribution of Numerical Values. | Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella |
| 2005 | SAS | Widening Operators for Weakly-Relational Numeric Abstractions. | Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella |
| 2005 | SAS | Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. | Roberto Bagnara, Enric Rodrguez-Carbonell, Enea Zaffanella |
| 2004 | VMCAI | Widening Operators for Powerset Domains. | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
| 2003 | SAS | Precise Widening Operators for Convex Polyhedra. | Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella |
| 2002 | SAS | Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. | Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill |
| 2001 | LPAR | Boolean Functions for Finite-Tree Dependencies. | Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill |
| 2001 | SAS | Finite-Tree Analysis for Constraint Logic-Based Languages. | Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
| 2000 | LPAR | Efficient Structural Information Analysis for Real CLP Languages. | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
| 2000 | PPDP | Enhanced sharing analysis techniques: a comprehensive evaluation. | Roberto Bagnara, Enea Zaffanella, Patricia M. Hill |
| 1999 | PPDP | Widening Sharing. | Enea Zaffanella, Roberto Bagnara, Patricia M. Hill |
| 1999 | SAS | Decomposing Non-redundant Sharing by Complementation. | Enea Zaffanella, Patricia M. Hill, Roberto Bagnara |
| 1998 | SAS | The Correctness of Set-Sharing. | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
| 1997 | SAS | Set-Sharing is Redundant for Pair-Sharing. | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
| 1995 | CP | Domain Independent Ask Approximation in CCP. | Enea Zaffanella |
| 1994 | ICLP | Abstracting Synchronization in Concurrent Constraint Programming. | Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi |