Doron A. Peled

Cited by

	All	Since 2017
Citations	25909	4374
h-index	50	21
i10-index	120	46

1600

800

400

1200

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202269 239 233 285 312 446 643 762 995 1159 1400 1318 1473 1540 1402 1324 1313 1317 1261 1219 1180 1044 856 893 775 664 699 486

Public access

View all

15 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerified email at illinois.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumVerified email at ulg.ac.be
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Marius MineaAssociate Professor, Politehnica University of TimisoaraVerified email at cs.upt.ro
Shmuel KatzComputer ScienceVerified email at cs.technion.ac.il
Husnu YenigunProfessor of Computer Science, Sabanci UniversityVerified email at sabanciuniv.edu
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityVerified email at ti.informatik.uni-kiel.de
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Edith ElkindUniversity of OxfordVerified email at cs.ox.ac.uk

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Verified email at cs.biu.ac.il - Homepage

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Model checking EM Clarke International Conference on Foundations of Software Technology and …, 1997	14946	1997
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	1169	1995
All from one, one for all: on model checking using representatives D Peled International Conference on Computer Aided Verification, 409-423, 1993	760	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII, 197-211, 1995	493	1995
Combining partial order reductions with on-the-fly model-checking D Peled International Conference on Computer Aided Verification, 377-390, 1994	443	1994
Software reliability methods DA Peled Springer Science & Business Media, 2013	430	2013
An analyzer for message sequence charts R Alur, GJ Holzmann, D Peled International Workshop on Tools and Algorithms for the Construction and …, 1996	382	1996
Black box checking D Peled, MY Vardi, M Yannakakis Formal Methods for Protocol Engineering and Distributed Systems, 225-240, 1999	358	1999
On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 81-89, 1996	327	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8 (1), 39-64, 1996	272	1996
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	248	1999
Ten years of partial order reduction D Peled International Conference on Computer Aided Verification, 17-28, 1998	244	1998
A partial order approach to branching time logic model checking R Gerth, R Kuiper, D Peled, W Penczek Information and Computation 150 (2), 132-152, 1999	231	1999
Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997	192	1997
Model checking EM Clark, O Grumberg, DA Peled The MIT Press 288, 289, 1999	184	1999
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	175	1992
Adaptive model checking A Groce, D Peled, M Yannakakis International Conference on Tools and Algorithms for the Construction and …, 2002	165	2002
Model-checking of correctness conditions for concurrent objects R Alur, K McMillan, D Peled Information and Computation 160 (1-2), 167-188, 2000	157	2000
Deciding properties for message sequence charts A Muscholl, D Peled, Z Su International Conference on Foundations of Software Science and Computation …, 1998	154	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	149	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors