R. Bagnara

发表

Universit a Di Pisa a Reactive Implementation of Textitpos Using Robdds a Reactive Implementation of Pos Using Robdds

R. Bagnara, 1996 .

Data-Flow Analysis for Constraint Logic-Based Languages

Roberto Bagnara, Tim Berners-Lee, Andre Bogaerts, 1999 .

THE VALET-PLUS EMBEDDED IN LARGE PHYSICS EXPERIMENTS

Roberto Bagnara, Tim Berners-Lee, W. Carena, 1988 .

Filtering Floating-Point Constraints by Maximum ULP

A. Gotlieb, R. Gori, R. Bagnara, 2013, ArXiv.

Exact join detection for convex polyhedra and other numerical abstractions pdf

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 2009, Comput. Geom..

An application of constraint propagation to data-flow analysis

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi, 1993, Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications.

Static Analysis of CLP Programs over Numeric Domains

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi, 1992, WSA.

A Linear Domain for Analyzing the Distribution of Numerical Values 1 by

P. Hill, Roberto Bagnara, E. Zaffanella, 2005 .

Finite-Tree Analysisfor Constraint Logi-Based Languages ?

P. Hill, Roberto Bagnara, R. Gori, 2001 .

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 2006, Sci. Comput. Program..

Precise widening operators for convex polyhedra

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 2003, Sci. Comput. Program..

Verification of C Programs Via Natural Semantics and Abstract Interpretation (Extended Abstract)

P. Hill, Roberto Bagnara, E. Zaffanella, 2007 .

On the Design of Generic Static Analyzers for Modern Imperative Languages pdf

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 2007, ArXiv.

Grids: A Domain for Analyzing the Distribution of Numerical Values

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 2006, LOPSTR.

Widening Sharing

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 1999, APPIA-GULP-PRODE.

Fe b 20 23 Crusted : The Advantages of Rust , in C , without the Disadvantages ( Extended Abstract )

R. Bagnara, Federico Serafini, 2023 .

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

Arnaud Gotlieb, Roberto Bagnara, Roberta Gori, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

Set-sharing is redundant for pair-sharing

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 1997, Theor. Comput. Sci..

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

Roberto Bagnara, Roberto Bagnara, R. Bagnara, 1998, Sci. Comput. Program..

Eventual linear ranking functions pdf

Frédéric Mesnard, Roberto Bagnara, F. Mesnard, 2013, PPDP.

A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions

Roberto Bagnara, Abramo Bagnara, Roberta Gori, 2020, ACM Trans. Softw. Eng. Methodol..

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

Roberto Bagnara, Abramo Bagnara, Roberta Gori, 2016, ArXiv.

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra

Enric Rodríguez-Carbonell, Roberto Bagnara, Enea Zaffanella, 2005, SAS.

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

Roberto Bagnara, R. Bagnara, 1995, SIAM Rev..

A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 2004, Theory and Practice of Logic Programming.

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 2002, SAS.

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

Roberto Bagnara, Nicos Angelopoulos, N. Angelopoulos, 2013, ArXiv.

Exploiting Binary Floating-Point Representations for Constraint Propagation

Arnaud Gotlieb, Roberto Bagnara, Roberta Gori, 2013, INFORMS J. Comput..

A new look at the automatic synthesis of linear ranking functions

Frédéric Mesnard, Roberto Bagnara, Enea Zaffanella, 2012, Inf. Comput..

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

Frédéric Mesnard, Roberto Bagnara, Enea Zaffanella, 2010, ArXiv.

Applications of polyhedral computations to the analysis and verification of hardware and software systems pdf

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 2007, Theor. Comput. Sci..

Not necessarily closed convex polyhedra and the double description method

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 2005, Formal Aspects of Computing.

The Automatic Synthesis of Linear Ranking Functions I

Roberto Bagnara, Enea Zaffanella, Andrea Pescetti, 2010 .