| 2024 | QRS | The ACPATH Structural Complexity Metric. | Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill |
| 2024 | QRS | C-Rusted: Safe and Secure Programming in Standard C. | Roberto Bagnara, Abramo Bagnara, Federico Serafini, Nicola Vetrini |
| 2018 | SAS | The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. | Roberto Bagnara, Abramo Bagnara, Patricia M. Hill |
| 2013 | ICST | Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. | Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb |
| 2013 | PPDP | Eventual linear ranking functions. | Roberto Bagnara, Fred Mesnard |
| 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 |
| 1994 | ICLP | On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs. | Roberto Bagnara |
| 1992 | SAS | Static Analysis of CLP Programs over Numeric Domains. | Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi |