Team

Table of Contents

Organization

Conference Chairs

Case Study Chair

Publicity Chair

Local Chair

For further questions concerning ABZ 2021, please contact us at abz2021@uni-ulm.de.

Program Committee

Name Institution
Yamine Ait Ameur IRIT/INPT-ENSEEIHT
Paolo Arcaini National Institute of Informatics
Richard Banach The University of Manchester
Egon Boerger Dipartimento di Informatica, Università di Pisa
Eerke Boiten De Montfort University, Leicester, UK
Michael Butler University of Southampton
Andrew Butterfield Trinity College Dublin
David Deharbe ClearSy System Engineering
Juergen Dingel Queen's University
Flavio Ferrarotti Software Competence Centre Hagenberg
Mamoun Filali-Amine IRIT
Marc Frappier Université de Sherbrooke
Angelo Gargantini University of Bergamo
Vincenzo Gervasi University of Pisa
Gudmund Grov Norwegian Defence Research Establishment (FFI)
Stefan Hallerstede Aarhus University
Klaus Havelund Jet Propulsion Laboratory
Ian J. Hayes The University of Queensland
Thai Son Hoang University of Southampton
Frank Houdek Daimler AG
Alexei Iliasov Newcastle University
Felix Kossak Software Competence Center Hagenberg GmbH
Regine Laleau Paris Est Creteil University
Thierry Lecomte ClearSy
Michael Leuschel University of Duesseldorf
Alexei Lisitsa University of Liverpool
Atif Mashkoor Johannes Kepler University
Jackson Mayo Sandia National Laboratories
Stephan Merz Inria Nancy
Stefan Mitsch Carnegie Mellon University
Rosemary Monahan Maynooth University, Ireland
Mohamed Mosbah LaBRI - University of Bordeaux
Cesar Munoz NASA
Shin Nakajima National Institute of Informatics
Uwe Nestmann TU Berlin
Jose Oliveira University of Minho
Philipp Paulweber Vienna University of Technology, Institute of Information Systems Engineering, Research Unit Compilers and Languages
Luigia Petre Åbo Akademi University
Andreas Prinz University of Agder
Shengchao Qin Teesside University
Philippe Queinnec IRIT - Université de Toulouse
Elvinia Riccobene Computer Science Dept., University of Milan
Victor Rivera Australian National University
Thomas Santen TU Berlin
Patrizia Scandurra DIIMM - University of Bergamo
Gerhard Schellhorn Universitaet Augsburg
Klaus-Dieter Schewe Zhejiang University
Steve Schneider University of Surrey
Jun Sun Singapore Management University
Maurice H. ter Beek ISTI-CNR, Pisa, Italy
Laurent Voisin Systerel
Virginie Wiels ONERA / DTIM
Uwe Zdun University of Vienna, Austria
Wolf ZimmermannMartin Luther University Halle-Wittenberg