Enea Zaffanella

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · Science of Computer Programming · 2008 · 466 citations

Computing, Computer Engineering, Computer Science +11

Precise widening operators for convex polyhedra

Roberto Bagnara, Patricia M. Hill, Elisa Ricci et al. · Science of Computer Programming · 2005 · 67 citations

Natural Sciences, Computer Science, Mathematics +11

Widening operators for powerset domains

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · International Journal on Software Tools for Technology Transfer · 2007 · 66 citations · Full text

Natural Sciences, Computer Science, Mathematics +6

Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · Formal Methods in System Design · 2009 · 43 citations

Computing, Computer Science, Algorithms +11

Not necessarily closed convex polyhedra and the double description method

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · Formal Aspects of Computing · 2005 · 40 citations

Natural Sciences, Mathematics, Computational Geometry +7