Editorial Board


Michael Butler University of Southampton, UK (Formal Methods)
Alessandro Cimatti Fondazione Bruno Kessler, Italy (SMT solving)
W. Rance Cleaveland University of Maryland, USA (Testing)
Jürgen Dingel Queen’s University, Canada (Product Lines)
Hubert Garavel INRIA Rhône-Alpes, FRA (Tools)
Stefania Gnesi ISTI-CNR, ITA (Verification)
Susanne Graf VERIMAG, FRA (Verification and Embedded Systems)
Radu Grosu TU Vienna, Austria (Verification and Embedded Systems)
John Hatcliff Kansas State University, USA
(Editor-in-Chief)
Gerard J. Holzmann NASA/JPL, Pasadena, USA (Tools)
Jérôme Hugues Université de Toulouse, France (Product Lines)
Marieke Huisman University of Twente, The Netherlands (Verification)
Michael Huth Imperial College, UK (Program Analysis and Security)
Joost-Pieter Katoen RWTH Aachen, GER
(Quantitative Methods and TACAS Liaison)
Tiziana Margaria Lero, IRL
(Coordinating Editor)
Andreas Podelski University of Freiburg, GER (Constraint Systems)
Jaco van de Pol University of Twente, The Netherlands (Tools)
Ina Schieferdecker TU Berlin und FhG FOKUS, GER (Testing)
Scott Smolka State University of New York, USA (Process Algebras)
Bernhard Steffen TU Dortmund, GER (Editor-in-Chief)
Scott Stoller SUNY at Stony Brook, New York, USA (Concurrent Systems)
Frits Vaandrager Radboud University, The Netherlands (Process Algebra, Model Inference)