Speaking

I will be speaking at the following Conferences / Events

If you think I should speak at your event or conference contact me.

Upcoming Events / Conferences

Automotive System Safety Europe 
November 28 – 30, 2016, Germany

Past Events / Conferences

6th International Conference Applying ISO 26262 
March 21 – 24, 2016, Germany

2nd International Conference Automotive Embedded Systems 2015  
March 24 – 26, 2015, Berlin, Germany

International SPIN Symposium on Model Checking of Software
21 – 23 July, 2014, San Jose, CA, USA

4th International Conference Applying ISO 26262 
March 24 – 26, 2014, Frankfurt/Main, Germany

1st International Conference Automotive Embedded Software 2014  
March 17 – 19, 2014

5. EUROFORUM-Jahrestagung ISO 26262
Auswirkungen der neuen Norm auf sicherheitsrelevante elektrische/elektronische Systeme in Kraftfahrzeugen
17 – 19 September, 2013, Leinfelden-Echterdingen / Stuttgart, Germany

International SPIN Symposium on Model Checking of Software
08 – 09 July, 2013, Stony Brook, NY, USA

Alpine Verification Meeting
27 – 29 May, 2013, Trento, Italy

3rd International Conference Applying ISO 26262
20 – 22 March, 2013, NH Munich Airport Hotel, Munich, Germany

14th International Conference on Verification, Model Checking, and Abstract Interpretation
20 – 22, January, 2013, Rome, Italy

International Conference Experience with ISO 26262
13 – 15, November, 2012, Darmstadt, Germany

International Conference Experience with ISO 26262
28 – 30, March, 2012, Munich, Germany

Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES)
06 – 08, February, 2012, Dagstuhl, Germany

Computer Safety, Reliability, and Security – 30th International Conference, SAFECOMP 2011
19 – 21, September, 2011, Naples, Italy

18th International SPIN Workshop on Model Checking of Software
14 -15, July, 2011, Snowbird, UT, USA

Ninth Workshop on Quantitative Aspects of Programming Languages
01 – 03, April, 2011, Saarbrücken, Germany

RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
26 – 27, March, 2011, Saarbrücken, Germany

Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES)
16 – 18, February, 2011, Dagstuhl, Germany

ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
03, May, 2010, Cape Town, South Africa

13th International Workshop on Formal Methods for Industrial Critical Systems
15 – 16, September, 2008, L’Aquila, Italy