Giorgio Delzanno

Cituota

	Visi	Nuo 2020
Šaltiniai	3405	636
h-rodyklė	33	13
i10-rodyklė	74	25

220

110

165

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 55 71 98 86 160 107 95 161 135 164 145 103 171 185 174 143 216 114 119 143 97 142 104 118 146 29

Viešas pasiekiamumas

Peržiūrėti viską

5 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Parosh AbdullaProfessor of Computer Science, Uppsala UniversityPatvirtintas el. paštas it.uu.se
Maurizio MartelliUniversity of GenovaPatvirtintas el. paštas unige.it
Giovanna GuerriniUniversità di GenovaPatvirtintas el. paštas unige.it
Ahmed RezineLinköping UniversityPatvirtintas el. paštas liu.se
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityPatvirtintas el. paštas informatik.uni-freiburg.de
Marco BozzanoFondazione Bruno KesslerPatvirtintas el. paštas fbk.eu
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaPatvirtintas el. paštas cs.unibo.it
Viviana MascardiAssociate Professor, University of Genova, ItalyPatvirtintas el. paštas unige.it
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Patvirtintas el. paštas ulb.ac.be
Maurizio GabbrielliProfessor of Computer Science, University of BolognaPatvirtintas el. paštas cs.unibo.it
Floriano ZiniFree University of Bozen-BolzanoPatvirtintas el. paštas unibz.it
Pierre GantyAssociate Research Professor, IMDEA Software InstitutePatvirtintas el. paštas imdea.org
Javier EsparzaProfessor of Computer Science, Technical University of MunichPatvirtintas el. paštas in.tum.de
Marco MontaliFull Professor in Computer Engineering, Free University of Bozen-BolzanoPatvirtintas el. paštas inf.unibz.it
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaPatvirtintas el. paštas unive.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikPatvirtintas el. paštas uni-due.de
Bianca FedericiUniversity of Genova, ItalyPatvirtintas el. paštas unige.it
Luigi LiquoriDirecteur de Recherche INRIAPatvirtintas el. paštas inria.fr
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Patvirtintas el. paštas unibz.it
Yu-Fang ChenResearch Fellow/Professor, Academia SinicaPatvirtintas el. paštas iis.sinica.edu.tw

Stebėti

Giorgio Delzanno

Associate Professor, Università di Genova

Patvirtintas el. paštas unige.it

Computer Science


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Model checking in CLP G Delzanno, A Podelski International Conference on Tools and Algorithms for the Construction and …, 1999	258	1999
Automatic verification of parameterized cache coherence protocols G Delzanno Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	231	2000
Parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010	129	2010
Regular model checking without transducers (on efficient verification of parameterized systems) PA Abdulla, G Delzanno, NB Henda, A Rezine Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007	129	2007
Constraint-based deductive model checking G Delzanno, A Podelski International Journal on Software Tools for Technology Transfer 3 (3), 250-270, 2001	125	2001
Towards the automated verification of multithreaded Java programs G Delzanno, JF Raskin, L Van Begin International Conference on Tools and Algorithms for the Construction and …, 2002	119	2002
Constraint-based verification of parameterized cache coherence protocols G Delzanno Formal Methods in System Design 23, 257-301, 2003	118	2003
Parameterized verification of infinite-state processes with global conditions PA Abdulla, G Delzanno, A Rezine Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	100	2007
Constraint-based analysis of broadcast protocols G Delzanno, A Podelski, J Esparza Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999	72	1999
On the complexity of parameterized reachability in reconfigurable broadcast networks G Delzanno, A Sangnier, R Traverso, G Zavattaro	71	2012
Automatic verification of time sensitive cryptographic protocols G Delzanno, P Ganty International Conference on Tools and Algorithms for the Construction and …, 2004	67	2004
On the power of cliques in the parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro Foundations of Software Science and Computational Structures: 14th …, 2011	66	2011
Parameterized verification through view abstraction P Abdulla, F Haziza, L Holík International Journal on Software Tools for Technology Transfer 18 (5), 495-516, 2016	63	2016
Handling parameterized systems with non-atomic global conditions PA Abdulla, N Ben Henda, G Delzanno, A Rezine Verification, Model Checking, and Abstract Interpretation: 9th International …, 2008	53	2008
On the decidability status of reachability and coverability in graph transformation systems N Bertrand, G Delzanno, B König, A Sangnier, J Stückrath 23rd International Conference on Rewriting Techniques and Applications (RTA …, 2012	52	2012
Attacking symbolic state explosion G Delzanno, JF Raskin, L Van Begin International Conference on Computer Aided Verification, 298-310, 2001	47	2001
Logic Programming and Multi-Agent Systems: A synergic combination for applications and semantics M Bozzano, G Delzanno, M Martelli, V Mascardi, F Zini The Logic Programming Paradigm: a 25-Year Perspective, 5-32, 1999	47	1999
Verification of ad hoc networks with node and communication failures G Delzanno, A Sangnier, G Zavattaro International Conference on Formal Methods for Open Object-Based Distributed …, 2012	46	2012
Covering sharing trees: a compact data structure for parameterized verification G Delzanno, JF Raskin, L Van Begin International journal on software tools for technology transfer 5, 268-297, 2004	43	2004
Symbolic representation of upward-closed sets G Delzanno, JF Raskin Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000	43	2000

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai