Klaus Havelund - Google Acadêmico

Citado por

	Todos	Desde 2015
Citações	11776	3352
Índice h	50	32
Índice i10	110	73

820

410

205

615

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202033 39 57 78 119 187 321 400 520 653 549 607 578 589 677 700 728 669 690 598 603 558 801 570 220

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
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEME-mail confirmado em uni-paderborn.de
Gerard HolzmannNimble ResearchE-mail confirmado em nimbleresearch.com
Oleg SokolskyUniversity of PennsylvaniaE-mail confirmado em cis.upenn.edu
Marcelo d'AmorimFederal University of PernambucoE-mail confirmado em cin.ufpe.br
Ezio BartocciAssociate Professor in 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	1818	2003
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10 (2), 203-232, 2003	1818	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	1003	2000
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen International Workshop on Verification, Model Checking, and Abstract …, 2004	440	2004
Synthesizing monitors for safety properties K Havelund, G Roşu International Conference on Tools and Algorithms for the Construction and …, 2002	390	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	368	2001
Automata-based verification of temporal properties on running programs D Giannakopoulou, K Havelund Proceedings 16th Annual International Conference on Automated Software …, 2001	272	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	249	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	249	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	249	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	242	2004
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	240	2003
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	238	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	235	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	226*	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	223	2000
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004	210	2004
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	203*	1992
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	203*	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