Doron A. Peled

Citée par

	Toutes	Depuis 2018
Citations	26611	4044
indice h	50	22
indice i10	118	42

1600

800

400

1200

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023257 267 276 314 450 636 764 996 1174 1429 1344 1475 1545 1402 1320 1315 1330 1294 1221 1196 1055 852 903 776 675 723 599 368

Accès public

Tout afficher

11 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Gerard HolzmannNimble ResearchAdresse e-mail validée de nimbleresearch.com
Moshe Y. VardiRice UniversityAdresse e-mail validée de cs.rice.edu
Anca MuschollLaBRI, Univ. of BordeauxAdresse e-mail validée de labri.fr
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryAdresse e-mail validée de jpl.nasa.gov
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignAdresse e-mail validée de illinois.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityAdresse e-mail validée de cs.columbia.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGAdresse e-mail validée de univ-grenoble-alpes.fr
Marius MineaAssociate Professor, Politehnica University of TimisoaraAdresse e-mail validée de cs.upt.ro
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumAdresse e-mail validée de ulg.ac.be
Shmuel KatzComputer ScienceAdresse e-mail validée de cs.technion.ac.il
Orna GrumbergProfessor of Computer Science, TechnionAdresse e-mail validée de cs.technion.ac.il
Husnu YenigunProfessor of Computer Science, Sabanci UniversityAdresse e-mail validée de sabanciuniv.edu
Sven ScheweProfessor of Computer Science, University of LiverpoolAdresse e-mail validée de liverpool.ac.uk
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Adresse e-mail validée de ipipan.waw.pl
Hongyang QuResearch Fellow, University of SheffieldAdresse e-mail validée de sheffield.ac.uk
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityAdresse e-mail validée de ti.informatik.uni-kiel.de
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityAdresse e-mail validée de nau.edu
Edith ElkindUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Kousha EtessamiUniversity of EdinburghAdresse e-mail validée de inf.ed.ac.uk

Suivre

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Adresse e-mail validée de cs.biu.ac.il - Page d'accueil

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Model checking EM Clarke Foundations of Software Technology and Theoretical Computer Science: 17th …, 1997	15554	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	1207	1995
All from one, one for all: on model checking using representatives D Peled Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993	777	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995	499	1995
Combining partial order reductions with on-the-fly model-checking D Peled Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	445	1994
Software reliability methods DA Peled Springer Science & Business Media, 2013	441	2013
An analyzer for message sequence charts R Alur, GJ Holzmann, D Peled Tools and Algorithms for the Construction and Analysis of Systems: Second …, 1996	389	1996
Black box checking D Peled, MY Vardi, M Yannakakis International Conference on Protocol Specification, Testing and Verification …, 1999	377	1999
On nested depth first search. GJ Holzmann, DA Peled, M Yannakakis The Spin Verification System 32, 81-89, 1996	328	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8, 39-64, 1996	276	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	261	1999
Ten years of partial order reduction D Peled Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	249	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	232	1999
Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997	193	1997
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	180	1992
Adaptive model checking A Groce, D Peled, M Yannakakis Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	176	2002
Model-checking of correctness conditions for concurrent objects R Alur, K McMillan, D Peled Information and Computation 160 (1-2), 167-188, 2000	162	2000
Deciding properties for message sequence charts A Muscholl, D Peled, Z Su International Conference on Foundations of Software Science and Computation …, 1998	158	1998
Message sequence graphs and decision problems on Mazurkiewicz traces A Muscholl, D Peled Mathematical Foundations of Computer Science 1999: 24th International …, 1999	151	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	145	1998

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs