Klaus Havelund

Citado por

	Todos	Desde 2016
Citações	12074	2999
Índice h	50	30
Índice i10	114	69

820

410

205

615

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202132 39 57 78 119 187 325 398 520 655 549 611 585 591 689 703 735 661 699 602 609 564 818 562 438 5

Coautores

Grigore RosuUniversity of Illinois at Urbana ChampaignE-mail confirmado em illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityE-mail confirmado em cs.sun.ac.za
Koushik SenProfessor of Computer Science, University of California, BerkeleyE-mail confirmado em cs.berkeley.edu
Giles RegerDepartment of Computer Science, University of ManchesterE-mail confirmado em manchester.ac.uk
Kim G. LarsenDirector, Professor Aalborg UniversityE-mail confirmado em cs.aau.dk
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityE-mail confirmado em nau.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGE-mail confirmado em univ-grenoble-alpes.fr
Yliès FalconeUniv. Grenoble Alpes, InriaE-mail confirmado em univ-grenoble-alpes.fr
Rich WashingtonGoogleE-mail confirmado em google.com
Radu GrosuProfessor of Computer ScienceE-mail confirmado em tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityE-mail confirmado em cs.sunysb.edu
Natarajan ShankarSRI International Computer Science LaboratoryE-mail confirmado em csl.sri.com
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainE-mail confirmado em uclouvain.be
Armin BiereJohannes Kepler University LinzE-mail confirmado em jku.at
Gerard HolzmannNimble ResearchE-mail confirmado em nimbleresearch.com
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEME-mail confirmado em uni-paderborn.de
Oleg SokolskyUniversity of PennsylvaniaE-mail confirmado em cis.upenn.edu
Marcelo d'AmorimFederal University of PernambucoE-mail confirmado em cin.ufpe.br
Ezio BartocciProfessor of Computer Science, TU WienE-mail confirmado em tuwien.ac.at
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityE-mail confirmado em cispa.saarland

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

E-mail confirmado em jpl.nasa.gov - Página inicial

formal methods program verification runtime verification specification languages programming languages


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10 (2), 203-232, 2003	1846	2003
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10 (2), 203-232, 2003	1846	2003
Model checking java programs using java pathfinder K Havelund, T Pressburger International Journal on Software Tools for Technology Transfer 2 (4), 366-381, 2000	1019	2000
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen International Workshop on Verification, Model Checking, and Abstract …, 2004	453	2004
Synthesizing monitors for safety properties K Havelund, G Roşu International Conference on Tools and Algorithms for the Construction and …, 2002	403	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	374	2001
Automata-based verification of temporal properties on running programs D Giannakopoulou, K Havelund Proceedings 16th Annual International Conference on Automated Software …, 2001	276	2001
Formal analysis of a space-craft controller using SPIN K Havelund, M Lowry, J Penix IEEE Transactions on Software Engineering 27 (8), 749-765, 2001	254	2001
Java PathFinder-second generation of a Java model checker G Brat, K Havelund, SJ Park, W Visser In Proceedings of the Workshop on Advances in Verification, 2000	254	2000
Java PathFinder-second generation of a Java model checker G Brat, K Havelund, SJ Park, W Visser In Proceedings of the Workshop on Advances in Verification, 2000	254	2000
An overview of the runtime verification tool Java PathExplorer K Havelund, G Roşu Formal methods in system design 24 (2), 189-215, 2004	249	2004
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	244	2003
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	244	2001
Formal modeling and analysis of an audio/video protocol: An industrial case study using UPPAAL K Havelund, A Skou, KG Larsen, K Lund Proceedings Real-Time Systems Symposium, 2-13, 1997	240	1997
Coexpression of Rat P2X2 and P2X6Subunits in Xenopus Oocytes BF King, A Townsend-Nicholson, SS Wildman, T Thomas, KM Spyer, ... Journal of Neuroscience 20 (13), 4871-4877, 2000	232*	2000
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	226	1996
Using runtime analysis to guide model checking of Java programs K Havelund International SPIN Workshop on Model Checking of Software, 245-264, 2000	225	2000
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004	214	2004
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	207	2005
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	204*	1992

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

Fazer upload de PDF

Seguir este autor

Citado por

Coautores