Home

  Research

  Papers

  Future events

  Event organization

  Invited presentations

  Program committees

  Contact me

 

www.havelund.com

Wrt. this webpage design: remember, it is not all about looks.

Klaus Havelund

Jet Propulsion Laboratory
Laboratory for Reliable Software

JPL is a NASA field center.
JPL is a Federally Funded Research and Development Center (FFRDC).
JPL is managed by California Institute of Technology (Caltech).
JPL on the wikipedia.

I am a Senior Research Scientist (SRS) & elected SRS council member.
I am also a JPL principal.
Member of IFIP WG 1.9/2.15.
On the editorial board for FoMaC Transactions on Foundations for Mastering Change.
Member of the External Expert Group for COEMS - Continuous Observation of Embedded Multicore Systems.
Member of the Association for Computing Machinery (ACM).

My CV.


The paper Model Checking Programs, Willem Visser, Klaus Havelund, Guillaume Brat, and SeungJoon Park, published at the Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000), won the 2020 SIGSOFT Impact Paper Award!.
The paper Monitoring Java Programs with Java PathExplorer, Klaus Havelund and Grigore Rosu, published at The First Workshop on Runtime Verification (RV'01), Paris, France, 23 July 2001. Electronic Notes in Theoretical Computer Science, Volume 55, Number 2, 2001, won the RV 2018 Test of Time award.
The paper Monitoring Programs using Rewriting, Klaus Havelund and Grigore Rosu, published at ASE 2001, won the ASE 2016 Most Influential Paper award.
The paper Model checking programs, Willem Visser, Klaus Havelund, Guilleume Brat, and SeungJoon park, published at ASE 2000, won the ASE 2014 Most Influential Paper award.
The LogFire tool (described in this
paper) won the offline track (log analysis) of CRV-2015, The 2nd International Competition on Runtime Verification. Held in connection with RV'15, The 15th International Conference on Runtime Verification, September 22 - September 25, 2015 Vienna, Austria.
A language for modeling and programming: K. Created in an effort to provide a textual language for SysML, and inspired by formal specification languages such as Z and VDM. Supported by SMT. Try the online K editor.
Java Coding Standard
A standard for coding in Java, developed for JPL, in a collaboration between JPL (Havelund) and semmle.com.

Earlier version of Java coding standard here













Teaching

As Appointed Lecturer in Computer Science at California Institute of Technology, 2008 and 2009:


CS119 Part II : Program Monitoring, 2008
Class given at California Institute of Technology, from April 28 - May 29, 2008.



CS119 Part II : Program Monitoring, 2009
Class given at California Institute of Technology, May, 2009.






















Free website templates