Web VERIMAG
VERIMAG

Susanne Graf

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

Interests and Activities:

Publications:

Contact information:

  
Invited Presentations

Invited Talks and Panels at Conferences and Workshops (a selection)

  • Invited Presentation at CAV 2022 (part of FloC 2022) at the occasion of the CAV award 2022. The award was for the paper ``Construction of abstract state graphs with PVS'' with Hassen Saidi, which has been presented at CAV'97, in Haifa as well. The present talk was on my ongoing new project with Wang Yi and the Embedded Systems group in Uppsala: ``MIMOS, a framework for Design and Update of Real-Time Embedded Systems'' (slides will come here. A few pictures from the CAV Award Sessions 2021 and 2022 which both took place this year in Haifa are here)
  • Invited presentation at FMICS 2018, 23rd International Conference on Formal Methods for Industrial Critical Systems, which took place on September 3-4, 2018 in Maynooth University, Ireland. Presentation on "Building correct Cyber-Physical Systems - why we need a Multiview Contract Theory?".
    They had prepared a surprise for me: the second day of FMICS was organised as a workshop for my `something' Birthday with interesting contributions from my former Phd students and co-authors. (there will be a picture when I have time, oh oh ...)
  • 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)