Klaus Havelund

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

论文数

4

总引用数

1,002

H-Index

4

关于

暂无简介。

研究焦点

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

主要成就

4
H 指数
4
论文
1,002
总引用数
251
篇均引用
🏆 最高被引论文
Model checking JAVA programs using JAVA PathFinder
798 次引用 · 2000
📈 最高产年份: 2000 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: Ames Research Center, Kestrel Technology (United States), California Institute of Technology

代表论文

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

主要合作者

JPJohn Penix2 篇合著论文MLM. Lowry1 篇合著论文TPThomas Pressburger1 篇合著论文MLMichael Lowry1 篇合著论文GJGerard J. Holzmann1 篇合著论文
尚未生成