Home

  Research

  Papers

  Future Events

  Workshops

  Invited presentations

  Program committees

  Contact me

 

Invited Presentations

Invited talk for:
ARTIST2 Summer School 2008
Title: To be announced
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