Person: Enea Zaffanella

DBLP: Zaffanella:Enea

Contributed to:

2008

2006

2005

2004

2003

2002

2001

2000

1999

1999

1998

1997

1994

2018

Wrote 15 papers:

VMCAI-2008-BagnaraHZ #algorithm #constraints #integer

An Improved Tight Closure Algorithm for Integer Octagonal Constraints (RB, PMH, EZ), pp. 8–21.

LOPSTR-2006-BagnaraDHMZ #named

Grids: A Domain for Analyzing the Distribution of Numerical Values (RB, KD, PMH, MM, EZ), pp. 219–235.

SAS-2005-BagnaraHMZ #abstraction

Widening Operators for Weakly-Relational Numeric Abstractions (RB, PMH, EM, EZ), pp. 3–18.

SAS-2005-BagnaraRZ #algebra #generative #invariant #using

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (RB, ERC, EZ), pp. 19–34.

VMCAI-2004-BagnaraHZ #set

Widening Operators for Powerset Domains (RB, PMH, EZ), pp. 135–148.

SAS-2003-BagnaraHRZ #precise

Precise Widening Operators for Convex Polyhedra (RB, PMH, ER, EZ), pp. 337–354.

SAS-2002-BagnaraRZH #library

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library (RB, ER, EZ, PMH), pp. 213–229.

SAS-2001-BagnaraGHZ #analysis #constraints

Finite-Tree Analysis for Constraint Logic-Based Languages (RB, RG, PMH, EZ), pp. 165–184.

PPDP-2000-BagnaraZH #analysis #evaluation

Enhanced sharing analysis techniques: a comprehensive evaluation (RB, EZ, PMH), pp. 103–114.

PPDP-1999-ZaffanellaBH

Widening Sharing (EZ, RB, PMH), pp. 414–432.

SAS-1999-ZaffanellaHB

Decomposing Non-redundant Sharing by Complementation (EZ, PMH, RB), pp. 69–84.

SAS-1998-HillBZ #correctness

The Correctness of Set-Sharing (PMH, RB, EZ), pp. 99–114.

SAS-1997-BagnaraHZ

Set-Sharing is Redundant for Pair-Sharing (RB, PMH, EZ), pp. 53–67.

PLILP-1994-ZffanellaGL #concurrent #constraints #programming

Abstracting Synchronization in Concurrent Constraint Programming (EZ, RG, GL), pp. 57–72.

CAV-2018-BecchiZ #encoding

A Direct Encoding for NNC Polyhedra (AB, EZ), pp. 230–248.