Doron A. Peled

Cited by

	All	Since 2016
Citations	24069	4305
h-index	48	21
i10-index	116	43

1600

800

400

1200

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202175 242 229 264 302 424 646 738 984 1129 1371 1281 1468 1510 1358 1303 1264 1261 1203 1187 1159 1018 824 899 747 645 21

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 cs.ox.ac.uk
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
Marius MineaAssociate Professor, Politehnica University of TimisoaraVerified email at cs.upt.ro
Shmuel KatzComputer ScienceVerified email at cs.technion.ac.il
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Husnu YenigunProfessor of Computer Science, Sabanci UniversityVerified email at sabanciuniv.edu
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
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	13938	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	1091	1995
All from one, one for all: on model checking using representatives D Peled International Conference on Computer Aided Verification, 409-423, 1993	706	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII, 197-211, 1995	478	1995
Combining partial order reductions with on-the-fly model-checking D Peled International Conference on Computer Aided Verification, 377-390, 1994	438	1994
Software reliability methods DA Peled Springer Science & Business Media, 2001	402	2001
An analyzer for message sequence charts R Alur, GJ Holzmann, D Peled International Workshop on Tools and Algorithms for the Construction and …, 1996	378	1996
On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 81-89, 1996	308	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8 (1), 39-64, 1996	257	1996
Ten years of partial order reduction D Peled International Conference on Computer Aided Verification, 17-28, 1998	224	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	208	1999
Black box checking D Peled, MY Vardi, M Yannakakis Formal Methods for Protocol Engineering and Distributed Systems, 225-240, 1999	192	1999
Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997	179	1997
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	169	1992
Deciding properties for message sequence charts A Muscholl, D Peled, Z Su International Conference on Foundations of Software Science and Computation …, 1998	155	1998
Adaptive model checking A Groce, D Peled, M Yannakakis International Conference on Tools and Algorithms for the Construction and …, 2002	147	2002
Message sequence graphs and decision problems on Mazurkiewicz traces A Muscholl, D Peled International Symposium on Mathematical Foundations of Computer Science, 81-91, 1999	143	1999
The state of SPIN GJ Holzmann, D Peled International Conference on Computer Aided Verification, 383-389, 1996	140	1996
Model-checking of correctness conditions for concurrent objects R Alur, K McMillan, D Peled Information and Computation 160 (1-2), 167-188, 2000	139	2000
Static partial order reduction R Kurshan, V Levin, M Minea, D Peled, H Yenigün International Conference on Tools and Algorithms for the Construction and …, 1998	133	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

Upload PDF

Follow this author

Cited by

Co-authors