Doron A. Peled

Cited by

	All	Since 2018
Citations	26393	3885
h-index	51	22
i10-index	120	44

1600

800

400

1200

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023232 263 278 295 427 655 772 1001 1141 1470 1327 1493 1520 1400 1313 1312 1339 1294 1231 1194 1062 856 905 779 687 709 587 218

Public access

View all

12 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
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
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
Daniel KroeningAmazonVerified email at amazon.com
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	14846	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	1204	1996
All from one, one for all: on model checking using representatives D Peled Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993	775	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995	500	1995
Combining partial order reductions with on-the-y model-checking D Peled Proc. 6th Conference on Computer Aided Verification 818, 377-390, 1994	447	1994
Software reliability methods DA Peled Springer Science & Business Media, 2013	437	2013
Model checking EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith MIT press, 2018	388	2018
An analyzer for message sequence charts R Alur, GJ Holzmann, D Peled Tools and Algorithms for the Construction and Analysis of Systems: Second …, 1996	387	1996
Black box checking D Peled, MY Vardi, M Yannakakis Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII …, 1999	372	1999
On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 23-32, 1996	330	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8, 39-64, 1996	276	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	259	1999
Ten years of partial order reduction D Peled CAV 98, 17-28, 1998	251	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	235	1999
Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997	195	1997
Model checking EM Clark, O Grumberg, DA Peled The MIT Press 288, 289, 1999	190	1999
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	179	1992
Adaptive model checking A Groce, D Peled, M Yannakakis Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	169	2002
Model-checking of correctness conditions for concurrent objects R Alur, K McMillan, D Peled Information and Computation 160 (1-2), 167-188, 2000	160	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