Klaus Havelund

Software · 2000–2004

A researcher in the Science corpus: 4 papers; trusts 5 researchers and is trusted by 17 researchers here, as inferred from the citation graph.

Subfields

Whom Klaus Havelund trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Willem Visser
  2. Grigore Roşu
  3. Thomas Ball
  4. Guillaume P. Brat

Who trusts Klaus Havelund overall

  1. Grigore Roşu
  2. Feng Chen
  3. Oded Maler
  4. Howard Barringer
  5. Martin Leucker
  6. Dejan Nickovic
  7. Ben D'Angelo
  8. Ezio Bartocci
  9. Patrice Godefroid
  10. Greg Nelson

Papers from Klaus Havelund's perspective

Ordered by how strongly the researchers Klaus Havelund trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The Temporal Rover and the ATG Rover (SPIN)
  2. Abstract Interpretation Frameworks
  3. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  4. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  5. Generating statechart designs from scenarios (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  6. Monitoring Java Programs with Java PathExplorer (RV@CAV)
  7. The SLAM project: debugging system software via static analysis
  8. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Z3: An Efficient SMT Solver
  10. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers