Giorgio Delzanno

Giorgio Delzanno

Università degli Studi di Genova - Genoa / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1805884
University of Genoa
person_outline Giorgio Delzanno's MOST POPULAR ARTICLES
1-) Model checking in CLPG Delzanno, A PodelskiInternational Conference on Tools and Algorithms for the Construction and …, 19992391999
2-) Automatic verification of parameterized cache coherence protocolsG DelzannoInternational Conference on Computer Aided Verification, 53-68, 20002212000
3-) Regular model checking without transducers (on efficient verification of parameterized systems)PA Abdulla, G Delzanno, NB Henda, A RezineInternational Conference on Tools and Algorithms for the Construction and …, 20071222007
4-) Constraint-based deductive model checkingG Delzanno, A PodelskiInternational Journal on Software Tools for Technology Transfer 3, 250-270, 20011212001
5-) Parameterized verification of ad hoc networksG Delzanno, A Sangnier, G ZavattaroCONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 20101202010