STTT

International Journal on Software Tools for Technology Transfer

STTT Cover

Editorial Board

The Editorial Board is organized along the new Theme structure.

Name Institution
Bernhard Steffen TU Dortmund, GER Co-Editor-in-Chief
John Hatcliff Kansas State University, USA Co-Editor-in-Chief
Tiziana Margaria University of Limerick and Lero, IRL Coordinating Editor

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) 🔗

Name Institution
Bernhard Steffen TU Dortmund, GER Co-Editor-in-Chief
NN Co-Editor-in-Chief
Falk Howar TU Dortmund, GER
Kim Larsen Aalborg University, DNK
Martin Leucker University of Lübeck, GER
Sicco Verweer TU Delft, NED
Martin Wirsing LMU Munich, GER
NN
NN
NN

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