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
Martin Wirsing
Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich
wirsing@ifi.lmu.de
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)
Susanne Graf
VERIMAG, France
(Verification and Embedded Systems)
Radu Grosu
TU Vienna, Austria
(Verification and Embedded Systems)
John Hatcliff
Kansas State University, USA
(Safety and Security-critical Systems)
Jérôme Hugues
Université de Toulouse, France
(Product Lines)
Michael Huth
Imperial College, UK
(Program Analysis and Security)
Joost-Pieter Katoen
RWTH Aachen, Germany
(Quantitative Methods and TACAS Liaison)
Jaco van de Pol
Aarhus University, Denmark
General (Program Analysis and Tools)
Andreas Podelski
University of Freiburg, Germany
(Constraint Systems)
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)
Competitions and Challenges (CoCha)
Marieke Huismann
University of Twente, Netherlands
(Co-Editor-in-Chief)
Dirk Beyer
LMU Munich, Germany
(Co-Editor-in-Chief)
Armin Biere
University of Freiburg, Germany
Gidon Ernst
LMU Munich, Germany
Bernd Fischer
Stellenbosch University, South Africa
Markus Schordan
Lawrence Livermore, USA
Martina Siedl
JKU Linz, Austria
Tomas Vojnar
TU Brno, Czechia
Heike Wehrheim
University of Oldenburg, Germany
Explanation Paradigms Leveraging Algebraic Intuition (ExPLAIn)
Bernhard Steffen
TU Dormund, Germany
(Co-Editor-in-Chief)
Nis Jansen
Radboud University Nijmegen, Netherlands
(Co-Editor-in-Chief)
Falk Howar
TU Dortmund, Germany
Taylor Johnson
Vanderbilt University, USA
Bettina Könighofer
TU Graz, Austria
Jan Křetínský
TU Munich, Germany
Kim Larsen
Aalborg University, Denmark
Martin Leucker
University of Lübeck, Germany
Corina Pasareanu
Carnegie Mellon University/NASA Ames, USA
Sicco Verweer
TU Delft, Netherlands
Martin Wirsing
LMU Munich, Germany
Foundations for Mastering Change (FoMaC)
Martin Wirsing
LMU Munich, Germany
(Co-Editor-in-Chief)
Tiziana Margaria
University of Limerick and Lero, Ireland
(Co-Editor-in-Chief)
Maurice ter Beek
National Research Council of Italy, Italy
Michael Felderer
Innsbruck University, Austria
Klaus Havelund
NASA Jet Propulsion Laboratory, USA
Mike Hinchey
University of Limerick, Ireland
Reiner Hähnle
TU Darmstadt, Germany
Axel Legay
University of Louvain, Belgium
Laura Nenzi
University of Trieste, Italy
Arend Rensink
University of Twente, Netherlands
Cristina Seceleanu
Mälardalen University, Sweden
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