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, DE Co-Editor-in-Chief
Martin Wirsing LMU Munich, DE Co-Editor-in-Chief
Tiziana Margaria University of Limerick and Lero, IE Coordinating Editor

General 🔗

Name Institution
Bernhard Steffen TU Dortmund, DE Co-Editor-in-Chief
Martin Wirsing LMU Munich, DE Co-Editor-in-Chief
Michael Butler University of Southampton, GB Formal Methods
Jürgen Dingel Queen’s University, CA Product Lines
Hubert Garavel INRIA Rhône-Alpes, FR Tools
Susanne Graf VERIMAG, FR Verification and Embedded Systems
Radu Grosu TU Vienna, AT Verification and Embedded Systems
John Hatcliff Kansas State University, US Safety and Security-critical Systems
Jérôme Hugues Université de Toulouse, FR Product Lines
Michael Huth Imperial College, GB Program Analysis and Security
Joost-Pieter Katoen RWTH Aachen, DE Quantitative Methods and TACAS Liaison
Andreas Podelski University of Freiburg, DE Constraint Systems
Jaco van de Pol University of Aarhus, DK Program Analysis and Tools
Ina Schieferdecker TU Berlin, DE Testing
Scott Smolka State University of New York, US Process Algebras
Scott Stoller State University of New York, US Concurrent Systems
Frits Vaandrager Radboud University, NL Process Algebra, Model Inference

Competitions and Challenges (CoCha) 🔗

Name Institution
Dirk Beyer LMU Munich, DE Co-Editor-in-Chief
Marieke Huismann University of Twente, NL Co-Editor-in-Chief
Armin Biere University of Freiburg, DE
Gidon Ernst LMU Munich, DE
Bernd Fischer Stellenbosch University, ZA
Jaco van de Pol University of Aarhus, DK
Markus Schordan Lawrence Livermore, US
Martina Seidl JKU Linz, AT
Tomas Vojnar TU Brno, CZ
Heike Wehrheim University of Oldenburg, DE

Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn) 🔗

Name Institution
Nils Jansen Radboud University Nijmegen, NL Co-Editor-in-Chief
Bernhard Steffen TU Dortmund, DE Co-Editor-in-Chief
Falk Howar TU Dortmund, DE
Taylor Johnson Vanderbilt University, US
Bettina Könighofer TU Graz, AT
Jan Křetínský TU Munich, DE
Kim Larsen Aalborg University, DK
Martin Leucker University of Lübeck, DE
Corina Pasareanu Carnegie Mellon University/NASA Ames, US
Sicco Verweer TU Delft, NL
Martin Wirsing LMU Munich, DE

Foundations for Mastering Change (FoMaC) 🔗

Name Institution
Tiziana Margaria University of Limerick and Lero, IE Co-Editor-in-Chief
Martin Wirsing LMU Munich, DE Co-Editor-in-Chief
Maurice ter Beek National Research Council of Italy, IT
Michael Felderer Innsbruck University, AT
Klaus Havelund NASA Jet Propulsion Laboratory, US
Mike Hinchey University of Limerick, IE
Reiner Hähnle TU Darmstadt, DE
Axel Legay University of Louvain, BE
Laura Nenzi University of Trieste, IT
Arend Rensink University of Twente, NL
Cristina Seceleanu Mälardalen University, SE
Francesco Tiezzi University of Florence, IT

Previous Co-Editors-in-Chief 🔗

Name Institution
Rance Cleaveland University of Maryland, US
John Hatcliff Kansas State University, US