Editors

Editors-in-Chief

Bernhard Steffen
Fachbereich Informatik
Programming Systems
Universität Dortmund
Otto-Hahn-Str. 14
44221 Dortmund, Germany
steffen@cs.uni-dortmund.de

John Hatcliff
Department of Computing and Information Sciences
234 Nichols Hall
Kansas State University
Manhattan, KS, 66506-2302, USA
hatcliff@cis.ksu.edu

Coordinating Editor

Tiziana Margaria
Lero, the Irish Software Research Center Tierney
University of Limerick
1000 Limerick
Ireland
tiziana.margaria@lero.ie

Main Office

Julia Rehder
Fachbereich Informatik, Programming Systems
TU Dortmund
44221 Dortmund, Germany
Tel. +49 (231) 755-5801
Fax +49 (231) 755-5802
sttt@cs.uni-dortmund.de

Editorial Board

Michael Butler
University of Southampton, UK
(Formal Methods)

W. Rance Cleaveland
University of Maryland, USA
(Testing)

Jürgen Dingel
Queen’s University, Canada
(Product Lines)

Hubert Garavel
INRIA Rhône-Alpes, France
(Tools)

Stefania Gnesi
ISTI-CNR, Italy
(Verification)

Susanne Graf
VERIMAG, France
(Verification and Embedded Systems)

Radu Grosu
TU Vienna, Austria
(Verification and Embedded Systems)

Gerard J. Holzmann
Nimble Research, Monrovia, USA
(Tools)

Jérôme Hugues
Carnegie Mellon University, USA
(Product Lines)

Marieke Huisman
University of Twente, The Netherlands
(Verification)

Michael Huth
Imperial College, UK
(Program Analysis and Security)

Joost-Pieter Katoen
RWTH Aachen, Germany
(Quantitative Methods and TACAS Liaison)

Andreas Podelski
University of Freiburg, Germany
(Constraint Systems)

Jaco van de Pol
Aarhus University, Denmark
(Tools)

Ina Schieferdecker
Technical University of Berlin and FhG FOKUS, Germany
(Testing)

Scott Smolka
State University of New York, USA
(Process Algebras)

Scott Stoller
Stony Brook University, New York, USA
(Concurrent Systems)

Frits Vaandrager
Radboud University, The Netherlands
(Process Algebra, Model Inference)

Advisory Board

Manfred Broy, Technical University Munich, Germany
Edmund M. Clarke, Carnegie Mellon University, USA
Jeff Kramer, Imperial College, UK
Kim G. Larsen, Aalborg University, Denmark
Nancy Lynch
, MIT, USA
Josef Sifakis, VERIMAG, France
Mary Lou Soffa, University of Virginia, USA
Moshe Y. Vardi, Rice University, USA
Akinori Yonezawa, University of Tokyo, Japan