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:

  
Boards and PCs

Boards and Steering Committees

  • Editorial Board of Springers STTT journal on Software Tools for Technology Transfer
  • Editorial Board of ACM TECS journal Transactions on Embedded Computation Systems
  • Board of Embedded Systems Special Interest Group, EMSIG, follow-up organization of the ArtistDesign network of excellence
  • Member of Board of EASST, the European Association for the Study of Science and Technology, EASST
  • Steering Committee of SPIN
  • Steering Committee of IFIP International Conference on Formal Techniques for Distributed Objects, FORTE taking place yearly as a part of DisCoTec (2016-2018)
  • Steering Committee of ACES^MB (2008-2012)
  • Co-Founder and Steering Committee of the Symposium on Formal Methods for Objects and Components FMCO that took place between 2002 and 2007 every year in Leiden or Amsterdam
  • Steering Committee of ETAPS (1999-2003)

Programme Committees

  • 22nd ACM SIGBED International Conference on Embedded Software EMSOFT 2022 part of the Embedded Systems Week ESWEEK taking place a a hybrid event in Shanghai on Octobre 7-14, 2022
  • TACAS 2022, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2022, 2-7 April 2022 in Munich, Germany
  • 21st ACM SIGBED International Conference on Embedded Software EMSOFT 2021 part of the Embedded Systems Week ESWEEK taking place as a Virtual Conference on Octobre 8-15, 2021
  • TACAS 2021, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2021, March 27 to April 1, 2021 online (not in Luxemburg)
  • 14th International Conference on integrated Formal Methods iFM 2019 taking place December 2-6, 2019 in Bergen, Norway
  • 13th International Conference on integrated Formal Methods iFM 2017 taking place September 18-22, 2017 in Torino, Italy
  • 24th International SPIN Symposium on Model Checking of Software SPIN 2017, taking place on July 13-14, 2017 in Santa Barbara, California
  • TACAS 2017, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2017, 22-29 April 2017 in Uppsala, Sweden
  • 28th International Conference on Computer Aided Verification CAV 2016 taking place in Toronto, Ontario on July 17-23, 2016
  • Nasa Formal Methods 2016, taking place on June 7-9, 2016 in Minneapolis, USA
  • RV 2016, the 16th International Conference on Runtime Verification, September 23-30 2016, Madrid, Spain
  • 22nd International SPIN Symposium on Model Checking of Software SPIN 2015, taking place on August 24-26 in Stellenbosch, South Africa
  • FORTE 2015, IFIP International Conference on Formal Techniques for Distributed Objects, taking place as a part of DISCOTEC on June 2-5 in Grenoble
  • Nasa Formal Methods 2015, taking place on April 27-29 in Pasadena, California
  • TACAS 2015, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2015, 11-18 April 2015, London
  • IFM 2014, Int. Conference on Integrated Formal Methods, 9-11 September 2014, Bertinoro, Italy
  • FMTV 2014, Workshop on Formal Methods for Timing Verification, satellite event of the Formal Methods conference, FM 2014, May 12 or 13 2014, Singapore
  • FORTE 2014, IFIP International Conference on Formal Techniques for Distributed Objects, taking place as a part of DISCOTEC on June 3-6 in Berlin
  • TACAS 2014,Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2014, 5-13 April 2014, Grenoble
  • ATVA 2013, 11th Int. Symposium on Automated Technology for Verification and Analysis, October 15 - 18, 2013, Hanoi, Vietnam
  • RV 2013, 4th Int. Conference on Runtime Verification, Rennes, France 24-27 September 2013
  • CBSE 2013 , 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Vancouver, June 17-21, 2013
  • LCCC Focus Period and Workshop on Formal Verification of Embedded Control Systems, April 17-20, 2013, Lund, Sweden
  • TACAS 2013, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2013, 16 - 24 March 2013, Rome
  • ATVA 2012, 10th Int. Symposium on Automated Technology for Verification and Analysis, Kerala, October 3-6, 2012
  • TCS 2012, IFIP Conference on Theoretical Computer Science Amsterdam, September 26-28 2012
  • ICTAC 2012 , Int. Colloquium on Theoretical Aspects of Computing, 24-27 September 2012, Bangalore, India
  • TOOLS 2012 , 50th International Conference on Objects, Models, Components, Patterns, May 28 - June 1 2012, Prague
  • FMOODS-FORTE 2012, IFIP International Conference on Formal Techniques for Distributed Systems joint international Conference (DISCOTEC), Stockholm, Sweden, 13-16 June 2012
  • TACAS 2012, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2012, 24 March - 1 April 2012, Tallinn, Estonia
  • ATVA 2011, 9th Int. Symposium on Automated Technology for Verification and Analysis, October 11-14, 2011 Collocated with ESWEEK 2011
  • RV 2011, 2nd Int. Conference on Runtime Verification, San Francisco, September 27-30, 2011
  • CAV 2011, Int. Conference on Computer Aided Verification, Snowbird, Utah, July 14-20, 2011
  • SPIN 2011, Int. Workshop on Software Model Checking, Snowbird, Utah, July 14-15, 2011. This year SPIN is colocated with CAV 2011
  • FASE 2011, Int. Conference on Fundamental Approaches to Software Engineering, part of ETAPS 2011, March 2011, Saarbruecken, Germany
  • RV 2010, 1st Int. Conference on Runtime Verification, Malta, November 1-4, 2010
  • MoDELS 2010, Conference on Model-Driven Engineering Languages and Design, Oslo, October 3-8, 2010
  • ATVA 2010, 8th Int. Symposium on Automated Technology for Verification and Analysis, September 21-24, 2010 in Singapore
  • SAS 2010, Int. Static Analysis Symposium, Perpignan, September 14-16, 2010
  • MBT 2010, Workshop on Model Based Testing, associated with ETAPS 2010
  • TACAS 2010, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2010, March 22-25, 2010, Paphos, Cyprus
  • QAPL 2010, Eighth Workshop on Quantitative Aspects of Programming Languages, part of ETAPS 2010, March 27-28, 2010
  • ABZ conference on Abstract State Machines, B and Z. Orford Quebec, February 22-25, 2010
  • ATVA 2009, 7th Int. Symposium on Automated Technology for Verification and Analysis, October 13-16, 2009 in MACAO
  • MoDELS 2009, Conference on Model-Driven Engineering Languages and Design. Denver, Colorado, October 4-9, 2009,
  • ICTAC 2009 , Int. Colloquium on THEORETICAL ASPECTS OF COMPUTING, Kuala Lumpur, Malaysia, August 16-20, 2009
  • FMOODS-FORTE 2009, 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems, June 9-12, Lisbon. This year, FMOODS-Forte was part of the annual DISCOTEC event on Distributed Computing
  • SPIN 2009, Int. Workshop on Software Model Checking, Grenoble June 26-28, 2009. This year, Spin was a satellite event of CAV 2009
  • MBT 2009, Workshop on Model Based Testing, associated with ETAPS 2009 York (UK), March 22 2009
  • ATVA 2008, 6th Int. Symposium on Automated Technology for Verification and Analysis, October 2008 in Seoul, Korea
  • ABZ conference on Abstract State machines, B and Z. London September 2008
  • SPIN 2008, Int. Workshop on Software Model Checking, Stanford, August 10-12, 2008
  • IDM 2008, Journée sur Ingénierie Dirigée par les Modèles, Mulhouse, Juin 2008
  • FORTE 2008, 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems, June 10-13, Tokyo, Japan
  • ICSE 2008 30th International Conference on Software Engineering, tool track, Leipzig, Germany, 10 - 18 May 2008
  • MoVaH 2008, Workshop on Modeling, Validation and Heterogeneity with the first IEEE International Conference on Software Testing, verification and validation ICST 2008, Lillehammer, April 2008
  • MBT 2008, Workshop on Model Based Testing, associated with ETAPS 2008 Budapest, April 2008
  • MOMPES 2008, Model-based Methodologies for Pervasive and Embedded Software organized within ETAPS 2008, April 2008
  • ATVA 2007, 5th Int. Symposium on Automated Technology for Verification and Analysis, October 2007 in Tokyo, Japan
  • MoDELS/UML 2007, Nashville (US), September 30 - October 5, 2007,
  • 12th SDLforum 2007 on Integration of System Design Languages, Paris, September 18-21, 2007
  • CAV 2007, Int. Conference on Computer Aided Verification, Berlin, July 3-7, 2007
  • SPIN 2007, Int. Workshop on Software Model Checking, associated with CAV Berlin, July 2-3, 2007
  • IDM 2007, Journée sur l Ingénierie Dirigée par les Modèles, Toulouse, April 2007
  • MBT 2007, Workshop on Model Based Testing, associated with ETAPS 2007 Braga, March 25, 2007
  • TACAS 2007, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS 2007, March 24 - April 1st 2007, Braga, Portugal
  • ICTAC 2006, Int. Colloquium on THEORETICAL ASPECTS OF COMPUTING, Gammarth/Tunis, Tunisia, 20-24 November 2006
  • FMCAD 2006, Sixth Int. Conference on Formal Methods in Computer-Aided Design, San Jose, November 12-16, 2006
  • MoDELS/UML 2006, October 2-6 2006, Genova, Italy
  • FACS 2006, Third International Workshop on Formal Aspects of Component Software (FACS 2006), to be held in Prague, Czech Republic, September 20 -- 22, 2006
  • SEFM 2006, 4th Int. conference on Software engineering and Formal methods, September 11-15, 2006, Pune, India
  • ICCP 2006, 2nd International Conference on Intelligent Computer Communication and Processing, track on Static and Runtime Verification, September 1-2, Cluj, Romania
  • ESWA 2006, Third European Workshops on Software Architecture, co-located with the French-Speaking Conference on Software Architecture, to be hold September 4 -5, 2006, Nantes, France
  • FMICS 2006, 11th International Workshop on Formal Methods for Industrial Critical Systems, colocated with CONCUR 2006, 26-27th of August, Bonn, Germany
  • FM 2006, Int. Conference on Formal Methods (formerly Formal Methods in Europe), Hamilton, Canada, August 21-28, 2006
  • IDM 2006, Journée sur l Ingénierie Dirigée par les Modèles, Lille, June 27-28, 2006
  • SAM 2006, 5th Workshop on System Analysis and Modelling (formerly SDL and MSC Workshop), Kaiserslautern May 3 - June 2, 2006
  • ISORC 2006 , Int. Symposium on Object-oriented Real-time distributed Computing Industrial track April 24-26, 2006 Gyeongju, Korea
  • MBT 2006, Workshop on Model Based Testing, associated with ETAPS 2006 Vienna, March 25 to April 2, 2006
  • FACS 2005, Int. Workshop on Formal Aspects of Component Software, Macau, October 24-25, 2005
  • ICTAC 2005 , Int. Colloquium on THEORETICAL ASPECTS OF COMPUTING, Hanoi, Vietnam - 17-21 October, 2005
  • OMER 2005, Workshop on Object-oriented Modeling of Embedded Real-Time Systems, Paderborn, October 2005
  • ATVA 2005, Third Int. Symposium on Automated Technology for Verification and Analysis, 4-7 October 2005 in Taipei, Taiwan
  • SPIN 2005, Int. Workshop on Software Model checking, associated with CONCUR San Francisco, August 22-23, 2005
  • FIT 2005, Foundations of Interface Technologies, associated with CONCUR, San Francisco, August 22-23, 2005
  • IDM 2005, Journée sur l Ingénierie Dirigée par les Modèles, Paris, June 30 - July 1st, 2005
  • CAV 2005, Int. Conference on Computer Aided Verification, Edinburgh, July 7-10, 2005
  • 12th SDL forum 2005, on Integration of System Design Languages, Grimstad, Norway, 20th-24th June 2005
  • ISORC 2005, Int. Symposium on Object-oriented Real-time distributed Computing, Industrial track, May 18-20, 2005, Seattle
  • FMCAD 2004 , Fifth Int. Conference on Formal Methods in Computer-Aided Design, Austin, Texas, November 14-17
  • ICTAC 2004 , Int. Colloquium on THEORETICAL ASPECTS OF COMPUTING, Guizhou Province, China 23-27 September 2004
  • SAM 2004, Fourth Workshop on SDL And MSC, June 1-4, 2004 Ottawa
  • SPIN 2004, Int. Workshop on Software Model checking, associated with ETAPS 2004, March 27 - April 4, 2004, Barcelona, Spain.
  • MBT 2004 , Int. Workshop on Model-Based Testing, a satellite event of ETAPS 2004 Barcelona, March 27 - April 4, 2004
  • VMCAI, a satellite event of Symposium on Principles of Programming Languages, POPL 2004 in Venezia, January 14-16, 2004
  • Events associated with the UML 2003 , October 20 - 24, 2003, San Francisco:
  • ST.EVE , Workshop on State-oriented vs Event-oriented thinking in Requirements Analysis, Formal Specification and Software Engineering, a satellite event of FME 2003, Pisa, September 8-14, 2003
  • 11th SDL forum, Stuttgart, Germany July, 2003
  • Software Model Checking, a workshop associated with CAV 2003 , Boulder, Colorado, USA, July 8 -- 12, 2003
  • SPIN 2003, associated with ICSE May 9-10, 2003, Portland, Oregon.
  • TACAS 2003, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 7-11, 2003, part of ETAPS 2003, April 5-11, Varsovie, Poland
  • SAM 2002, Workshop on SDL and MSC
  • FMCAD 2002, Fourth Int. Conference on Formal Methods in Computer-Aided Design,
  • SPIN 2002, associated with ETAPS 2002, April 6-14, 2002 in Grenoble.
  • Software Model Checking, workshop associated with CAV 2001 July 2001, Paris.
  • ASM 2001, part of the International Conference on Computer Aided Systems Theory Eurocast01, February 19-23, 2001, Las Palmas de Gran Canaria
  • TACAS 2001, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, associated with ETAPS, Genova, Italy, march 2001
  • ACM SIGPLAN 2000 Workshop on Languages, Compilers, and Tools for Embedded Systems (see LCTES 2000)
  • TACAS 1999, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, associated with ETAPS, Amsterdam
  • TACAS 1998, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, associated with ETAPS, Lisbon
  • TACAS 1997, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems
  • 2nd TACAS 1996, Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, Passau
  • CAV 97, Int. Conference on Computer-Aided Verification
  • CONCUR 95, Int. Conference on Concurrency Theory