Roberto Bagnara

Orcid: 0000-0002-6163-6278

According to our database1, Roberto Bagnara authored at least 61 papers between 1992 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

A Machine Learning Approach for Source Code Similarity via Graph-Focused Features.
Proceedings of the Machine Learning, Optimization, and Data Science, 2023

2022
Coding Guidelines and Undecidability.
CoRR, 2022

Correct approximation of IEEE 754 floating-point arithmetic for program verification.
Constraints An Int. J., 2022

2021
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions.
ACM Trans. Softw. Eng. Methodol., 2021

A Rationale-Based Classification of MISRA C Guidelines.
CoRR, 2021

2020
BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards.
CoRR, 2020

2019
That's C, baby. C!
CoRR, 2019

2018
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software.
Proceedings of the Static Analysis - 25th International Symposium, 2018

2017
MISRA C, for Security's Sake!
CoRR, 2017

2016
Exploiting Binary Floating-Point Representations for Constraint Propagation.
INFORMS J. Comput., 2016

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

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages.
CoRR, 2016

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

Filtering Floating-Point Constraints by Maximum ULP.
CoRR, 2013

Eventual linear ranking functions.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
Coding guidelines for Prolog.
Theory Pract. Log. Program., 2012

A new look at the automatic synthesis of linear ranking functions.
Inf. Comput., 2012

2010
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
CoRR, 2010

Exact join detection for convex polyhedra and other numerical abstractions.
Comput. Geom., 2010

2009
Applications of polyhedral computations to the analysis and verification of hardware and software systems.
Theor. Comput. Sci., 2009

Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness.
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.
Sci. Comput. Program., 2008

An Improved Tight Closure Algorithm for Integer Octagonal Constraints.
Proceedings of the Verification, 2008

2007
On the Design of Generic Static Analyzers for Modern Imperative Languages
CoRR, 2007

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

2006
Widening operators for powerset domains.
Int. J. Softw. Tools Technol. Transf., 2006

Grids: A Domain for Analyzing the Distribution of Numerical Values.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

2005
cTI: A constraint-based termination inference tool for ISO-Prolog.
Theory Pract. Log. Program., 2005

Enhanced sharing analysis techniques: a comprehensive evaluation.
Theory Pract. Log. Program., 2005

Precise widening operators for convex polyhedra.
Sci. Comput. Program., 2005

Not necessarily closed convex polyhedra and the double description method.
Formal Aspects Comput., 2005

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

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra.
Proceedings of the Static Analysis, 12th International Symposium, 2005

Widening Operators for Weakly-Relational Numeric Abstractions.
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.
Theory Pract. Log. Program., 2004

Finite-tree analysis for constraint logic-based languages.
Inf. Comput., 2004

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

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

2002
Decomposing non-redundant sharing by complementation.
Theory Pract. Log. Program., 2002

Soundness, idempotence and commutativity of set-sharing.
Theory Pract. Log. Program., 2002

Set-sharing is redundant for pair-sharing.
Theor. Comput. Sci., 2002

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library.
Proceedings of the Static Analysis, 9th International Symposium, 2002

2001
Boolean Functions for Finite-Tree Dependencies.
Proceedings of the Logic for Programming, 2001

2000
Efficient Structural Information Analysis for Real CLP Languages.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999
Widening Sharing.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

Enhancing Sharing for Precision.
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.
Sci. Comput. Program., 1998

The Correctness of Set-Sharing.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

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

Structural Information Analysis for CLP Languages.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
A Reactive Implementation of Pos Using ROBDDs.
Proceedings of the Programming Languages: Implementations, 1996

The And-compositionality of CLP Computed Answer Constraints.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

Straight ROBDDs are not the Best for Pos.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

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

Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs.
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.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1992
Static Analysis of CLP Programs over Numeric Domains.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992


  Loading...