MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Klaus Havelund" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

62 documents found, showing 1 through 10. Next 10 →

ATOM

Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools
by Klaus Havelund — 2003 — In Proceedings of the Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD
…Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools Klaus Havelund…
Cited by 3 (0 self) – Add To MetaCart

Java PathFinder User Guide
by Klaus Havelund — 1999 — NASA Ames Research
…Java PathFinder User Guide Klaus Havelund NASA Ames Research Center, Recom Technologies, Moffett…
Cited by 4 (0 self) – Add To MetaCart

The Fork Calculus Towards a Logic for Concurrent ML
by Klaus Havelund — 1994
…The Fork Calculus Towards a Logic for Concurrent ML Klaus Havelund Ph.D. Thesis DIKU -- Datalogisk…
Cited by 2 (1 self) – Add To MetaCart

Mechanical Verification of a Garbage Collector
by Klaus Havelund — 1996 — In Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications
…Mechanical Verification of a Garbage Collector Klaus Havelund NASA Ames Research Center Recom…
Cited by 14 (3 self) – Add To MetaCart

Java PathFinder A Translator from Java to Promela
by Klaus Havelund — 1999 — In Proc. of SPIN’99
…Java PathFinder A Translator from Java to Promela Klaus Havelund NASA Ames Research Center Recom…
Cited by 14 (1 self) – Add To MetaCart

Using Runtime Analysis to Guide Model Checking of Java Programs
by Klaus Havelund — 2000
…Using Runtime Analysis to Guide Model Checking of Java Programs Klaus Havelund QSS/Recom NASA…
Cited by 50 (11 self) – Add To MetaCart

unknown title
by Willem Visser, Klaus Havelund
… Research Center, Moffet Field, CA 94035, USA KLAUS HAVELUND GUILLAUME BRAT Kestrel Technologies/NASA Ames…
Add To MetaCart

A Mechanized Refinement Proof for a Garbage Collector
by Klaus Havelund, Natarajan Shankar — 1998 — Formal Aspects of Computing
… Garbage Collector Klaus Havelund 1 and Natarajan Shankar y2 Dep. of Computer Science, Aalborg…
Cited by 6 (0 self) – Add To MetaCart

Java PathExplorer - A Runtime Verification Tool
by Klaus Havelund, Grigore Rosu — 2001 — In The 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space: A New Space Odyssey
…Java PathExplorer - A Runtime Verification Tool Klaus Havelund Kestrel Technology NASA Ames…
Cited by 22 (4 self) – Add To MetaCart

Program Model Checking as a New Trend
by Klaus Havelund, Willem Visser — 2000
… Model Checking as a New Trend Klaus Havelund Willem Visser 2 Kestrel Technology, NASA Ames Research…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB