![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Roberto Bagnara
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c36]Giacomo Boldini
, Alessio Diana
, Vincenzo Arceri
, Vincenzo Bonnici
, Roberto Bagnara
:
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features. LOD (1) 2023: 53-67 - [i29]Roberto Bagnara, Abramo Bagnara, Federico Serafini:
C-rusted: The Advantages of Rust, in C, without the Disadvantages. CoRR abs/2302.05331 (2023) - 2022
- [j22]Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari
, Roberta Gori:
Correct approximation of IEEE 754 floating-point arithmetic for program verification. Constraints An Int. J. 27(1-2): 29-69 (2022) - [i28]Roberto Bagnara, Abramo Bagnara, Patricia M. Hill:
Coding Guidelines and Undecidability. CoRR abs/2212.13933 (2022) - 2021
- [j21]Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara:
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions. ACM Trans. Softw. Eng. Methodol. 30(1): 9:1-9:53 (2021) - [i27]Roberto Bagnara, Abramo Bagnara, Patricia M. Hill:
A Rationale-Based Classification of MISRA C Guidelines. CoRR abs/2112.12823 (2021) - 2020
- [i26]Roberto Bagnara, Michael Barr, Patricia M. Hill:
BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards. CoRR abs/2003.06893 (2020)
2010 – 2019
- 2019
- [i25]Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori:
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification. CoRR abs/1903.06119 (2019) - [i24]Roberto Bagnara:
That's C, baby. C! CoRR abs/1909.06353 (2019) - 2018
- [c35]Roberto Bagnara, Abramo Bagnara, Patricia M. Hill:
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. SAS 2018: 5-23 - [i23]Roberto Bagnara, Abramo Bagnara, Patricia M. Hill:
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. CoRR abs/1809.00821 (2018) - 2017
- [i22]Roberto Bagnara:
MISRA C, for Security's Sake! CoRR abs/1705.03517 (2017) - 2016
- [j20]Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb:
Exploiting Binary Floating-Point Representations for Constraint Propagation. INFORMS J. Comput. 28(1): 31-46 (2016) - [i21]Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara:
A Practical Approach to Interval Refinement for math.h/cmath Functions. CoRR abs/1610.07390 (2016) - [i20]Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill:
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages. CoRR abs/1610.07914 (2016) - 2013
- [c34]Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb:
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. ICST 2013: 1-10 - [c33]Roberto Bagnara, Fred Mesnard:
Eventual linear ranking functions. PPDP 2013: 229-238 - [i19]Nicos Angelopoulos, Roberto Bagnara:
Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems. CoRR abs/1302.0126 (2013) - [i18]Roberto Bagnara, Fred Mesnard:
Eventual Linear Ranking Functions. CoRR abs/1306.1901 (2013) - [i17]Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb:
Filtering Floating-Point Constraints by Maximum ULP. CoRR abs/1308.3847 (2013) - 2012
- [j19]Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
:
A new look at the automatic synthesis of linear ranking functions. Inf. Comput. 215: 47-67 (2012) - [j18]Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker
, Simon Price
:
Coding guidelines for Prolog. Theory Pract. Log. Program. 12(6): 889-927 (2012) - 2010
- [j17]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
:
Exact join detection for convex polyhedra and other numerical abstractions. Comput. Geom. 43(5): 453-473 (2010) - [i16]Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella:
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version. CoRR abs/1004.0944 (2010)
2000 – 2009
- 2009
- [j16]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
:
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. Formal Methods Syst. Des. 35(3): 279-323 (2009) - [j15]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
:
Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theor. Comput. Sci. 410(46): 4672-4691 (2009) - [i15]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions. CoRR abs/0904.1783 (2009) - [i14]Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price:
Coding Guidelines for Prolog. CoRR abs/0911.2899 (2009) - 2008
- [j14]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
:
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1-2): 3-21 (2008) - [c32]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
:
An Improved Tight Closure Algorithm for Integer Octagonal Constraints. VMCAI 2008: 8-21 - 2007
- [j13]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
:
Widening operators for powerset domains. Int. J. Softw. Tools Technol. Transf. 9(3-4): 413-414 (2007) - [i13]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
An Improved Tight Closure Algorithm for Integer Octagonal Constraints. CoRR abs/0705.4618 (2007) - [i12]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract). CoRR abs/0711.0345 (2007) - [i11]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems. CoRR abs/cs/0701122 (2007) - [i10]Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella:
On the Design of Generic Static Analyzers for Modern Imperative Languages. CoRR abs/cs/0703116 (2007) - 2006
- [j12]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
:
Widening operators for powerset domains. Int. J. Softw. Tools Technol. Transf. 8(4-5): 449-466 (2006) - [c31]Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella:
Grids: A Domain for Analyzing the Distribution of Numerical Values. LOPSTR 2006: 219-235 - [i9]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems. CoRR abs/cs/0612085 (2006) - 2005
- [j11]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
:
Not necessarily closed convex polyhedra and the double description method. Formal Aspects Comput. 17(2): 222-257 (2005) - [j10]Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
:
Precise widening operators for convex polyhedra. Sci. Comput. Program. 58(1-2): 28-56 (2005) - [j9]Roberto Bagnara, Enea Zaffanella
, Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation. Theory Pract. Log. Program. 5(1-2): 1-43 (2005) - [j8]Frédéric Mesnard, Roberto Bagnara:
cTI: A constraint-based termination inference tool for ISO-Prolog. Theory Pract. Log. Program. 5(1-2): 243-257 (2005) - [c30]Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
:
Widening Operators for Weakly-Relational Numeric Abstractions. SAS 2005: 3-18 - [c29]Roberto Bagnara, Enric Rodríguez-Carbonell
, Enea Zaffanella
:
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS 2005: 19-34 - [i8]Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella:
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis. CoRR abs/cs/0512056 (2005) - 2004
- [j7]Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
:
Finite-tree analysis for constraint logic-based languages. Inf. Comput. 193(2): 84-116 (2004) - [j6]Patricia M. Hill, Enea Zaffanella
, Roberto Bagnara:
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. 4(3): 289-323 (2004) - [c28]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Widening Operators for Powerset Domains. VMCAI 2004: 135-148 - [i7]Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella:
Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract). CoRR abs/cs/0412043 (2004) - [i6]Patricia M. Hill, Enea Zaffanella, Roberto Bagnara:
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. CoRR cs.PL/0401021 (2004) - [i5]Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation. CoRR cs.PL/0401022 (2004) - [i4]Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version. CoRR cs.PL/0404055 (2004) - 2003
- [c27]Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella:
Precise Widening Operators for Convex Polyhedra. SAS 2003: 337-354 - [i3]Frédéric Mesnard, Roberto Bagnara:
cTI: A constraint-based termination inference tool for ISO-Prolog. CoRR cs.PL/0309028 (2003) - 2002
- [j5]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
:
Set-sharing is redundant for pair-sharing. Theor. Comput. Sci. 277(1-2): 3-46 (2002) - [j4]Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
:
Soundness, idempotence and commutativity of set-sharing. Theory Pract. Log. Program. 2(2): 155-201 (2002) - [j3]Enea Zaffanella
, Patricia M. Hill, Roberto Bagnara:
Decomposing non-redundant sharing by complementation. Theory Pract. Log. Program. 2(2): 233-261 (2002) - [c26]Roberto Bagnara, Elisa Ricci, Enea Zaffanella
, Patricia M. Hill:
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. SAS 2002: 213-229 - 2001
- [c25]Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
Finite-tree analysis for constraint logic-based languages. APPIA-GULP-PRODE 2001: 63-79 - [c24]Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill:
Boolean functions for finite-tree dependencies. APPIA-GULP-PRODE 2001: 81-96 - [c23]Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill:
Boolean Functions for Finite-Tree Dependencies. LPAR 2001: 579-594 - [c22]Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
Finite-Tree Analysis for Constraint Logic-Based Languages. SAS 2001: 165-184 - [i2]Enea Zaffanella, Patricia M. Hill, Roberto Bagnara:
Decomposing Non-Redundant Sharing by Complementation. CoRR cs.PL/0101025 (2001) - [i1]Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
Soundness, Idempotence and Commutativity of Set-Sharing. CoRR cs.PL/0102030 (2001) - 2000
- [c21]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Efficient Structural Information Analysis for Real CLP Languages. LPAR 2000: 189-206 - [c20]Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation. PPDP 2000: 103-114
1990 – 1999
- 1999
- [c19]Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
Enhancing Sharing for Precision. APPIA-GULP-PRODE 1999: 213-228 - [c18]Enea Zaffanella, Roberto Bagnara, Patricia M. Hill:
Widening Sharing. APPIA-GULP-PRODE 1999: 559-574 - [c17]Enea Zaffanella, Roberto Bagnara, Patricia M. Hill:
Widening Sharing. PPDP 1999: 414-432 - [c16]Enea Zaffanella
, Patricia M. Hill, Roberto Bagnara:
Decomposing Non-redundant Sharing by Complementation. SAS 1999: 69-84 - 1998
- [j2]Roberto Bagnara:
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages. Sci. Comput. Program. 30(1-2): 119-155 (1998) - [c15]Roberto Bagnara, Peter Schachte:
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. APPIA-GULP-PRODE 1998: 227-240 - [c14]Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
The Correctness of Set-Sharing. APPIA-GULP-PRODE 1998: 255-268 - [c13]Roberto Bagnara, Peter Schachte
:
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. AMAST 1998: 471-485 - [c12]Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
The Correctness of Set-Sharing. SAS 1998: 99-114 - 1997
- [c11]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Sharing Revisited. APPIA-GULP-PRODE 1997: 69-80 - [c10]Roberto Bagnara:
Structural Information Analysis for CLP Languages. APPIA-GULP-PRODE 1997: 81-92 - [c9]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Set-Sharing is Redundant for Pair-Sharing. SAS 1997: 53-67 - 1996
- [c8]Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella:
The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE 1996: 355-366 - [c7]Roberto Bagnara:
Straight ROBDDs are not the Best for Pos. APPIA-GULP-PRODE 1996: 493-498 - [c6]Roberto Bagnara:
A Reactive Implementation of Pos Using ROBDDs. PLILP 1996: 107-121 - 1995
- [j1]Roberto Bagnara:
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods. SIAM Rev. 37(1): 93-97 (1995) - [c5]Roberto Bagnara:
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. GULP-PRODE 1995: 581-592 - [c4]Roberto Bagnara:
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. CCP 1995: 9:1-9:18 - 1994
- [c3]Roberto Bagnara:
On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs. GULP-PRODE (1) 1994: 312-326 - [c2]Roberto Bagnara:
On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - 1992
- [c1]Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi:
Static Analysis of CLP Programs over Numeric Domains. WSA 1992: 43-50
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-26 19:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint