Home
Research
Papers
Future Events
Workshops
Invited presentations
Program committees
Contact me
|
|
www.havelund.com
Klaus Havelund
Senior Research Scientist (SRS)
Jet Propulsion Laboratory
Laboratory for Reliable Software
My JPL website.
My CV.
NASA Formal Methods
RV 2010 Conference
The 1st International Conference on Runtime Verification.
Malta, November 1-4, 2010.
|
NFM 2011 Symposium
Third NASA Formal Methods Symposium.
Pasadena, California, April 18-20, 2011.
Submission deadline December 19, 2010.
|
New!
Java Coding Standard
A standard for coding in Java, developed for JPL.
Please send comments if you have suggestions for improvement.
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.
JPL on wikipedia
Caltech on wikipedia
Caltech's Computer Science department
Free website templates
|
|
