STTT
International Journal on Software Tools for Technology Transfer
Editorial Board
The Editorial Board is organized along the new Theme structure.
General 🔗
Name |
Institution |
|
Bernhard Steffen |
TU Dortmund, GER |
Co-Editor-in-Chief |
John Hatcliff |
Kansas State University, USA |
Co-Editor-in-Chief |
Michael Butler |
University of Southampton, UK |
Formal Methods |
W. Rance Cleaveland |
University of Maryland, USA |
Testing |
Jürgen Dingel |
Queen’s University, CAN |
Product Lines |
Hubert Garavel |
INRIA Rhône-Alpes, FRA |
Tools |
Susanne Graf |
VERIMAG, FRA |
Verification and Embedded Systems |
Radu Grosu |
TU Vienna, AUT |
Verification and Embedded Systems |
Jérôme Hugues |
Université de Toulouse, FRA |
Product Lines |
Michael Huth |
Imperial College, UK |
Program Analysis and Security |
Joost-Pieter Katoen |
RWTH Aachen, GER |
Quantitative Methods and TACAS Liaison |
Tiziana Margaria |
University of Limerick and Lero, IRL |
Coordinating Editor |
Andreas Podelski |
University of Freiburg, GER |
Constraint Systems |
Ina Schieferdecker |
BMBF, GER |
Testing |
Scott Smolka |
State University of New York, USA |
Process Algebras |
Scott Stoller |
State University of New York, USA |
Concurrent Systems |
Frits Vaandrager |
Radboud University, NED |
Process Algebra, Model Inference |
Competitions and Challenges (CoCha) 🔗
Name |
Institution |
|
Marieke Huismann |
University of Twente, NED |
Co-Editor-in-Chief |
Dirk Beyer |
LMU Munich, GER |
Co-Editor-in-Chief |
Armin Biere |
University of Freiburg, GER |
|
Gidon Ernst |
LMU Munich, GER |
|
Bernd Fischer |
Stellenbosch University, ZA |
|
Jaco van de Pol |
University of Aarhus, DNK |
|
Markus Schordan |
Lawrence Livermore, USA |
|
Martina Seidl |
JKU Linz, AUT |
|
Tomas Vojnar |
TU Brno, CZE |
|
Heike Wehrheim |
University of Oldenburg, GER |
|
Explanation Paradigms Leveraging Algebraic Intuition (ExPLAIn) 🔗
Foundations for Mastering Change (FoMaC) 🔗
Name |
Institution |
|
Martin Wirsing |
LMU Munich, GER |
Co-Editor-in-Chief |
Tiziana Margaria |
University of Limerick and Lero, IRE |
Co-Editor-in-Chief |
Maurice ter Beek |
National Research Council of Italy, ITA |
|
Michael Felderer |
Innsbruck University, AUT |
|
Klaus Havelund |
NASA Jet Propulsion Laboratory, USA |
|
Mike Hinchey |
University of Limerick, IRE |
|
Reiner Hähnle |
TU Darmstadt, GER |
|
Axel Legay |
University of Louvain, BEL |
|
Laura Nenzi |
University of Trieste, ITA |
|
Arend Rensink |
University of Twente, NED |
|
Cristina Seceleanu |
Mälardalen University, SWE |
|