Home
Research
Papers
Future Events
Workshops
Invited presentations
Program committees
Contact me
|
|
www.havelund.com
Klaus Havelund
JPL Principal
Appointed Caltech Lecturer in Computer Science
Laboratory for Reliable Software
LARS
Jet Propulsion Labratory JPL
California Institute of Technology Caltech
National Aeronautics and Space Administration NASA
My CV.
Events, Things of Interest
RV 2009
The 9th International Workshop on Runtime Verification.
Grenoble, France, June 26-June 28, 2009.
A 3-day event with tutorials.
Abstract submission: March 1, 2009
Paper submission: March 8, 2009
Class
CS119 Part II : Program Monitoring
Class given at California Institute of Technology, from April 28 - May 29, 2008.
JPL on wikipedia
Caltech on wikipedia
Caltech's Computer Science department
Free website templates
|
|
