Static Analysis of CLP Programs over Numeric Domains. - Roberto Bagnara; Roberto Giacobazzi; Giorgio Levi (WSA, 1992)

On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs. - Roberto Bagnara (GULP-PRODE (1), 1994)

On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs. - Roberto Bagnara (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. - Roberto Bagnara (GULP-PRODE, 1995)

A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods. - Roberto Bagnara (SIAM Rev., 1995)

Straight ROBDDs are not the Best for Pos. - Roberto Bagnara (APPIA-GULP-PRODE, 1996)

The And-compositionality of CLP Computed Answer Constraints. - Roberto Bagnara; Marco Comini; Francesca Scozzari; Enea Zaffanella (APPIA-GULP-PRODE, 1996)

A Reactive Implementation of Pos Using ROBDDs. - Roberto Bagnara (PLILP, 1996)

Structural Information Analysis for CLP Languages. - Roberto Bagnara (APPIA-GULP-PRODE, 1997)

Sharing Revisited. - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (APPIA-GULP-PRODE, 1997)

Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. - Roberto Bagnara; Peter Schachte (APPIA-GULP-PRODE, 1998)

The Correctness of Set-Sharing. - Patricia M. Hill; Roberto Bagnara; Enea Zaffanella (APPIA-GULP-PRODE, 1998)

A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages. - Roberto Bagnara (Sci. Comput. Program., 1998)

Enhancing Sharing for Precision. - Roberto Bagnara; Enea Zaffanella; Patricia M. Hill (APPIA-GULP-PRODE, 1999)

Widening Sharing. - Enea Zaffanella; Roberto Bagnara; Patricia M. Hill (APPIA-GULP-PRODE, 1999)

Efficient Structural Information Analysis for Real CLP Languages. - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (LPAR, 2000)

Boolean functions for finite-tree dependencies. - Roberto Bagnara; Enea Zaffanella; Roberta Gori; Patricia M. Hill (APPIA-GULP-PRODE, 2001)

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. - Roberto Bagnara; Elisa Ricci 002; Enea Zaffanella; Patricia M. Hill (SAS, 2002)

Set-sharing is redundant for pair-sharing. - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (Theor. Comput. Sci., 2002)

Soundness, idempotence and commutativity of set-sharing. - Patricia M. Hill; Roberto Bagnara; Enea Zaffanella (Theory Pract. Log. Program., 2002)

Decomposing non-redundant sharing by complementation. - Enea Zaffanella; Patricia M. Hill; Roberto Bagnara (Theory Pract. Log. Program., 2002)

Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) - Roberto Bagnara; Patricia M. Hill; Elena Mazzi; Enea Zaffanella (CoRR, 2004)

Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version - Roberto Bagnara; Roberta Gori; Patricia M. Hill; Enea Zaffanella (CoRR, 2004)

Finite-tree analysis for constraint logic-based languages. - Roberto Bagnara; Roberta Gori; Patricia M. Hill; Enea Zaffanella (Inf. Comput., 2004)

A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. - Patricia M. Hill; Enea Zaffanella; Roberto Bagnara (Theory Pract. Log. Program., 2004)

Widening Operators for Weakly-Relational Numeric Abstractions. - Roberto Bagnara; Patricia M. Hill; Elena Mazzi; Enea Zaffanella (SAS, 2005)

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. - Roberto Bagnara; Enric Rodríguez-Carbonell; Enea Zaffanella (SAS, 2005)

PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis - Roberto Bagnara; Andrea Pescetti; Alessandro Zaccagnini; Enea Zaffanella (CoRR, 2005)

Not necessarily closed convex polyhedra and the double description method. - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (Formal Aspects Comput., 2005)

Precise widening operators for convex polyhedra. - Roberto Bagnara; Patricia M. Hill; Elisa Ricci 002; Enea Zaffanella (Sci. Comput. Program., 2005)

Enhanced sharing analysis techniques: a comprehensive evaluation. - Roberto Bagnara; Enea Zaffanella; Patricia M. Hill (Theory Pract. Log. Program., 2005)

cTI: A constraint-based termination inference tool for ISO-Prolog. - Frédéric Mesnard; Roberto Bagnara (Theory Pract. Log. Program., 2005)

