STTT

International Journal on Software Tools for Technology Transfer

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