Committees
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
↑