Roberto Bagnara

According to our database, Roberto Bagnara authored at least 62 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The ACPATH Structural Complexity Metric.

Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

2023

C-rusted: The Advantages of Rust, in C, without the Disadvantages.

Roberto Bagnara, Abramo Bagnara, Federico Serafini

CoRR, 2023

A Machine Learning Approach for Source Code Similarity via Graph-Focused Features.

Giacomo Boldini, Alessio Diana, Vincenzo Arceri, Vincenzo Bonnici, Roberto Bagnara

Proceedings of the Machine Learning, Optimization, and Data Science, 2023

2022

Coding Guidelines and Undecidability.

Roberto Bagnara, Abramo Bagnara, Patricia M. Hill

CoRR, 2022

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

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

A Rationale-Based Classification of MISRA C Guidelines.

Roberto Bagnara, Abramo Bagnara, Patricia M. Hill

CoRR, 2021

2020

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

2019

That's C, baby. C!

Roberto Bagnara

CoRR, 2019

2018

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

Proceedings of the Static Analysis - 25th International Symposium, 2018

2017

MISRA C, for Security's Sake!

Roberto Bagnara

CoRR, 2017

2016

Exploiting Binary Floating-Point Representations for Constraint Propagation.

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

INFORMS J. Comput., 2016

A Practical Approach to Interval Refinement for math.h/cmath Functions.

Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara

CoRR, 2016

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

2013

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Nicos Angelopoulos, Roberto Bagnara

CoRR, 2013

Filtering Floating-Point Constraints by Maximum ULP.

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

CoRR, 2013

Eventual linear ranking functions.

Roberto Bagnara, Fred Mesnard

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs.

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Coding guidelines for Prolog.

Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price

Theory Pract. Log. Program., 2012

A new look at the automatic synthesis of linear ranking functions.

Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella

Inf. Comput., 2012

2010

The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version

Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella

CoRR, 2010

Exact join detection for convex polyhedra and other numerical abstractions.

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Comput. Geom., 2010

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

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

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Formal Methods Syst. Des., 2009

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

An Improved Tight Closure Algorithm for Integer Octagonal Constraints.

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Proceedings of the Verification, 2008

2007

Widening operators for powerset domains.

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Int. J. Softw. Tools Technol. Transf., 2007

On the Design of Generic Static Analyzers for Modern Imperative Languages

Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella

CoRR, 2007

A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

CoRR, 2007

2006

Grids: A Domain for Analyzing the Distribution of Numerical Values.

Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

2005

cTI: A constraint-based termination inference tool for ISO-Prolog.

Frédéric Mesnard, Roberto Bagnara

Theory Pract. Log. Program., 2005

Enhanced sharing analysis techniques: a comprehensive evaluation.

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill

Theory Pract. Log. Program., 2005

Precise widening operators for convex polyhedra.

Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella

Sci. Comput. Program., 2005

Not necessarily closed convex polyhedra and the double description method.

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Formal Aspects Comput., 2005

PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis

Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella

CoRR, 2005

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra.

Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella

Proceedings of the Static Analysis, 12th International Symposium, 2005

Widening Operators for Weakly-Relational Numeric Abstractions.

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella

Proceedings of the Static Analysis, 12th International Symposium, 2005

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

Finite-tree analysis for constraint logic-based languages.

Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella

Inf. Comput., 2004

Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version

Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella

CoRR, 2004

Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella

CoRR, 2004

2002

Decomposing non-redundant sharing by complementation.

Enea Zaffanella, Patricia M. Hill, Roberto Bagnara

Theory Pract. Log. Program., 2002

Soundness, idempotence and commutativity of set-sharing.

Patricia M. Hill, Roberto Bagnara, Enea Zaffanella

Theory Pract. Log. Program., 2002

Set-sharing is redundant for pair-sharing.

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Theor. Comput. Sci., 2002

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library.

Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill

Proceedings of the Static Analysis, 9th International Symposium, 2002

2001

Boolean functions for finite-tree dependencies.

Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Efficient Structural Information Analysis for Real CLP Languages.

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999

Widening Sharing.

Enea Zaffanella, Roberto Bagnara, Patricia M. Hill

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

Enhancing Sharing for Precision.

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages.

Roberto Bagnara

Sci. Comput. Program., 1998

The Correctness of Set-Sharing.

Patricia M. Hill, Roberto Bagnara, Enea Zaffanella

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos.

Roberto Bagnara, Peter Schachte

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Sharing Revisited.

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

Structural Information Analysis for CLP Languages.

Roberto Bagnara

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

A Reactive Implementation of Pos Using ROBDDs.

Roberto Bagnara

Proceedings of the Programming Languages: Implementations, 1996

The And-compositionality of CLP Computed Answer Constraints.

Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

Straight ROBDDs are not the Best for Pos.

Roberto Bagnara

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods.

Roberto Bagnara

SIAM Rev., 1995

Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages.

Roberto Bagnara

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs.

Roberto Bagnara

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs.

Roberto Bagnara

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1992

Static Analysis of CLP Programs over Numeric Domains.

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992