Home

  Research

  Papers

  Future events

  Event organization

  Invited presentations

  Program committees

  Contact me

 

Invited Presentations

Invited speaker at:
ICTAC 2020
17th International Colloquium on Theoretical Aspects of Computing, 30 November - 4 December 2020 - Macau, China, virtual participation. Talk on youtube.

Invited speaker with Willem Visser at:
ESEC/FSE 2020
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 6-16 November 2020, Sacramento, California, United States, virtual participation. Occasion: the selection of our paper 'Model checking programs', Willem Visser, Klaus Havelund, Guillaume Brat, and SeungJoon Park, published at ASE 2000, for the 2020 SIGSOFT Impact Paper Award.

Invited speaker with Doron Peled at:
ATVA 2020
The 18'th International Symposium on Automated Technology for Verification and Analysis, 19-23 October 2020 - Hanoi, Vietnam, virtual participation. Talk on youtube.

Invited speaker with Grigore Rosu at:
RV 2018
18th International Conference on Runtime Verification, 10-13 November 2018 - Limassol, Cyprus.

Invited speaker with Doron Peled at:
ISoLA 2018
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Track: RV-TheToP: Runtime Verification from the Theory To the Industry Practice, 5-9 November 2018 - Limasol, Cyprus.

Invited speaker at:
ISoLA 2018
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
November 5-9, 2018, Limassol, Cyprus.

Invited speaker together with Doron Peled at:
SPIN 2018, the 25th International Symposium on Model Checking of Software.
June 20-22, 2018, Malaga, Spain.

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