| The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems R Bagnara, PM Hill, E Zaffanella Science of Computer Programming 72 (1-2), 3-21, 2008 | 556 | 2008 |
| Possibly not closed convex polyhedra and the Parma Polyhedra Library R Bagnara, E Ricci, E Zaffanella, PM Hill Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain …, 2002 | 190 | 2002 |
| Precise widening operators for convex polyhedra R Bagnara, PM Hill, E Ricci, E Zaffanella Science of Computer Programming 58 (1-2), 28-56, 2005 | 119 | 2005 |
| Precise widening operators for convex polyhedra R Bagnara, PM Hill, E Ricci, E Zaffanella International Static Analysis Symposium, 337-354, 2003 | 106 | 2003 |
| Widening operators for powerset domains R Bagnara, PM Hill, E Zaffanella International Journal on Software Tools for Technology Transfer 8, 449-466, 2006 | 70 | 2006 |
| Widening operators for powerset domains R Bagnara, PM Hill, E Zaffanella International Workshop on Verification, Model Checking, and Abstract …, 2004 | 70 | 2004 |
| Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness R Bagnara, PM Hill, E Zaffanella Formal Methods in System Design 35 (3), 279-323, 2009 | 58 | 2009 |
| Not necessarily closed convex polyhedra and the double description method R Bagnara, PM Hill, E Zaffanella Formal Aspects of Computing 17, 222-257, 2005 | 56 | 2005 |
| Generation of basic semi-algebraic invariants using convex polyhedra R Bagnara, E Rodríguez-Carbonell, E Zaffanella International Static Analysis Symposium, 19-34, 2005 | 55 | 2005 |
| A new look at the automatic synthesis of linear ranking functions R Bagnara, F Mesnard, A Pescetti, E Zaffanella Information and Computation 215, 47-67, 2012 | 53 | 2012 |
| Applications of polyhedral computations to the analysis and verification of hardware and software systems R Bagnara, PM Hill, E Zaffanella Theoretical Computer Science 410 (46), 4672-4691, 2009 | 48 | 2009 |
| Set-sharing is redundant for pair-sharing R Bagnara, PM Hill, E Zaffanella Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997 | 45 | 1997 |
| An improved tight closure algorithm for integer octagonal constraints R Bagnara, PM Hill, E Zaffanella Verification, Model Checking, and Abstract Interpretation: 9th International …, 2008 | 40 | 2008 |
| Set-sharing is redundant for pair-sharing R Bagnara, PM Hill, E Zaffanella Theoretical Computer Science 277 (1-2), 3-46, 2002 | 39 | 2002 |
| Widening operators for weakly-relational numeric abstractions R Bagnara, PM Hill, E Mazzi, E Zaffanella International Static Analysis Symposium, 3-18, 2005 | 33 | 2005 |
| Enhanced sharing analysis techniques: A comprehensive evaluation R Bagnara, E Zaffanella, PM Hill Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000 | 32 | 2000 |
| Revisiting polyhedral analysis for hybrid systems A Becchi, E Zaffanella Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 29 | 2019 |
| Grids: A domain for analyzing the distribution of numerical values R Bagnara, K Dobson, PM Hill, M Mundell, E Zaffanella International Symposium on Logic-based Program Synthesis and Transformation …, 2006 | 26 | 2006 |
| Widening sharing E Zaffanella, R Bagnara, PM Hill Principles and Practice of Declarative Programming: International Conference …, 1999 | 25 | 1999 |
| The correctness of set-sharing PM Hill, R Bagnara, E Zaffanella Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September …, 1998 | 22 | 1998 |
