Travelled to:1 × Canada
1 × Cyprus
1 × Denmark
1 × India
1 × Italy
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
2 × Japan
3 × France
3 × Portugal
4 × Spain
5 × Germany
5 × USA
Collaborated with:M.Bozzano M.Martelli ∅ P.A.Abdulla L.V.Begin M.Gabbrielli J.Raskin R.Traverso A.Rezine A.Podelski M.C.Meo A.Sangnier F.Rosa-Velardo N.B.Henda P.Ganty S.Etalle A.Rensink G.Zavattaro R.Carvajal-Schiaffino G.Chiola J.Esparza M.Bugliesi L.Liquori N.Bertrand B.König J.Stückrath V.Mascardi F.Zini
Talks about:verif (13) protocol (9) parameter (7) system (6) logic (5) base (5) program (4) linear (4) broadcast (3) composit (3)
Person: Giorgio Delzanno
DBLP: Delzanno:Giorgio
Contributed to:
2014
2014
2013
2012
201120102009
2008
2007
2007
2007
2005
20052004
20032002200220022001
2001
200120012000200020001999
19991999199619951993Wrote 33 papers:
- GRAPHITE-2014-DelzannoRT #analysis #protocol
- Graph- versus Vector-Based Analysis of a Consensus Protocol (GD, AR, RT), pp. 44–57.
- ICGT-2014-Delzanno #distributed #model checking #protocol #verification
- Parameterized Verification and Model Checking for Distributed Broadcast Protocols (GD), pp. 1–16.
- LATA-2013-DelzannoT #complexity #decidability #network #verification
- Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks (GD, RT), pp. 238–249.
- RTA-2012-BertrandDKSS #decidability #graph transformation #on the #reachability
- On the Decidability Status of Reachability and Coverability in Graph Transformation Systems (NB, GD, BK, AS, JS), pp. 101–116.
- FoSSaCS-2011-DelzannoSZ #ad hoc #clique #network #on the #power of #verification
- On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks (GD, AS, GZ), pp. 441–455.
- LATA-2010-VelardoD #comparison #order #petri net
- Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data (FRV, GD), pp. 524–535.
- LATA-2009-AbdullaDB #comparison #petri net
- A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (PAA, GD, LVB), pp. 71–82.
- VMCAI-2008-AbdullaHDR
- Handling Parameterized Systems with Non-atomic Global Conditions (PAA, NBH, GD, AR), pp. 22–36.
- CAV-2007-AbdullaDR #infinity #process #verification
- Parameterized Verification of Infinite-State Processes with Global Conditions (PAA, GD, AR), pp. 145–157.
- CSL-2007-AbdullaDB #power of
- Comparing the Expressive Power of Well-Structured Transition Systems (PAA, GD, LVB), pp. 99–114.
- TACAS-2007-AbdullaDHR #model checking #performance #transducer #verification
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) (PAA, GD, NBH, AR), pp. 721–736.
- ICALP-2005-DelzannoG #composition #constraints #process #theorem proving #verification
- Compositional Verification of Asynchronous Processes via Constraint Solving (GD, MG), pp. 1239–1250.
- PPDP-2005-DelzannoGM #composition #semantics
- A compositional semantics for CHR (GD, MG, MCM), pp. 209–217.
- TACAS-2004-DelzannoG #automation #encryption #protocol #verification
- Automatic Verification of Time Sensitive Cryptographic Protocols (GD, PG), pp. 342–356.
- ICLP-2003-DelzannoGM #composition #infinity #verification
- Compositional Verification of Infinite State Systems (GD, MG, MCM), pp. 47–48.
- CAV-2002-BozzanoD #algorithm #protocol #verification
- Algorithmic Verification of Invalidation-Based Protocols (MB, GD), pp. 295–308.
- PPDP-2002-BozzanoD #automation #linear #logic #protocol #verification
- Automated protocol verification in linear logic (MB, GD), pp. 38–49.
- TACAS-2002-BozzanoD #verification
- Beyond Parameterized Verification (MB, GD), pp. 221–235.
- TACAS-2002-DelzannoRB #automation #java #parallel #source code #thread #towards #verification
- Towards the Automated Verification of Multithreaded Java Programs (GD, JFR, LVB), pp. 173–187.
- CAV-2001-DelzannoRB #explosion
- Attacking Symbolic State Explosion (GD, JFR, LVB), pp. 298–310.
- FLOPS-2001-BozzanoDM #bottom-up #effectiveness #first-order #linear #logic programming #semantics #source code
- An Effective Bottom-Up Semantics for First-Order Linear Logic Programs (MB, GD, MM), pp. 138–152.
- FLOPS-2001-Delzanno #case study #debugging #prolog #protocol #security #specification
- Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and λ Prolog — A Case-study (GD), pp. 123–137.
- LOPSTR-2001-DelzannoE #debugging #logic programming #protocol #proving #security
- Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols (GD, SE), pp. 76–90.
- TACAS-2001-Carvajal-SchiaffinoDC #bound #petri net #validation
- Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets (RCS, GD, GC), pp. 435–449.
- CAV-2000-Delzanno #automation #protocol #verification
- Automatic Verification of Parameterized Cache Coherence Protocols (GD), pp. 53–68.
- PPDP-2000-BozzanoDM #bottom-up #linear #logic programming #semantics #source code
- A bottom-up semantics for linear logic programs (MB, GD, MM), pp. 92–102.
- TACAS-2000-DelzannoR #representation #set
- Symbolic Representation of Upward-Closed Sets (GD, JFR), pp. 426–440.
- CSL-1999-DelzannoEP #analysis #constraints #protocol
- Constraint-Based Analysis of Broadcast Protocols (GD, JE, AP), pp. 50–66.
- PADL-1999-BozzanoDMMZ #development #enterprise #multi #re-engineering
- Multi-agent Systems Development as a Software Engineering Enterprise (MB, GD, MM, VM, FZ), pp. 46–60.
- TACAS-1999-DelzannoP #model checking
- Model Checking in CLP (GD, AP), pp. 223–239.
- JICSLP-1996-BugliesiDML #calculus #linear #logic
- A Linear Logic Calculus Objects (MB, GD, LL, MM), pp. 67–81.
- ILPS-1995-DelzannoM
- Objects in Forum (GD, MM), pp. 115–129.
- ILPS-1993-DelzannoM #bottom-up #finite
- A Bottom-Up Characterization of Finite Success (GD, MM), p. 676.