Future events

  Event organization

  Invited presentations

  Program committees

  Contact me


Invited Presentations

Invited speaker at:
Workshop on Software Correctness and Reliability.
Oct 13-14, 2017, ETH Zurich, Switzerland.

Invited talk at:
USC (University of Southern California) in the CS Colloquium Lecture series. November 1, 2016. Los Angeles, California, USA. Invited by Chao Wang.

Invited lecture for:
RV 2016 The 16th International Conference on Runtime Verification.
September 23-30, 2016. Madrid, Spain.

Invited panel speaker for:
NFM'16 (8th NASA Formal Methods Symposium).
June 7-9, 2016, Minneapolis, MN, USA.

Invited speaker at:
CIT 2017 The 5th International CTI Conference.
June 6-8, 2016. Detroit, MI, USA.

Invited as observer at:
IFIP Working Group 2.3 (Programming Methodology).
January 11-15, 2016. Pasadena, California, USA.

Invited lecture for:
SyDe Summer School 2015 Post Graduate Program in System Design.
September 9-11, 2015, Bremen, Germany.

Invited talk for:
EITEC'15 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems.
April 13, 2015, Seattle, Washington, USA.

Invited presentation for:
FTSCS'14 Third International Workshop on Formal Techniques for Safety-Critical Systems.
November 6-7, 2014, Luxembourg.

Participant on "Tool panel" at:
ISoLA'14 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation.
October 8-11, 2014, Corfu, Greece. Directed by Dirk Beyer.

Invited presentation for:
ISoLA'14 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Special track on Statistical Model Checking, Past Present and Future.
October 8-11, 2014, Corfu, Greece.

Invited talk for:
TASE'14 The 8th International Symposium on Theoretical Aspects of Software Engineering.
September 1-3, 2014, Changsha, China.

Invited as observer at IFIP Working Group 1.9/2.15 (Verified Software) July 14-16, 2014 meeting. Vienna.

Invited as observer at IFIP Working Group 1.9/2.15 (Verified Software) December 9-12, 2013 meeting. University of Central Florida, Orlando, Florida, USA.

Invited lecturer (as a private person) for:
The CERIST Autumn School on Cyber-Physical Systems,
Algiers, Algeria, September 30-October 3, 2013.

Invited talk for:
WODA'13 The 11th International Workshop on Dynamic Analysis.
March 16, 2013, Houston, Texas, USA.

Invited talk for:
ICTSS'12 The 24th IFIP Int. Conference on Testing Software and Systems.
November 19-21, 2012, Aalborg, Denmark.

Invited presentation for:
ISoLA'12 special track on Runtime Verification: the application perspective.
October 15-18, 2012, Heraklion, Crete.

Invited participant (speaker) at:
LCCC workshop: System Design meets Equation-based Languages.
September 19-21, 2012, Lund, Sweden.

Invited lecturer for:
The 33rd Marktoberdorf Summer School, Aug 2012 (Engineering Dependable Software Systems).
Title: Verifying Execution Traces.
slides - prepared in collaboration with Giles Reger and Ylies Falcone.

Invited talk for:
SSS'12 (Summer Software Symposium).
July 20, 2012, Minneapolis, MN, USA.

Invited panel speaker for:
NFM'12 (4th NASA Formal Methods Symposium).
April 3-5, 2012, Norfolk, Virginia, USA.

Invited talk for:
HOWARD-60 (Higher-Order Workshop on Automated Runtime Verification and Debugging).
December 20, 2011, Manchester, UK.

Invited talk for:
TORRENTS'11 (2nd TORRENTS Workshop).
December 12, 2011, Toulouse, France.

Invited tutorial together with Martin Leucker for:
SEFM'11 (Software Engineering and Formal Methods).
November 7-18, 2011, Montevideo, Uruguay.

Invited talk for:
EMSOFT'11 (International Conference on Embedded Software).
October 9-14, 2011, Taipei, Taiwan.

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