Klaus Havelund

Ames Research Center, Kestrel Technology (United States), California Institute of Technology

Papers

4

Total Citations

1,002

H-Index

4

About

No biography available yet.

Research Focus

Computer science4 · 1,002 citations
Model checking2 · 976 citations
Programming language2 · 976 citations
Promela2 · 976 citations
Generics in Java1 · 798 citations
Java1 · 798 citations
Java Modeling Language1 · 798 citations
Real time Java1 · 798 citations
Program analysis1 · 798 citations
Java annotation1 · 798 citations
Software engineering3 · 204 citations
Software2 · 183 citations

Key Achievements

4
H-Index
4
Papers
1,002
Total Citations
251
Avg Citations/Paper
🏆 Most Cited Paper
Model checking JAVA programs using JAVA PathFinder
798 citations · 2000
📈 Most Prolific Year: 2000 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Ames Research Center, Kestrel Technology (United States), California Institute of Technology

Top Papers

  1. 1
    Model checking JAVA programs using JAVA PathFinder
    798 citations · 2000
  2. 2
    Formal analysis of a space-craft controller using SPIN
    178 citations · 2001
  3. 3
    Verification and validation of AI systems that control deep-space spacecraft
    21 citations · 1997
  4. 4
    Software certification
    5 citations · 2011

Key Collaborators

JPJohn Penix2 shared papersMLM. Lowry1 shared papersTPThomas Pressburger1 shared papersMLMichael Lowry1 shared papersGJGerard J. Holzmann1 shared papers
Not generated yet