
Home

Research

Papers

Future Events

Workshops

Invited presentations

Program committees

Contact me

|
|
www.havelund.com
Klaus Havelund
Senior Research Scientist (SRS)
Jet Propulsion Laboratory
Appointed Lecturer in Computer Science at
California Institute of Technology
My CV.
Upcoming Workshops:
VVPS 2009
The 2nd International Workshop on Verification and Validation of
Planning and Scheduling Systems.
Thessaloniki, Greece, September 19-23, 2009.
Satellite event of ICAPS'09,
the 19th International Conference on
Automated Planning and Scheduling.
Paper submission: June 23, 2009
RV 2009
The 9th International Workshop on Runtime Verification.
Grenoble, France, June 26-June 28, 2009.
Teaching
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
|
|