Roberto Bagnara
Orcid: 0000-0002-6163-6278
According to our database1,
Roberto Bagnara
authored at least 63 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.unipr.it
On csauthors.net:
Bibliography
2024
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
2023
Proceedings of the Machine Learning, Optimization, and Data Science, 2023
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
2020
BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards.
CoRR, 2020
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
2016
INFORMS J. Comput., 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
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2012
Inf. Comput., 2012
2010
CoRR, 2010
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
Proceedings of the Verification, 2008
2007
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
CoRR, 2007
2006
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006
2005
Theory Pract. Log. Program., 2005
Theory Pract. Log. Program., 2005
Formal Aspects Comput., 2005
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis
CoRR, 2005
Proceedings of the Static Analysis, 12th International Symposium, 2005
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: The Complete Unabridged Version
CoRR, 2004
CoRR, 2004
2002
Theory Pract. Log. Program., 2002
Theory Pract. Log. Program., 2002
Proceedings of the Static Analysis, 9th International Symposium, 2002
2001
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001
2000
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
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
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