Doron A. Peled

Citado por

	Todos	Desde 2020
Citações	27672	3289
Índice h	51	20
Índice i10	123	36

1600

800

400

1200

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025253 269 288 306 450 658 783 1008 1174 1432 1348 1487 1538 1410 1329 1340 1338 1266 1241 1183 1042 861 906 787 699 739 613 579 587 71

Acesso público

Ver todos

14 artigos

3 artigos

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityE-mail confirmado em cs.cmu.edu
Gerard HolzmannNimble ResearchE-mail confirmado em nimbleresearch.com
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryE-mail confirmado em jpl.nasa.gov
Moshe Y. VardiRice UniversityE-mail confirmado em cs.rice.edu
Anca MuschollLaBRI, Univ. of BordeauxE-mail confirmado em labri.fr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGE-mail confirmado em univ-grenoble-alpes.fr
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignE-mail confirmado em illinois.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityE-mail confirmado em cs.columbia.edu
Orna GrumbergProfessor of Computer Science, TechnionE-mail confirmado em cs.technion.ac.il
Marius MineaAssociate Professor, Politehnica University of TimisoaraE-mail confirmado em cs.upt.ro
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumE-mail confirmado em ulg.ac.be
Shmuel KatzComputer ScienceE-mail confirmado em cs.technion.ac.il
Husnu YenigunProfessor of Computer Science, Sabanci UniversityE-mail confirmado em sabanciuniv.edu
Sven ScheweProfessor of Computer Science, University of LiverpoolE-mail confirmado em liverpool.ac.uk
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)E-mail confirmado em ipipan.waw.pl
Hongyang QuResearch Fellow, University of SheffieldE-mail confirmado em sheffield.ac.uk
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityE-mail confirmado em ti.informatik.uni-kiel.de
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityE-mail confirmado em nau.edu
Edith ElkindNorthwestern UniversityE-mail confirmado em northwestern.edu
Kousha EtessamiUniversity of EdinburghE-mail confirmado em inf.ed.ac.uk

Seguir

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

E-mail confirmado em cs.biu.ac.il - Página inicial

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Model checking EM Clarke Foundations of Software Technology and Theoretical Computer Science: 17th …, 1997	16116	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	1253	1995
All from one, one for all: on model checking using representatives D Peled Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993	810	1993
An improvement in formal verification GJ Holzmann, D Peled Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995	514	1995
Combining partial order reductions with on-the-fly model-checking D Peled Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	461	1994
Software reliability methods DA Peled Springer Science & Business Media, 2001	451	2001
Black box checking D Peled, MY Vardi, M Yannakakis International Conference on Protocol Specification, Testing and Verification …, 1999	417	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	344	1996
Combining partial order reductions with on-the-fly model-checking D Peled Formal Methods in System Design 8, 39-64, 1996	283	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	280	1999
Ten years of partial order reduction D Peled Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	263	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	244	1999
Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997	199	1997
Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992	185	1992
Adaptive model checking A Groce, D Peled, M Yannakakis Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	179	2002
Model-checking of correctness conditions for concurrent objects R Alur, K McMillan, D Peled Information and Computation 160 (1-2), 167-188, 2000	169	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	155	1999
Model checking M Edmund, J Clarke, O Grumberg, DA Peled MIT Press, 314, 1999	150	1999

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores