Doron A. Peled

Cited by

	All	Since 2016
Citations	24797	4730
h-index	49	22
i10-index	120	46

1600

800

400

1200

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202162 78 241 215 273 319 441 653 732 989 1154 1367 1319 1467 1519 1387 1316 1284 1294 1223 1187 1179 1041 821 905 760 664 385

Public access

View all

10 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Daniel KroeningAmazonVerified email at amazon.com
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
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
Husnu YenigunProfessor of Computer Science, Sabanci UniversityVerified email at sabanciuniv.edu
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
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

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 Jr, O Grumberg, D Kroening, D Peled, H Veith MIT press, 2018	14254	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	1127	1995
All from one, one for all: on model checking using representatives D Peled International Conference on Computer Aided Verification, 409-423, 1993	731	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII, 197-211, 1995	488	1995
Combining partial order reductions with on-the-fly model-checking D Peled International Conference on Computer Aided Verification, 377-390, 1994	437	1994
Software reliability methods DA Peled Springer Science & Business Media, 2001	415	2001
An analyzer for message sequence charts R Alur, GJ Holzmann, D Peled International Workshop on Tools and Algorithms for the Construction and …, 1996	377	1996
On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 23-32, 1996	317	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8 (1), 39-64, 1996	266	1996
Ten years of partial order reduction D Peled International Conference on Computer Aided Verification, 17-28, 1998	237	1998
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	224	1999
Black box checking D Peled, MY Vardi, M Yannakakis Formal Methods for Protocol Engineering and Distributed Systems, 225-240, 1999	206	1999
Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997	188	1997
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	165	1992
Model checking EM Clark, O Grumberg, DA Peled The MIT Press 288, 289, 1999	164	1999
Adaptive model checking A Groce, D Peled, M Yannakakis International Conference on Tools and Algorithms for the Construction and …, 2002	156	2002
Deciding properties for message sequence charts A Muscholl, D Peled, Z Su International Conference on Foundations of Software Science and Computation …, 1998	156	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	148	1999
Model-checking of correctness conditions for concurrent objects R Alur, K McMillan, D Peled Information and Computation 160 (1-2), 167-188, 2000	147	2000
The state of SPIN GJ Holzmann, D Peled International Conference on Computer Aided Verification, 383-389, 1996	144	1996

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 this author

Cited by

Co-authors