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
Tiziana Margaria University of Limerick and Lero, IE Coordinating Editor
Andreas Podelski University of Freiburg, DE Constraint Systems
Ina Schieferdecker BMBF, 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
Jaco van de Pol University of Aarhus, DK Program Analysis and Tools

Competitions and Challenges (CoCha) 🔗

Name Institution
Marieke Huismann University of Twente, NL Co-Editor-in-Chief
Dirk Beyer LMU Munich, DE Co-Editor-in-Chief
Armin Biere University of Freiburg, DE
Gidon Ernst LMU Munich, DE
Bernd Fischer Stellenbosch University, ZA
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
Bernhard Steffen TU Dortmund, DE Co-Editor-in-Chief
Nils Jansen Radboud University Nijmegen, NL 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
Martin Wirsing LMU Munich, DE Co-Editor-in-Chief
Tiziana Margaria University of Limerick and Lero, IE 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

Previous Co-Editors-in-Chief 🔗

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