BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Luxembourg
1 × United Kingdom
2 × Spain
2 × USA
3 × France
3 × Italy
Collaborated with:
E.Zaffanella P.M.Hill R.Gori F.Mesnard E.Ricci E.Rodríguez-Carbonell R.Giacobazzi G.Levi M.Carlier A.Gotlieb E.Mazzi K.Dobson M.Mundell
Talks about:
share (6) polyhedra (4) widen (4) analysi (3) domain (3) convex (3) numer (3) oper (3) constraint (2) program (2)

Person: Roberto Bagnara

DBLP DBLP: Bagnara:Roberto

Contributed to:

ICST 20132013
PPDP 20132013
VMCAI 20082008
LOPSTR 20062006
SAS 20052005
VMCAI 20042004
SAS 20032003
SAS 20022002
SAS 20012001
PPDP 20002000
PPDP 19991999
SAS 19991999
SAS 19981998
SAS 19971997
PLILP 19961996
WSA 19921992

Wrote 17 papers:

ICST-2013-BagnaraCGG #float #generative #source code #testing
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
PPDP-2013-BagnaraM #linear #ranking
Eventual linear ranking functions (RB, FM), pp. 229–238.
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.
Widening Sharing (EZ, RB, PMH), pp. 414–432.
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.
Set-Sharing is Redundant for Pair-Sharing (RB, PMH, EZ), pp. 53–67.
PLILP-1996-Bagnara #implementation #using
A Reactive Implementation of Pos Using ROBDDs (RB), pp. 107–121.
WSA-1992-BagnaraGL #source code #static analysis
Static Analysis of CLP Programs over Numeric Domains (RB, RG, GL), pp. 43–50.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.