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: Bagnara:Roberto
Contributed to:
2013
2013
2008
2006
200520042003200220012000199919991998199719961992Wrote 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.
- 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-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.