E. Zaffanella

发表

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library

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

PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis pdf

Roberto Bagnara, Enea Zaffanella, Alessandro Zaccagnini, 2005, ArXiv.

Widening operators for powerset domains

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

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

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

An Efficient and Precise Finite-Tree Analysis for Constraint Logic-Based Languages 1

Roberto Bagnara, E. Zaffanella, 2002 .

Correctness, precision and efficiency in the sharing analysis of real logic languages

Enea Zaffanella, E. Zaffanella, 2001 .

A New Encoding of Not Necessarily Closed Convex Polyhedra ⋆ Extended Abstract

Roberto Bagnara, E. Zaffanella, 2002 .

Decoupling the ascending and descending phases in Abstract Interpretation

E. Zaffanella, Isabella Mastroeni, Vincenzo Arceri, 2022, ArXiv.

Decoupling the ascending and descending phases in Abstract Interpretation

E. Zaffanella, Isabella Mastroeni, Vincenzo Arceri, 2022, APLAS.

Exact join detection for convex polyhedra and other numerical abstractions pdf

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

Abstracting Synchronization in Concurrent Constraint Programming

Roberto Giacobazzi, Giorgio Levi, Enea Zaffanella, 1994, J. Funct. Log. Program..

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

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

Domain Independent Ask Approximation in CCP

Enea Zaffanella, E. Zaffanella, 1995, CP.

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..

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.

Set-sharing is redundant for pair-sharing

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

Revisiting Polyhedral Analysis for Hybrid Systems

Enea Zaffanella, Anna Becchi, E. Zaffanella, 2019, SAS.

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra

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

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.

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 .

A Direct Encoding for NNC Polyhedra

Enea Zaffanella, Anna Becchi, E. Zaffanella, 2018, CAV.

Widening operators for powerset domains

Roberto Bagnara, E. Zaffanella, Patricia M. Hill, 2007, International Journal on Software Tools for Technology Transfer.

Widening operators for powerset domains

P. Hill, Roberto Bagnara, E. Zaffanella, 2004, International Journal on Software Tools for Technology Transfer.

Finite-tree analysis for constraint logic-based languages

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

Soundness, idempotence and commutativity of set-sharing

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

The Correctness of Set-Sharing

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

Boolean functions for finite-tree dependencies

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

Sharing Revisited

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

Under Consideration for Publication in Theory and Practice of Logic Programming a Correct, Precise and Efficient Integration of Set-sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages *

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

Under Consideration for Publication in Theory and Practice of Logic Programming Decomposing Non-redundant Sharing by Complementation

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

Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, 2009, Formal Methods Syst. Des..

An Improved Tight Closure Algorithm for Integer Octagonal Constraints

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