Committees

Symposium Chair

Tiziana Margaria
LERO
tiziana.margaria@lero.ie

Program Chair

Bernhard Steffen
TU Dortmund
steffen@cs.uni-dortmund.de

Industrial Chair

Axel Hessenkämper

Program Committee (TBC)

  • Yamine Ait Ameur | ISAE-ENSMA
  • Idir Ait Sadoune | CentraleSupelec
  • Christel Baier | TU Dresden
  • Ezio Bartocci | Vienna University of Technology
  • Maurice ter Beek | ISTI-CNR
  • Dirk Beyer | University of Passau
  • Fabrizio Biondi | Postdoc Inria
  • Manfred Broy | Technische Universität München
  • Ingrid Chieh Yu | Univ. of Oslo
  • Ferruccio Damiani | Univ. of Torino
  • Boris Düdder | TU Dortmund
  • Ylies Falcone | Univ. Grenoble-Alpes
  • Alessandro Fantechi | University of Florence
  • Michael Felderer | University of Innsbruck
  • Paul Gibson | IT Sud Paris
  • Stefania Gnesi | ISTI-CNR
  • Dilian Gurov | KTH Royal Institute of Technology
  • Reiner Hähnle | TU Darmstadt
  • Klaus Havelund | Jet Propulsion Laboratory
  • George Heineman | WPI
  • Holger Hermanns | Saarland U
  • Falk Howar | TU Clausthal
  • Marieke Huisman | University of Twente
  • Stefan Jähnichen | TU Berlin
  • Jens Knoop | TU Wien
  • Rahul Kumar | Jet Propulsion Laboratory, NASA
  • Anna-Lena Lamprecht | University of Potsdam
  • Kim Larsen | Aalborg University
  • Axel Legay | CR Inria
  • Jonas Lundberg | Linnaeus University
  • Karl Meinke | KTH Royal Institute of Technology
  • Rosemary Monahan | Maynooth University
  • Marc Pantel | IRIT/INPT-ENSEEIHT
  • Andreas Rausch | TU Clausthal
  • Jakob Rehof | TU Dortmund
  • Ina Schäfer | TU Braunschweig
  • Ina Schieferdecker | Fraunhofer FOKUS
  • Markus Schordan | Lawrence Livermore National Laboratory
  • Christoph Seidl | TU Braunschweig
  • Martin Wirsing | LMU München