Roberto Bagnara

89 papers A 1B 13C 5Journal 51Unranked 19

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	C-Rusted: Safe and Secure Programming in Standard C. QRS Companion Roberto Bagnara, Abramo Bagnara, Federico Serafini, Nicola Vetrini
2024	C	`conf`	The ACPATH Structural Complexity Metric. QRS Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill
2023	—	`conf`	A Machine Learning Approach for Source Code Similarity via Graph-Focused Features. LOD (1) Giacomo Boldini, Alessio Diana, Vincenzo Arceri, Vincenzo Bonnici, Roberto Bagnara
2023	J	`jnl`	C-rusted: The Advantages of Rust, in C, without the Disadvantages. CoRR Roberto Bagnara, Abramo Bagnara, Federico Serafini
2022	J	`jnl`	Coding Guidelines and Undecidability. CoRR Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
2022	J	`jnl`	Correct approximation of IEEE 754 floating-point arithmetic for program verification. Constraints An Int. J. Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
2021	J	`jnl`	A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions. ACM Trans. Softw. Eng. Methodol. Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
2021	J	`jnl`	A Rationale-Based Classification of MISRA C Guidelines. CoRR Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
2020	J	`jnl`	BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards. CoRR Roberto Bagnara, Michael Barr, Patricia M. Hill
2019	J	`jnl`	Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification. CoRR Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
2019	J	`jnl`	That's C, baby. C! CoRR Roberto Bagnara
2018	B	`conf`	The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. SAS Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
2018	J	`jnl`	The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. CoRR Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
2017	J	`jnl`	MISRA C, for Security's Sake! CoRR Roberto Bagnara
2016	J	`jnl`	A Practical Approach to Interval Refinement for math.h/cmath Functions. CoRR Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
2016	J	`jnl`	Exploiting Binary Floating-Point Representations for Constraint Propagation. INFORMS J. Comput. Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
2016	J	`jnl`	The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages. CoRR Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill
2013	J	`jnl`	Eventual Linear Ranking Functions. CoRR Roberto Bagnara, Fred Mesnard
2013	C	`conf`	Eventual linear ranking functions. PPDP Roberto Bagnara, Fred Mesnard
2013	J	`jnl`	Filtering Floating-Point Constraints by Maximum ULP. CoRR Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
2013	J	`jnl`	Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems CoRR Nicos Angelopoulos, Roberto Bagnara
2013	A	`conf`	Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. ICST Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
2012	J	`jnl`	A new look at the automatic synthesis of linear ranking functions. Inf. Comput. Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
2012	J	`jnl`	Coding guidelines for Prolog. Theory Pract. Log. Program. Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price
2010	J	`jnl`	Exact join detection for convex polyhedra and other numerical abstractions. Comput. Geom. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2010	J	`jnl`	The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version CoRR Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
2009	J	`jnl`	Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theor. Comput. Sci. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2009	J	`jnl`	Coding Guidelines for Prolog CoRR Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price
2009	J	`jnl`	Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions CoRR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2009	J	`jnl`	Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. Formal Methods Syst. Des. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2008	B	`conf`	An Improved Tight Closure Algorithm for Integer Octagonal Constraints. VMCAI Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2008	J	`jnl`	The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2007	J	`jnl`	A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) CoRR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2007	J	`jnl`	An Improved Tight Closure Algorithm for Integer Octagonal Constraints CoRR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2007	J	`jnl`	Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems CoRR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2007	J	`jnl`	On the Design of Generic Static Analyzers for Modern Imperative Languages CoRR Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella
2007	J	`jnl`	Widening operators for powerset domains. Int. J. Softw. Tools Technol. Transf. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2006	C	`conf`	Grids: A Domain for Analyzing the Distribution of Numerical Values. LOPSTR Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella
2006	J	`jnl`	The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems CoRR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2006	J	`jnl`	Widening operators for powerset domains. Int. J. Softw. Tools Technol. Transf. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2005	J	`jnl`	Enhanced sharing analysis techniques: a comprehensive evaluation. Theory Pract. Log. Program. Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
2005	B	`conf`	Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella
2005	J	`jnl`	Not necessarily closed convex polyhedra and the double description method. Formal Aspects Comput. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2005	J	`jnl`	PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis CoRR Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella
2005	J	`jnl`	Precise widening operators for convex polyhedra. Sci. Comput. Program. Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
2005	B	`conf`	Widening Operators for Weakly-Relational Numeric Abstractions. SAS Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
2005	J	`jnl`	cTI: A constraint-based termination inference tool for ISO-Prolog. Theory Pract. Log. Program. Frédéric Mesnard, Roberto Bagnara
2004	J	`jnl`	A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages CoRR Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
2004	J	`jnl`	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. Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
2004	J	`jnl`	Enhanced sharing analysis techniques: a comprehensive evaluation CoRR Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
2004	J	`jnl`	Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version CoRR Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
2004	J	`jnl`	Finite-tree analysis for constraint logic-based languages. Inf. Comput. Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
2004	B	`conf`	Widening Operators for Powerset Domains. VMCAI Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2004	J	`jnl`	Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) CoRR Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
2003	B	`conf`	Precise Widening Operators for Convex Polyhedra. SAS Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
2003	J	`jnl`	cTI: A constraint-based termination inference tool for ISO-Prolog CoRR Frédéric Mesnard, Roberto Bagnara
2002	J	`jnl`	Decomposing non-redundant sharing by complementation. Theory Pract. Log. Program. Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
2002	B	`conf`	Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. SAS Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill
2002	J	`jnl`	Set-sharing is redundant for pair-sharing. Theor. Comput. Sci. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2002	J	`jnl`	Soundness, idempotence and commutativity of set-sharing. Theory Pract. Log. Program. Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
2001	B	`conf`	Boolean Functions for Finite-Tree Dependencies. LPAR Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill
2001	—	`conf`	Boolean functions for finite-tree dependencies. APPIA-GULP-PRODE Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill
2001	J	`jnl`	Decomposing Non-Redundant Sharing by Complementation CoRR Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
2001	B	`conf`	Finite-Tree Analysis for Constraint Logic-Based Languages. SAS Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
2001	—	`conf`	Finite-tree analysis for constraint logic-based languages. APPIA-GULP-PRODE Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
2001	J	`jnl`	Soundness, Idempotence and Commutativity of Set-Sharing CoRR Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
2000	B	`conf`	Efficient Structural Information Analysis for Real CLP Languages. LPAR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2000	C	`conf`	Enhanced sharing analysis techniques: a comprehensive evaluation. PPDP Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
1999	B	`conf`	Decomposing Non-redundant Sharing by Complementation. SAS Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
1999	—	`conf`	Enhancing Sharing for Precision. APPIA-GULP-PRODE Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
1999	—	`conf`	Widening Sharing. APPIA-GULP-PRODE Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
1999	C	`conf`	Widening Sharing. PPDP Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
1998	J	`jnl`	A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages. Sci. Comput. Program. Roberto Bagnara
1998	—	`conf`	Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. APPIA-GULP-PRODE Roberto Bagnara, Peter Schachte
1998	—	`conf`	Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. AMAST Roberto Bagnara, Peter Schachte
1998	—	`conf`	The Correctness of Set-Sharing. APPIA-GULP-PRODE Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
1998	B	`conf`	The Correctness of Set-Sharing. SAS Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
1997	B	`conf`	Set-Sharing is Redundant for Pair-Sharing. SAS Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
1997	—	`conf`	Sharing Revisited. APPIA-GULP-PRODE Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
1997	—	`conf`	Structural Information Analysis for CLP Languages. APPIA-GULP-PRODE Roberto Bagnara
1996	—	`conf`	A Reactive Implementation of Pos Using ROBDDs. PLILP Roberto Bagnara
1996	—	`conf`	Straight ROBDDs are not the Best for Pos. APPIA-GULP-PRODE Roberto Bagnara
1996	—	`conf`	The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella
1995	J	`jnl`	A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods. SIAM Rev. Roberto Bagnara
1995	—	`conf`	Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. GULP-PRODE Roberto Bagnara
1995	—	`conf`	Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. CCP Roberto Bagnara
1994	—	`conf`	On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs. GULP-PRODE (1) Roberto Bagnara
1994	—	`conf`	On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Roberto Bagnara
1992	—	`conf`	Static Analysis of CLP Programs over Numeric Domains. WSA Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi