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
|
|
