|
Ed Brinksma |
University of Twente, NED
|
(Formal Methods and
Testing)
|
| W.
Rance Cleaveland |
University of
Maryland, USA |
(Testing) |
|
Matthew Dwyer |
University of Nebraska, USA |
(Software Engineering) |
|
Hubert Garavel |
INRIA Rhône-Alpes,
FRA |
(Tools) |
| David
Garlan |
Carnegie Mellon University,
USA |
(Software Engineering) |
| Stefania
Gnesi |
ISTI-CNR, ITA |
(Verification) |
| Susanne
Graf |
VERIMAG, FRA |
(Verification and Embedded
Systems) |
| Chris
Hankin |
Imperial College, UK
|
(Programming Languages)
|
| John Hatcliff |
Kansas State University, USA
|
(Editor-in-Chief)
|
| Gerard J. Holzmann |
NASA/JPL, Pasadena, USA |
(Tools) |
| Kurt
Jensen |
University of Aarhus, DEN
|
(Petri Nets)
|
| Joost-Pieter
Katoen |
RWTH Aachen, GER
|
(Quantitative Methods and TACAS Liaison)
|
| Tiziana Margaria
|
Universität Potsdam, GER
|
(Coordinating
Editor)
|
| Andreas Podelski |
University of Freiburg,
GER |
(Constraint Systems) |
| Arend Rensink |
University of Twente, NL |
(Graphs and Aspects) |
| 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) |
| Pierre
Wolper |
Université de Liege, BEL
|
(Process Algebras) |
| Lenore Zuck |
University of Illinois in Chicago,
USA |
(Run Time Verification) |
