Klaus Havelund

Cited by

	All	Since 2016
Citations	12208	3009
h-index	51	30
i10-index	114	68

840

420

210

630

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202131 39 59 82 121 183 331 397 528 650 559 632 584 586 696 710 745 658 689 605 609 569 827 566 414 21

Co-authors

Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Giles RegerDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Yliès FalconeUniv. Grenoble Alpes, InriaVerified email at univ-grenoble-alpes.fr
Rich WashingtonGoogleVerified email at google.com
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainVerified email at uclouvain.be
Armin BiereJohannes Kepler University LinzVerified email at jku.at
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Oleg SokolskyUniversity of PennsylvaniaVerified email at cis.upenn.edu
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
Marcelo d'AmorimFederal University of PernambucoVerified email at cin.ufpe.br
Ezio BartocciProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

Verified email at jpl.nasa.gov - Homepage

formal methods program verification runtime verification specification languages programming languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10 (2), 203-232, 2003	1884	2003
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10 (2), 203-232, 2003	1884	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	1042	2000
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen International Workshop on Verification, Model Checking, and Abstract …, 2004	457	2004
Synthesizing monitors for safety properties K Havelund, G Roşu International Conference on Tools and Algorithms for the Construction and …, 2002	410	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
An overview of the runtime verification tool Java PathExplorer K Havelund, G Roşu Formal methods in system design 24 (2), 189-215, 2004	260	2004
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
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	252	2001
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	251	2001
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	243	2003
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	236	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	235*	2000
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	229	1996
Using runtime analysis to guide model checking of Java programs K Havelund International SPIN Workshop on Model Checking of Software, 245-264, 2000	227	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
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	211*	1992
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	211*	1992

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors