Concepedia

Klaus Havelund

KH

61

Publications

6.2K

Citations

33

H-Index

2000

Active since

Affiliations

Jet Propulsion Laboratory(Current)

Ames Research Center

Kestrel Technology (United States)

Research Institute for Advanced Computer Science

California Institute of Technology

Klaus Havelund is an author at Jet Propulsion Laboratory specializing in computer science, engineering, and verification.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationVerificationSoftware TestingSoftware EngineeringSystems Engineering

Publications per year

2000–2024

61

Publications

61

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.3K citations

Model checking JAVA programs using JAVA PathFinder

Klaus Havelund, Thomas Pressburger · International Journal on Software Tools for Technology Transfer · 2000 · 793 citations · Full text

Program Checking, Engineering, Automated Reasoning +11

Model checking programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · 2000 · 337 citations

Program Checking, Engineering, Verification +17

An Overview of the Runtime Verification Tool Java PathExplorer

Klaus Havelund, Grigore Roşu · Formal Methods in System Design · 2004 · 221 citations

Engineering, Runtime Verification, Program Analysis +10

Monitoring programs using rewriting

Klaus Havelund, Grigore Roşu · 2005 · 200 citations

Software Maintenance, Program Checking, Engineering +21

Rows per page

1–5 of 61