The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Klaus Havelund: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Klaus Havelund, Kim Guldstrand Larsen, Arne Skou
    Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:277-298 [Conf]
  2. Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser
    Experiments with Test Case Generation and Runtime Analysis. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:87-107 [Conf]
  3. Cyrille Artho, Klaus Havelund, Armin Biere
    Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:150-164 [Conf]
  4. Lina Khatib, Nicola Muscettola, Klaus Havelund
    Verification of Plan Models Using UPPAAL. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:114-122 [Conf]
  5. Klaus Havelund, Natarajan Shankar
    Experiments in Theorem Proving and Model Checking for Protocol Verification. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:662-681 [Conf]
  6. Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
    The RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:376-405 [Conf]
  7. Saddek Bensalem, Klaus Havelund
    Dynamic Deadlock Analysis of Multi-threaded Programs. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:208-223 [Conf]
  8. Klaus Havelund, Kim Guldstrand Larsen
    The Fork Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:544-557 [Conf]
  9. Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
    Program Monitoring with LTL in EAGLE. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  10. Klaus Havelund
    Mechanical Verification of a Garbage Collector. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1999, pp:1258-1283 [Conf]
  11. Klaus Havelund, Scott D. Stoller, Shmuel Ur
    Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:286- [Conf]
  12. Michael R. Lowry, Klaus Havelund, John Penix
    Verification and Validation of AI Systems that Control Deep-Space Spacecraft. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1997, pp:35-47 [Conf]
  13. Dimitra Giannakopoulou, Klaus Havelund
    Automata-Based Verification of Temporal Properties on Running Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:412-416 [Conf]
  14. Klaus Havelund, Grigore Rosu
    Monitoring Programs Using Rewriting. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:135-143 [Conf]
  15. John Penix, Perry Alexander, Klaus Havelund
    Declarative Specification of Software Architectures. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:201-0 [Conf]
  16. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park
    Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:3-12 [Conf]
  17. Cyrille Artho, Klaus Havelund, Armin Biere
    High-Level Data Races. [Citation Graph (0, 0)][DBLP]
    NDDL/VVEIS, 2003, pp:82-93 [Conf]
  18. Klaus Havelund, Kim Guldstrand Larsen
    A refinement logic for the fork calculus. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:5-20 [Conf]
  19. Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund
    Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1997, pp:2-13 [Conf]
  20. Klaus Havelund
    Using Runtime Analysis to Guide Model Checking of Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:245-264 [Conf]
  21. Klaus Havelund
    Java PathFinder, A Translator from Java to Promela. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:152- [Conf]
  22. Klaus Havelund, Jens U. Skakkebæk
    Applying Model Checking in Java Verification. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:216-231 [Conf]
  23. Klaus Havelund, Grigore Rosu
    Synthesizing Monitors for Safety Properties. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:342-356 [Conf]
  24. Lina Khatib, Nicola Muscettola, Klaus Havelund
    Mapping Temporal Planning Constraints into Timed Automata. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:21-27 [Conf]
  25. Cyrille Artho, Klaus Havelund
    Applying Jlint to Space Exploration Software. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:297-308 [Conf]
  26. Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
    Rule-Based Runtime Verification. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:44-57 [Conf]
  27. Allen Goldberg, Klaus Havelund
    Automated Runtime Verification with Eagle. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:- [Conf]
  28. Grigore Rosu, Klaus Havelund
    Rewriting-Based Techniques for Runtime Verification. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:2, pp:151-197 [Journal]
  29. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
    Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2003, v:10, n:2, pp:203-232 [Journal]
  30. Klaus Havelund, Grigore Rosu
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  31. Klaus Havelund, Grigore Rosu
    Monitoring Java Programs with Java PathExplorer. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  32. Klaus Havelund, Grigore Rosu
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  33. Klaus Havelund, Grigore Rosu
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:1-2 [Journal]
  34. Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
    The RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1989, v:1, n:1, pp:85-114 [Journal]
  35. Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
    Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:167-198 [Journal]
  36. Klaus Havelund, Grigore Rosu
    Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:24, n:2, pp:99-100 [Journal]
  37. Klaus Havelund, Grigore Rosu
    An Overview of the Runtime Verification Tool Java PathExplorer. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:24, n:2, pp:189-215 [Journal]
  38. Klaus Havelund, Grigore Rosu
    Foreword. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:27, n:3, pp:211-212 [Journal]
  39. Klaus Havelund, Kim Guldstrand Larsen
    The Fork Calculus. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:3, pp:346-363 [Journal]
  40. Klaus Havelund, Thomas Pressburger
    Model Checking JAVA Programs using JAVA PathFinder. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:366-381 [Journal]
  41. Klaus Havelund, Grigore Rosu
    Efficient monitoring of safety properties. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:158-173 [Journal]
  42. Klaus Havelund, Willem Visser
    Program model checking as a new trend. [Citation Graph (0, 0)][DBLP]
    STTT, 2002, v:4, n:1, pp:8-20 [Journal]
  43. Cyrille Artho, Klaus Havelund, Armin Biere
    High-level data races. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2003, v:13, n:4, pp:207-227 [Journal]
  44. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
    Combining test case generation and runtime verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:209-234 [Journal]
  45. Klaus Havelund, Michael R. Lowry, John Penix
    Formal Analysis of a Space-Craft Controller Using SPIN. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:8, pp:749-765 [Journal]
  46. Cyrille Artho, Klaus Havelund, Shinichi Honiden
    Visualization of Concurrent Program Executions. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:541-546 [Conf]

  47. 07011 Abstracts Collection -- Runtime Verification. [Citation Graph (, )][DBLP]


  48. 07011 Executive Summary -- Runtime Verification. [Citation Graph (, )][DBLP]


  49. From scripts to specifications: the evolution of a flight software testing effort. [Citation Graph (, )][DBLP]


  50. Racer: effective race detection using aspectj. [Citation Graph (, )][DBLP]


  51. Confirmation of deadlock potentials detected by runtime analysis. [Citation Graph (, )][DBLP]


  52. Runtime Verification of C Programs. [Citation Graph (, )][DBLP]


  53. Requirements Capture with RCAT. [Citation Graph (, )][DBLP]


  54. Automated Testing of Planning Models. [Citation Graph (, )][DBLP]


  55. Rule Systems for Run-Time Monitoring: From Eagleto RuleR. [Citation Graph (, )][DBLP]


  56. Rule Systems for Runtime Verification: A Short Tutorial. [Citation Graph (, )][DBLP]


  57. Verify Your Runs. [Citation Graph (, )][DBLP]


  58. Towards a framework and a benchmark for testing tools for multi-threaded programs. [Citation Graph (, )][DBLP]


  59. An Entry Point for Formal Methods: Specification and Analysis of Event Logs [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002