Organisation

Lars Frantzen
Radboud University Nijmegen, The Netherlands
Mercedes G. Merayo
Universidad Complutense de Madrid, Spain
Manuel Núñez
Universidad Complutense de Madrid, Spain

Programme Committee

 

Auguston, Mikhail.

Naval Postgraduate School, USA.
Baker, Paul.

Motorola, UK.
Baudry, Benoit.

INRIA/IRISA Rennes, France.
Bernstein, Larry.

Stevens Institute of Technology, USA.
Binder, Robert.

mVerify, USA.
Bochmann, Gregor v..

University of Ottawa, Canada.
Bogdanov, Kirill.

University of Sheffield, UK
Cavalli, Ana.

GET-INT, France.
Conrad, Mirko.

The Mathworks, Munich, Germany.
Counsell, Steve.

Brunel University, UK.
Dalal, Siddharta R.

Xerox Corporation, USA.
El-Fakih, Khaled.

American University of Sharjah, UAE.
Fraser, Gordon.

Graz University of Technology, Austria.
Gao, Jerry.

San Jose State University, USA.
Ghosh, Sudipto.

Colorado State University, USA.
Grieskamp, Wolfgang.

Microsoft Research, USA.
Groz, Roland.

INP ENSIMAG, Grenoble, France.
Hartman, Alan.

IBM Research, Israel.
Hierons, Robert.

Brunel University, UK.
Jain, Ashish.

Telcordia Technologies, USA.
Jard, Claude.

IRISA, Rennes, France.
Leppänen, Sari.

Nokia Research Center, Finland.
Nielsen, Brian.

University of Aalborg, Denmark.
Petrenko, Alexandre.

CRIM, Canada.
Polini, Andrea.

University of Camerino, Italy.
Poore, Jesse.

University of Tennessee, USA.
Pretschner, Alexander.

ETH Zürich, Switzerland.
Robinson-Mallett, Christopher.

GETRAG FORD Transmissions GmbH, Germany.
Rodríguez, Ismael.

Universidad Complutense de Madrid, Spain.
Schmaltz, Julien.

Radboud University Nijmegen, The Netherlands.
Tretmans, Jan.

Embedded Systems Institute, The Netherlands.
Ulrich, Andreas.

Siemens AG, Germany.

Utting Mark.

University of Waikato, New Zealand

Weiglhofer, Martin.

Graz University of Technology, Austria.
Weise, Carsten.

Ericsson, Germany.
Willcock, Colin.

Nokia, Finland.