Grids: A Domain for Analyzing the Distribution of Numerical Values. - Roberto Bagnara; Katy Louise Dobson; Patricia M. Hill; Matthew Mundell; Enea Zaffanella (LOPSTR, 2006)

A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (CoRR, 2007)

On the Design of Generic Static Analyzers for Modern Imperative Languages - Roberto Bagnara; Patricia M. Hill; Andrea Pescetti; Enea Zaffanella (CoRR, 2007)

Widening operators for powerset domains. - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (Int. J. Softw. Tools Technol. Transf., 2007)

An Improved Tight Closure Algorithm for Integer Octagonal Constraints. - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (VMCAI, 2008)

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 (Sci. Comput. Program., 2008)

Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (Formal Methods Syst. Des., 2009)

Applications of polyhedral computations to the analysis and verification of hardware and software systems. - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (Theor. Comput. Sci., 2009)

Exact join detection for convex polyhedra and other numerical abstractions. - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (Comput. Geom., 2010)

The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version - Roberto Bagnara; Fred Mesnard; Andrea Pescetti; Enea Zaffanella (CoRR, 2010)

A new look at the automatic synthesis of linear ranking functions. - Roberto Bagnara; Fred Mesnard; Andrea Pescetti; Enea Zaffanella (Inf. Comput., 2012)

Coding guidelines for Prolog. - Michael A. Covington; Roberto Bagnara; Richard A. O'Keefe; Jan Wielemaker; Simon Price (Theory Pract. Log. Program., 2012)

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. - Roberto Bagnara; Matthieu Carlier; Roberta Gori; Arnaud Gotlieb (ICST, 2013)

Eventual linear ranking functions. - Roberto Bagnara; Fred Mesnard (PPDP, 2013)

Filtering Floating-Point Constraints by Maximum ULP. - Roberto Bagnara; Matthieu Carlier; Roberta Gori; Arnaud Gotlieb (CoRR, 2013)

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems - Nicos Angelopoulos; Roberto Bagnara (CoRR, 2013)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages. - Roberto Bagnara; Abramo Bagnara; Alessandro Benedetti; Patricia M. Hill (CoRR, 2016)

A Practical Approach to Interval Refinement for math.h/cmath Functions. - Roberto Bagnara; Michele Chiari; Roberta Gori; Abramo Bagnara (CoRR, 2016)

Exploiting Binary Floating-Point Representations for Constraint Propagation. - Roberto Bagnara; Matthieu Carlier; Roberta Gori; Arnaud Gotlieb (INFORMS J. Comput., 2016)

MISRA C, for Security's Sake! - Roberto Bagnara (CoRR, 2017)

The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. - Roberto Bagnara; Abramo Bagnara; Patricia M. Hill (SAS, 2018)

That's C, baby. C! - Roberto Bagnara (CoRR, 2019)

BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards. - Roberto Bagnara; Michael Barr; Patricia M. Hill (CoRR, 2020)

A Rationale-Based Classification of MISRA C Guidelines. - Roberto Bagnara; Abramo Bagnara; Patricia M. Hill (CoRR, 2021)

A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions. - Roberto Bagnara; Michele Chiari; Roberta Gori; Abramo Bagnara (ACM Trans. Softw. Eng. Methodol., 2021)

Correct approximation of IEEE 754 floating-point arithmetic for program verification. - Roberto Bagnara; Abramo Bagnara; Fabio Biselli; Michele Chiari; Roberta Gori (Constraints An Int. J., 2022)

Coding Guidelines and Undecidability. - Roberto Bagnara; Abramo Bagnara; Patricia M. Hill (CoRR, 2022)

A Machine Learning Approach for Source Code Similarity via Graph-Focused Features. - Giacomo Boldini; Alessio Diana; Vincenzo Arceri; Vincenzo Bonnici; Roberto Bagnara (LOD (1), 2023)

C-rusted: The Advantages of Rust, in C, without the Disadvantages. - Roberto Bagnara; Abramo Bagnara; Federico Serafini (CoRR, 2023)

The ACPATH Structural Complexity Metric. - Roberto Bagnara; Abramo Bagnara; Alessandro Benedetti; Patricia M. Hill (QRS, 2024)

C-Rusted: Safe and Secure Programming in Standard C. - Roberto Bagnara; Abramo Bagnara; Federico Serafini; Nicola Vetrini (QRS Companion, 2024)