Doron A. Peled - Google Scholar Citations

Geciteerd door

	Alles	Sinds 2015
Citaties	23415	4849
h-index	48	21
i10-index	109	43

1600

800

400

1200

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202075 234 230 265 297 424 634 722 969 1107 1348 1314 1474 1517 1382 1304 1260 1275 1219 1170 1146 992 801 886 730 140

Medeauteurs

Orna GrumbergProfessor of Computer Science, TechnionGeverifieerd e-mailadres voor cs.technion.ac.il
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Gerard HolzmannNimble ResearchGeverifieerd e-mailadres voor nimbleresearch.com
Moshe Y. VardiRice UniversityGeverifieerd e-mailadres voor cs.rice.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor cis.upenn.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityGeverifieerd e-mailadres voor cs.columbia.edu
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignGeverifieerd e-mailadres voor illinois.edu
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumGeverifieerd e-mailadres voor ulg.ac.be
Saddek BensalemUniversité Grenoble Alpes, VERIMAGGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
Marius MineaAssociate Professor, Politehnica University of TimisoaraGeverifieerd e-mailadres voor cs.upt.ro
Shmuel KatzComputer ScienceGeverifieerd e-mailadres voor cs.technion.ac.il
Husnu YenigunProfessor of Computer Science, Sabanci UniversityGeverifieerd e-mailadres voor sabanciuniv.edu
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Geverifieerd e-mailadres voor ipipan.waw.pl
Sven ScheweProfessor of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Hongyang QuResearch Fellow, University of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityGeverifieerd e-mailadres voor ti.informatik.uni-kiel.de
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityGeverifieerd e-mailadres voor nau.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryGeverifieerd e-mailadres voor jpl.nasa.gov
Ruurd KuiperGeverifieerd e-mailadres voor tue.nl
Edith ElkindUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Geverifieerd e-mailadres voor cs.biu.ac.il - Homepage

Concurrency Theory Model Checking Verification Software Testing Program Synthesis


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Model checking EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith MIT press, 2018	13478	2018
Simple on-the-fly automatic verification of linear temporal logic R Gerth, D Peled, MY Vardi, P Wolper International Conference on Protocol Specification, Testing and Verification …, 1995	1046	1995
All from one, one for all: on model checking using representatives D Peled International Conference on Computer Aided Verification, 409-423, 1993	673	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII, 197-211, 1995	467	1995
Combining partial order reductions with on-the-fly model-checking D Peled International Conference on Computer Aided Verification, 377-390, 1994	428	1994
Software reliability methods DA Peled Springer Science & Business Media, 2013	390	2013
An analyzer for message sequence charts R Alur, GJ Holzmann, D Peled International Workshop on Tools and Algorithms for the Construction and …, 1996	371	1996
On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 81-89, 1996	301	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8 (1), 39-64, 1996	250	1996
Ten years of partial order reduction D Peled International Conference on Computer Aided Verification, 17-28, 1998	209	1998
Model checking. 1999 EM Clarke, O Grumberg, D Peled Google Scholar Google Scholar Digital Library Digital Library, 2002	201	2002
State space reduction using partial order techniques EM Clarke, O Grumberg, M Minea, D Peled International Journal on Software Tools for Technology Transfer 2 (3), 279-287, 1999	192	1999
Black box checking D Peled, MY Vardi, M Yannakakis Formal Methods for Protocol Engineering and Distributed Systems, 225-240, 1999	179	1999
Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997	172	1997
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	159	1992
Deciding properties for message sequence charts A Muscholl, D Peled, Z Su International Conference on Foundations of Software Science and Computation …, 1998	153	1998
Message sequence graphs and decision problems on Mazurkiewicz traces A Muscholl, D Peled International Symposium on Mathematical Foundations of Computer Science, 81-91, 1999	142	1999
Adaptive model checking A Groce, D Peled, M Yannakakis International Conference on Tools and Algorithms for the Construction and …, 2002	140	2002
The state of SPIN GJ Holzmann, D Peled International Conference on Computer Aided Verification, 383-389, 1996	138	1996
Model-checking of correctness conditions for concurrent objects R Alur, K McMillan, D Peled Information and Computation 160 (1-2), 167-188, 2000	133	2000

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs