Doron A. Peled

Cited by

	All	Since 2018
Citations	26147	3687
h-index	51	21
i10-index	119	43

1600

800

400

1200

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023232 261 285 293 432 651 769 996 1152 1452 1324 1491 1521 1397 1307 1315 1329 1286 1234 1199 1056 849 908 778 680 708 543 70

Public access

View all

10 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
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
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
Marius MineaAssociate Professor, Politehnica University of TimisoaraVerified email at cs.upt.ro
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumVerified email at ulg.ac.be
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 Foundations of Software Technology and Theoretical Computer Science: 17th …, 1997	14736	1997
Simple on-the-fly automatic verification of linear temporal logic R Gerth, D Peled, MY Vardi, P Wolper Protocol Specification, Testing and Verification XV: Proceedings of the …, 1996	1191	1996
All from one, one for all: on model checking using representatives D Peled Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993	770	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995	498	1995
Combining partial order reductions with on-the-y model-checking D Peled Proc. 6th Conference on Computer Aided Verification 818, 377-390, 1994	446	1994
Software reliability methods DA Peled Springer Science & Business Media, 2013	433	2013
An analyzer for message sequence charts R Alur, G Holzmann, D Peled Lecture Notes in Computer Science 1055, 35-48, 1996	387	1996
Black box checking D Peled, MY Vardi, M Yannakakis Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII …, 1999	363	1999
Model checking EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith MIT press, 2018	348	2018
On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 23-32, 1996	327	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8, 39-64, 1996	274	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, 279-287, 1999	253	1999
Ten years of partial order reduction D Peled CAV 98, 17-28, 1998	249	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	234	1999
Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997	193	1997
Model checking EM Clark, O Grumberg, DA Peled The MIT Press 288, 289, 1999	189	1999
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	178	1992
Adaptive model checking A Groce, D Peled, M Yannakakis Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	167	2002
Model-checking of correctness conditions for concurrent objects R Alur, K McMillan, D Peled Information and Computation 160 (1-2), 167-188, 2000	158	2000
Deciding properties for message sequence charts A Muscholl, D Peled, Z Su Foundations of Software Science and Computation Structures: First …, 1998	153	1998

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