Web VERIMAG
VERIMAG

Susanne Graf

Susanne.Graf@imag.fr       
Tel: (+33) 4 57 42 22 19     
Office 283 in IMAG building
Photo

 
Invited Presentations

Invited Talks and Panels (a selection)

  • Invited presentation at Mission Critical Software-Infrastructures workshop taking place in Dresden on January 21, 2016
  • Invited presentation at ISPDC 2014, IEEE-13th International Symposium on Parallel and Distributed Computing, taking place in Porquerolles, France in June 2014
  • Invited presentation at FSMA 2014, 2nd French Singaporean Workshop on Formal Methods and Applications, taking place May 13th in Singapore as an affiliated event of FM 2014
  • Invited presentation at iFM 2013, the 10th International Conference on integrated Formal Methods in June 2013 in Turku, Finland
  • Invited presentation at the LCCC Focus Period and Workshop on Formal Verification of Embedded Control Systems in April 2013 in Lund, Sweden
  • Invited Presentation at the INCOSE Industrial Day in March 2010 in Tel Aviv
  • Invited Presentation at the Forum on Specification and Design Languages FDL 2008 that took place in September 2008 in Stuttgart, Germany
  • Invited talk at the Int. System Engineering Event INCOSE 2008, June 2008, Utrecht, the Netherlands
  • Invited talk at FORTE 2007, June 27-29 2007, Tallinn, Estonia
  • Invited Talk ath the QAPL 2006 workshop, Vienna in April 2006, satellite event of ETAPS
  • Invited presentation at the Telelogic user conference, Paris (France), October 6, 2004
  • Invited presentation at the EWSA 2004 European Workshop on Software Architectures, St. Andrews (Scottland), Mai 2004
  • Invited presentation at the Symposium 10 years of TACAS with ETAPS 2004 Modelling and Validation of real-time systems with IF, Barcelona, March 2004
  • Invited presentation at the ST.EVE workshop on State-oriented vs Event-oriented thinking in Requirements Analysis, Formal Specification and Software Engineering, satellite event of Formal Methods in Europe, FME 2003. "Events in real-time systems"
  • Invited Panel on Time in ASM at ASM 2003,Workshop on Abstract State Machines, Taormina, March 2003
  • Invited presentation at the IFIP WG10.4 on Dependable Computing and Fault Tolerance, Stennungsund, July 4-8, 2001
  • Invited presentation at the Microsoft Research, Seattle, May 16, 2001
  • Invited presentation at the Workshop on Automated Formal Methods organised by Mike Reed, Oxford, June 1996

Summerschools and Tutorials (a selection)