Home

  Research

  Papers

  Future Events

  Workshops

  Invited presentations

  Program committees

  Contact me

  

Invited Presentations

Invited talk for:
FMA'09 (Formal Methods for Aerospace).
November, 2009, Eindhoven, the Netherlands.
Satellite workshop of FM'09.

Invited talk for:
SMC-IT'09 workshop: Software Reliability for Space Missions.
July 20, 2009, Pasadena, California, USA.
Satellite workshop of SMC-IT'09.

Invited tutorial for:
9th International Workshop on Runtime Verfication.
June 26-28, 2009, Grenoble, France.
Satellite workshop of CAV'09.

Invited talk for:
COMPASS'09 (Correctness, Modeling and Performance of Aerospace Systems).
March 28, 2009, York, UK.
Satellite workshop of ETAPS'09.

Talk for 10-11 graders (Space : The Final Frontier).
April 1, 2009, Manchester, UK.

Lecture talk for:
ARTIST2 Summer School 2008
Title: Rule-Based Runtime Verification
September 8-12, 2008, Autrans (near Grenoble), France.

Invited talk for:
PADTAD'06 (Parallel and Distributed Systems: Testing and Debugging).
Title: Confirmation of Deadlock Potentials Detected by Runtime Analysis
July 17 2006, Portland, Maine, USA.

Invited talk for the 8th NASA JPL-GSFC Quality Mission Software Workshop,
May 2, 2006, Santa Barbara, California, USA.

Invited talk for:
CASSIS'05 (Construction and Analysis of Safe, Secure and Interoperable Smart devices).
See workshop program session 6: Validation and Formal Methods.
March 8th to March 11th 2005, Nice, France.

Invited talk for:
VVEIS'05 (The 3rd International Workshop on Verification and Validation of Enterprise Information Systems).
May 24, 2005, Miami, Florida.
Satellite workshop of ICEIS'05.

Invited talk for Danish industry, arranged by:
CISS (Centre for Embedded Software Systems).
See program .

Participation at:
Monterey and CUE workshops,
Vienna, Austria, October 4-7, 2004.

Presentation at:
Joint CAV/ISSTA Special Event on Specification, Verification, and Testing of Concurrent Software.
Boston, USA, July 14, 2004.
Slides available on website.

Invited talk (given by Shmuel Ur) and paper for:
PADTAD'03 (Parallel and Distributed Systems: Testing and Debugging).
Title: Benchmark and Framework for Encouraging Research on Multi-threaded Testing Tools
Authors: Klaus Havelund, Scott Stoller, and Shmuel Ur
April 22-26 2003, Nice, France.



Free website templates