Skip to main content
Log in

Editors

Editors-in-Chief 

Bernhard Steffen
Fachbereich Informatik
Programming Systems
Universität Dortmund
Otto-Hahn-Str. 14
44221 Dortmund, Germany
steffen@cs.uni-dortmund.de

Martin Wirsing
Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich
wirsing@ifi.lmu.de

 

Coordinating Editor 

Tiziana Margaria 
Lero, the Irish Software Research Center Tierney
University of Limerick
1000 Limerick
Ireland
tiziana.margaria@lero.ie

 

Main Office  

Julia Rehder
Fachbereich Informatik, Programming Systems
TU Dortmund
44221 Dortmund, Germany
Tel. +49 (231) 755-5801
Fax +49 (231) 755-5802
sttt@cs.uni-dortmund.de

 

Editorial Board

Michael Butler
University of Southampton, UK
(Formal Methods)  
 

W. Rance Cleaveland
University of Maryland, USA
(Testing) 
 

Jürgen Dingel
Queen’s University, Canada
(Product Lines)
 

Hubert Garavel
INRIA Rhône-Alpes, France
(Tools)  
 

Susanne Graf
VERIMAG, France
(Verification and Embedded Systems)  
 

Radu Grosu
TU Vienna, Austria
(Verification and Embedded Systems)
 

John Hatcliff
Kansas State University, USA
(Safety and Security-critical Systems)
 

Jérôme Hugues

Université de Toulouse, France
(Product Lines)
 

Michael Huth
Imperial College, UK
(Program Analysis and Security)

Joost-Pieter Katoen
RWTH Aachen, Germany
(Quantitative Methods and TACAS Liaison) 

Jaco van de Pol  
Aarhus University, Denmark 
General (Program Analysis and Tools)

Andreas Podelski
University of Freiburg, Germany
(Constraint Systems)  
 

Ina Schieferdecker
Technical University of Berlin and FhG FOKUS, Germany
(Testing) 
 

Scott Smolka
State University of New York, USA
(Process Algebras)
 

Scott Stoller
Stony Brook University, New York, USA
(Concurrent Systems)
 

Frits Vaandrager
Radboud University, The Netherlands
(Process Algebra, Model Inference) 
 

Competitions and Challenges (CoCha) 
 

Marieke Huismann
University of Twente, Netherlands
(Co-Editor-in-Chief)

 

Dirk Beyer
LMU Munich, Germany
(Co-Editor-in-Chief)

 

Armin Biere
University of Freiburg, Germany

Gidon Ernst

LMU Munich, Germany

Bernd Fischer
Stellenbosch University, South Africa

Markus Schordan
Lawrence Livermore, USA

Martina Siedl
JKU Linz, Austria

 

Tomas Vojnar
TU Brno, Czechia

Heike Wehrheim
University of Oldenburg, Germany

 

Explanation Paradigms Leveraging Algebraic Intuition (ExPLAIn)

 

Bernhard Steffen
TU Dormund, Germany
(Co-Editor-in-Chief)

Nis Jansen
Radboud University Nijmegen, Netherlands
(Co-Editor-in-Chief)

Falk Howar
TU Dortmund, Germany

Taylor Johnson
Vanderbilt University, USA

Bettina Könighofer
TU Graz, Austria

Jan Křetínský
TU Munich, Germany

Kim Larsen
Aalborg University, Denmark

Martin Leucker
University of Lübeck, Germany

Corina Pasareanu
Carnegie Mellon University/NASA Ames, USA

Sicco Verweer
TU Delft, Netherlands

Martin Wirsing
LMU Munich, Germany

Foundations for Mastering Change (FoMaC)

Martin Wirsing 

LMU Munich, Germany
(Co-Editor-in-Chief)

Tiziana Margaria
University of Limerick and Lero, Ireland
(Co-Editor-in-Chief)

Maurice ter Beek
National Research Council of Italy, Italy

Michael Felderer
Innsbruck University, Austria

Klaus Havelund
NASA Jet Propulsion Laboratory, USA

Mike Hinchey
University of Limerick, Ireland

Reiner Hähnle
TU Darmstadt, Germany

Axel Legay
University of Louvain, Belgium

Laura Nenzi
University of Trieste, Italy

Arend Rensink
University of Twente, Netherlands

Cristina Seceleanu
Mälardalen University, Sweden

 

Advisory Board  

Manfred Broy, Technical University Munich, Germany
Edmund M. Clarke, Carnegie Mellon University, USA
Jeff Kramer, Imperial College, UK
Kim G. Larsen, Aalborg University, Denmark
Nancy Lynch, MIT, USA
Josef Sifakis, VERIMAG, France
Mary Lou Soffa, University of Virginia, USA
Moshe Y. Vardi, Rice University, USA
Akinori Yonezawa, University of Tokyo, Japan

Navigation