| Title | The {Parma Polyhedra Library}: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems |
| Publication Type | Journal Article |
| Authors | Bagnara R, Hill PM, Zaffanella E |
| Title | Verification of {C} Programs Via Natural Semantics and Abstract Interpretation |
| Publication Type | Conference Paper |
| Authors | Bagnara R, Hill PM, Pescetti A, Zaffanella E |
| Editor | Tews H |
| Title | Widening Operators for Powerset Domains |
| Publication Type | Journal Article |
| Authors | Bagnara R, Hill PM, Zaffanella E |
| Title | Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation |
| Publication Type | Journal Article |
| Authors | Bagnara R, Zaffanella E, Hill PM |
| Title | Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra |
| Publication Type | Conference Paper |
| Authors | Bagnara R, Rodríguez-Carbonell E, Zaffanella E |
| Editor | Hankin C, Siveroni I |
| Title | Not Necessarily Closed Convex Polyhedra and the Double Description Method |
| Publication Type | Journal Article |
| Authors | Bagnara R, Hill PM, Zaffanella E |
