Doron A. Peled

Citado por

	Total	Desde 2019
Citas	27028	3501
Índice h	51	22
Índice i10	120	36

1600

800

400

1200

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024260 270 283 312 448 664 770 991 1171 1431 1335 1481 1527 1409 1323 1324 1334 1275 1238 1188 1057 859 909 790 688 715 614 556 138

Acceso público

Ver todo

14 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Gerard HolzmannNimble ResearchDirección de correo verificada de nimbleresearch.com
Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryDirección de correo verificada de jpl.nasa.gov
Anca MuschollLaBRI, Univ. of BordeauxDirección de correo verificada de labri.fr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGDirección de correo verificada de univ-grenoble-alpes.fr
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignDirección de correo verificada de illinois.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityDirección de correo verificada de cs.columbia.edu
Marius MineaAssociate Professor, Politehnica University of TimisoaraDirección de correo verificada de cs.upt.ro
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumDirección de correo verificada de ulg.ac.be
Shmuel KatzComputer ScienceDirección de correo verificada de cs.technion.ac.il
Orna GrumbergProfessor of Computer Science, TechnionDirección de correo verificada de cs.technion.ac.il
Husnu YenigunProfessor of Computer Science, Sabanci UniversityDirección de correo verificada de sabanciuniv.edu
Sven ScheweProfessor of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Dirección de correo verificada de ipipan.waw.pl
Hongyang QuResearch Fellow, University of SheffieldDirección de correo verificada de sheffield.ac.uk
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityDirección de correo verificada de ti.informatik.uni-kiel.de
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityDirección de correo verificada de nau.edu
Edith ElkindUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Kousha EtessamiUniversity of EdinburghDirección de correo verificada de inf.ed.ac.uk

Seguir

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Dirección de correo verificada de cs.biu.ac.il - Página principal

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Model checking EM Clarke Foundations of Software Technology and Theoretical Computer Science: 17th …, 1997	15769	1997
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	1225	1995
All from one, one for all: on model checking using representatives D Peled Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993	795	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995	503	1995
Combining partial order reductions with on-the-fly model-checking D Peled Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	457	1994
Software reliability methods DA Peled Springer Science & Business Media, 2001	447	2001
Black box checking D Peled, MY Vardi, M Yannakakis International Conference on Protocol Specification, Testing and Verification …, 1999	393	1999
An analyzer for message sequence charts R Alur, GJ Holzmann, D Peled Tools and Algorithms for the Construction and Analysis of Systems: Second …, 1996	388	1996
On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 81-89, 1996	339	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8, 39-64, 1996	279	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	269	1999
Ten years of partial order reduction D Peled Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	257	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
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	182	1992
Adaptive model checking A Groce, D Peled, M Yannakakis Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	177	2002
Model-checking of correctness conditions for concurrent objects R Alur, K McMillan, D Peled Information and Computation 160 (1-2), 167-188, 2000	167	2000
Deciding properties for message sequence charts A Muscholl, D Peled, Z Su International Conference on Foundations of Software Science and Computation …, 1998	159	1998
Message sequence graphs and decision problems on Mazurkiewicz traces A Muscholl, D Peled Mathematical Foundations of Computer Science 1999: 24th International …, 1999	152	1999
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	147	1998

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores