Doron A. Peled - Citas de Google Académico

Citado por

	Total	Desde 2014
Citas	22941	5778
Índice h	48	22
Índice i10	111	50

1500

750

375

1125

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201974 219 228 264 288 413 624 722 972 1102 1350 1284 1449 1472 1359 1288 1260 1254 1190 1177 1134 997 781 884 640

Coautores

Orna GrumbergProfessor of Computer Science, TechnionDirección de correo verificada de cs.technion.ac.il
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
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityDirección de correo verificada de cs.columbia.edu
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignDirección de correo verificada de illinois.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGDirección de correo verificada de univ-grenoble-alpes.fr
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
Husnu YenigunProfessor of Computer Science, Sabanci UniversityDirección de correo verificada de sabanciuniv.edu
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Dirección de correo verificada de ipipan.waw.pl
Sven ScheweProfessor of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
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
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryDirección de correo verificada de jpl.nasa.gov
Ruurd KuiperDirección de correo verificada de tue.nl
Edith ElkindUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk

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 Verification Software Testing Program Synthesis


Título	Citado por	Año
Model checking EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith MIT press, 2018	13291	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	1043	1995
All from one, one for all: on model checking using representatives D Peled International Conference on Computer Aided Verification, 409-423, 1993	663	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII, 197-211, 1995	466	1995
Combining partial order reductions with on-the-fly model-checking D Peled International Conference on Computer Aided Verification, 377-390, 1994	419	1994
Software reliability methods DA Peled Springer Science & Business Media, 2013	383	2013
An analyzer for message sequence charts R Alur, GJ Holzmann, D Peled International Workshop on Tools and Algorithms for the Construction and …, 1996	367	1996
On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 81-89, 1996	301	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8 (1), 39-64, 1996	247	1996
Ten years of partial order reduction D Peled International Conference on Computer Aided Verification, 17-28, 1998	210	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	187	1999
Black box checking D Peled, MY Vardi, M Yannakakis Formal Methods for Protocol Engineering and Distributed Systems, 225-240, 1999	176	1999
Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997	168	1997
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	157	1992
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	142	1999
Adaptive model checking A Groce, D Peled, M Yannakakis International Conference on Tools and Algorithms for the Construction and …, 2002	140	2002
The state of SPIN GJ Holzmann, D Peled International Conference on Computer Aided Verification, 383-389, 1996	137	1996
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
A partial order approach to branching time logic model checking R Gerth, R Kuiper, D Peled, W Penczek Proceedings Third Israel Symposium on the Theory of Computing and Systems …, 1995	117	1995

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

Subir PDF

Seguir a este autor

Citado por

Coautores