Klaus Havelund

Cited by

	All	Since 2018
Citations	11507	2987
h-index	52	31
i10-index	114	64

720

360

180

540

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202335 43 60 85 128 179 273 316 428 532 424 494 413 453 540 547 623 565 573 526 540 480 711 510 397 544 409 412

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

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
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Rich WashingtonGoogleVerified email at google.com
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Oleg SokolskyUniversity of PennsylvaniaVerified email at cis.upenn.edu
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainVerified email at uclouvain.be
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkVerified email at dtu.dk
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
Gordon J. PaceDepartment of Computer Science, University of MaltaVerified email at um.edu.mt

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 java programs using java pathfinder K Havelund, T Pressburger International Journal on Software Tools for Technology Transfer 2, 366-381, 2000	1154	2000
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	527	2004
Synthesizing monitors for safety properties K Havelund, G Roşu Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	471	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	398	2001
Automata-based verification of temporal properties on running programs D Giannakopoulou, K Havelund Proceedings 16th Annual International Conference on Automated Software …, 2001	302	2001
An overview of the runtime verification tool Java PathExplorer K Havelund, G Roşu Formal methods in system design 24, 189-215, 2004	279	2004
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	278	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	277	2001
Java PathFinder? a second generation of a Java model checker G Brat Workshop on Advances in Verification, 2000, 2000	268	2000
Java PathFinder? a second generation of a Java model checker G Brat Workshop on Advances in Verification, 2000, 2000	268	2000
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	263	2003
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	259*	1992
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	255	1997
Using runtime analysis to guide model checking of Java programs K Havelund SPIN Model Checking and Software Verification: 7th International SPIN …, 2000	248	2000
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	243	2005
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	238	1996
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6, 158-173, 2004	225	2004
The RAISE specification language KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ... Prentice-Hall, 1992	224*	1992
A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013	220	2013
Rule Systems for Run-time Monitoring: from Eagle to RuleR H Barringer, D Rydeheard, K Havelund Journal of Logic and Computation 20 (3), 675-706, 2008	207	2008

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

Follow

Cited by

Co-authors