Selected Scientific Publications

Export 30 results:
Sort by: [ Author (Desc)] Title Type Year
A [B] C D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
B
Bagnara R, Dobson K, Hill PM, Mundell M, Zaffanella E.  2007.  Grids: A Domain for Analyzing the Distribution of Numerical Values. Logic-based Program Synthesis and Transformation, 16th International Symposium. 4407:219–235. Abstract  Download: BagnaraDHMZ07.pdf (222.94 KB)
Bagnara R.  1996.  A Reactive Implementation of Pos Using ROBDDs. Programming Languages: Implementations, Logics and Programs, Proceedings of the Eighth International Symposium. 1140:107–121.
Bagnara R, Hill PM, Zaffanella E.  2006.  Widening Operators for Powerset Domains. Software Tools for Technology Transfer. 8(4/5):449–466. Abstract  Download: BagnaraHZ06STTT.pdf (362.41 KB)
Bagnara R, Gori R, Hill PM, Zaffanella E.  2004.  Finite-Tree Analysis for Constraint Logic-Based Languages. Information and Computation. 193(2):84-116. Abstract  Download: BagnaraGHZ04IC.pdf (301.52 KB)
Bagnara R, Carro M.  2002.  Foreign Language Interfaces for Prolog: A Terse Survey. Abstract
Bagnara R, Hill PM, Zaffanella E.  2009.  Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems. Theoretical Computer Science. 410(46):4672–4691. Abstract  Download: BagnaraHZ09TCS.pdf (391.35 KB)
Bagnara R, Hill PM, Pescetti A, Zaffanella E.  2007.  Verification of C Programs Via Natural Semantics and Abstract Interpretation. Proceedings of the C/C++ Verification Workshop. :75–80.
Bagnara R, Hill PM, Zaffanella E.  2008.  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. Abstract  Download: BagnaraHZ08.pdf (176.48 KB)
Bagnara R, Gori R, Hill PM, Zaffanella E.  2001.  Finite-Tree Analysis for Constraint Logic-Based Languages. Static Analysis: 8th International Symposium, SAS 2001. 2126:165–184.
Bagnara R, Hill PM, Ricci E, Zaffanella E.  2005.  Precise Widening Operators for Convex Polyhedra. Science of Computer Programming. 58(1-2):28–56. Abstract  Download: BagnaraHRZ05SCP.pdf (273.43 KB)
Bagnara R, Hill PM, Zaffanella E.  1997.  Set-Sharing is Redundant for Pair-Sharing. Static Analysis: Proceedings of the 4th International Symposium. 1302:53–67.
Bagnara R, Giacobazzi R, Levi G.  1992.  Static Analysis of CLP Programs over Numeric Domains. Actes ``Workshop on Static Analysis '92''. 81–82:43–50.
Bagnara R, Hill PM, Zaffanella E.  2002.  Set-Sharing is Redundant for Pair-Sharing. Theoretical Computer Science. 277(1-2):3–46. Abstract  Download: BagnaraHZ02TCS.pdf (413.66 KB)
Bagnara R, Mesnard F, Pescetti A, Zaffanella E.  2012.  A New Look at the Automatic Synthesis of Linear Ranking Functions. Information and Computation. 215:47-67. Abstract  Download: BagnaraMPZ12IC.pdf (463.08 KB)
Bagnara R, Hill PM, Zaffanella E.  2009.  Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness. Formal Methods in System Design. 35(3):279–323. Abstract  Download: BagnaraHZ09FMSD.pdf (437.68 KB)
Bagnara R, Zaccagnini A.  2004.  Checking and Bounding the Solutions of Some Recurrence Relations. Abstract
Bagnara R, Hill PM, Zaffanella E.  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(1-2):3–21. Abstract  Download: BagnaraHZ08SCP.pdf (298.58 KB)
Bagnara R, Zaffanella E, Gori R, Hill PM.  2001.  Boolean Functions for Finite-Tree Dependencies. Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001). 2250:579–594.
Bagnara R, Mesnard F, Pescetti A, Zaffanella E.  2012.  The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version. Abstract  Download: BagnaraMPZ12TR.pdf (561.17 KB)
Bagnara R, Schachte P.  1999.  Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. Proceedings of the ``Seventh International Conference on Algebraic Methodology and Software Technology (AMAST'98)''. 1548:471–485.
Bagnara R.  1998.  A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages. Science of Computer Programming. 30:119–155. Abstract  Download: Bagnara98SCP.pdf (369.58 KB)
Bagnara R, Giacobazzi R, Levi G.  1993.  An Application of Constraint Propagation to Data-Flow Analysis. Proceedings of ``The Ninth Conference on Artificial Intelligence for Applications''. :270–276.
Bagnara R, Zaffanella E, Hill PM.  2005.  Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation. Theory and Practice of Logic Programming. 5(1&2):1-43. Abstract  Download: BagnaraZH05TPLP.pdf (449.66 KB)
Bagnara R, Carlier M, Gori R, Gotlieb A.  2013.  Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation. :10. Abstract  Download: BagnaraCGG13ICST.pdf (367.36 KB)
Bagnara R, Rodríguez-Carbonell E, Zaffanella E.  2005.  Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. Static Analysis: Proceedings of the 12th International Symposium. 3672:19–34. Abstract  Download: BagnaraR-CZ05.pdf (184.1 KB)
Bagnara R, Zaccagnini A, Zolo T.  2003.  The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients. Abstract
Bagnara R, Hill PM, Zaffanella E.  2010.  Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions. Computational Geometry: Theory and Applications. 43(5):453–473. Abstract  Download: BagnaraHZ10CGTA.pdf (339.41 KB)
Bagnara R, Hill PM, Pescetti A, Zaffanella E.  2008.  On the Design of Generic Static Analyzers for Imperative Languages. Abstract  Download: BagnaraHPZ08.pdf (632.79 KB)
Bagnara R, Hill PM, Zaffanella E.  2005.  Not Necessarily Closed Convex Polyhedra and the Double Description Method. Formal Aspects of Computing. 17(2):222–257. Abstract  Download: BagnaraHZ05FAC.pdf (388.2 KB)
Bagnara R, Hill PM, Zaffanella E.  2000.  Efficient Structural Information Analysis for Real CLP Languages. Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000). 1955:189–206.