Selected Scientific Publications
Export 7 results:
[ Author
Filters: Keyword is numerical properties and Author is Roberto Bagnara [Clear All Filters]
An Improved Tight Closure Algorithm for Integer Octagonal Constraints. Verification, Model Checking and Abstract Interpretation: Proceedings of the 9th International Conference (VMCAI 2008). 4905:8–21.
BagnaraHZ08.pdf (176.48 KB)
.
2008. 
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems. Science of Computer Programming. 72:3–21.
BagnaraHZ08SCP.pdf (298.58 KB)
.
2008. 
Grids: A Domain for Analyzing the Distribution of Numerical Values. Logic-based Program Synthesis and Transformation, 16th International Symposium. 4407:219–235.
BagnaraDHMZ07.pdf (222.94 KB)
.
2007. 
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. Static Analysis: Proceedings of the 12th International Symposium. 3672:19–34.
BagnaraR-CZ05.pdf (184.1 KB)
.
2005. 
Not Necessarily Closed Convex Polyhedra and the Double Description Method. Formal Aspects of Computing. 17:222–257.
BagnaraHZ05FAC.pdf (388.2 KB)
.
2005. 
Precise Widening Operators for Convex Polyhedra. Science of Computer Programming. 58:28–56.
BagnaraHRZ05SCP.pdf (273.43 KB)
.
2005. 
Static Analysis of CLP Programs over Numeric Domains. Actes ‘‘Workshop on Static Analysis ’92’’. 81–82:43–50.
.
1992.