Susanne Graf

Web VERIMAG
VERIMAG
Web VERIMAG
DCS group
    Susanne.Graf@imag.fr
Tel: (+33) 4 56 52 03 52
Photo

 
Boards and PCs

Boards and Steering Committees

  • Editorial board of Springers STTT journal on Software Tools for Technology Transfer (since 2008)
  • Steering committee of ACES^MB since 2008
  • 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 SPIN since 2003
  • Member of Board of EASST, the European association for the study of science and technology
  • Steering Committee member of ETAPS 1999 - 2003

Programme Committees

  • 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, Saarbrücken

  • 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
  • TACAS 1997 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