Doron A. Peled

Geciteerd door

	Alles	Sinds 2016
Citaties	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

Medeauteurs

Orna GrumbergProfessor of Computer Science, TechnionGeverifieerd e-mailadres voor cs.technion.ac.il
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Gerard HolzmannNimble ResearchGeverifieerd e-mailadres voor nimbleresearch.com
Moshe Y. VardiRice UniversityGeverifieerd e-mailadres voor cs.rice.edu
Anca MuschollLaBRI, Univ. of BordeauxGeverifieerd e-mailadres voor labri.fr
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor cis.upenn.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityGeverifieerd e-mailadres voor cs.columbia.edu
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienGeverifieerd e-mailadres voor forsyte.tuwien.ac.at
Daniel KroeningAmazonGeverifieerd e-mailadres voor cs.ox.ac.uk
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignGeverifieerd e-mailadres voor illinois.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumGeverifieerd e-mailadres voor ulg.ac.be
Marius MineaAssociate Professor, Politehnica University of TimisoaraGeverifieerd e-mailadres voor cs.upt.ro
Shmuel KatzComputer ScienceGeverifieerd e-mailadres voor cs.technion.ac.il
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryGeverifieerd e-mailadres voor jpl.nasa.gov
Husnu YenigunProfessor of Computer Science, Sabanci UniversityGeverifieerd e-mailadres voor sabanciuniv.edu
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Geverifieerd e-mailadres voor ipipan.waw.pl
Sven ScheweProfessor of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Hongyang QuResearch Fellow, University of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityGeverifieerd e-mailadres voor ti.informatik.uni-kiel.de

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Geverifieerd e-mailadres voor cs.biu.ac.il - Homepage

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs