Electronic Communications of the EASST

Aims of this journal

ECEASST is a fully refereed journal and provides a forum for practitioners, educators and researchers for disseminating innovative research in the area of software and system technology. The journal is intended as a medium which rapidly publishes conference and workshop proceedings, provided that all contributions are original and peer reviewed. ECEASST is an open access on-line journal, i.e. it provides unlimited access to all contributions which are published electronically only. In this way, ECEASST provides full-text access to all papers and supports the provision of fast and broad feedback to published work.

ECEASST is indexed in Scopus and DBLP, and listed in the Directory of Open Access Journals (DOAJ).

Scope of this journal

The scope of ECEASST is Software Science and Technology as in EASST (European Association of Software Science and Technology), which includes all aspects related to the systematic and rigorous engineering of software and systems. This journal is meant to present primary results achieved in this field. Being primarily a medium for publishing proceedings of conferences and workshops on EASST-related topics, such as the satellite events of ETAPS and further EASST-supported conferences, this journal shall also be opened up for special issues on specific topics.

Editorial Team

Managing Editors:

  • Ulrike Golas, TU Berlin, Germany
  • Falk Maria Howar, TU Dortmund, Germany
  • Anna-Lena Lamprecht, University of Potsdam, Germany

Editorial Board:

  • Maura Cerioli, DISI - Dipartimento di Informatica e Scienze dell'Informazione, L'Università di Genova, Italy
  • Antonio Cerone, School of Engineering and Digital Sciences, Nazarbayev University, Kazakhstan
  • Jose Fiadeiro, University of Dundee, United Kingdom
  • Marie-Claude Gaudel, Université de Paris-Sud, France
  • Kurt Geihs, Universität Kassel, Germany
  • Susanne Graf, VERIMAG, France
  • Reiko Heckel, University of Leicester, United Kingdom
  • Michael G. Hinchey, University of Limerick, Ireland
  • Jens Knoop, TU Wien, Austria
  • Tiziana Margaria, Lero - The Irish Software Research Centre, University of Limerick, Ireland (Managing Editor until 2016)
  • Julia Padberg, HAW Hamburg, Germany (Managing Editor until 2016)
  • Fernando Orejas, Technical University of Catalonia, Spain
  • Andrzej Tarlecki, Warsaw University, Poland
Guest Editors

You are chairing a conference or workshop and want to publish the proceedings in ECEASST? Please contact us by email to eceasst@ub.tu-berlin.de. Please explain your ideas and send the Call for Papers for your event including information about the subject, kind of submissions, review process, programm committee, and time schedule. Note that we require our guest editors to conform to the guideline for editors that has been developed by Committee on Publication Ethics (COPE) and that the review process must be based on blind or double-blind peer reviews.


To submit a contribution please register as author and log in to submit your contribution online. The contribution you may want to submit has to satisfy certain standards: The submission has not been previously published, nor is it before another journal for consideration (or an explanation has been provided in Comments to the Editor). The submission file must be a PDF created using the templates found under https://journal.ub.tu-berlin.de/public/template/. Please note that ECEASST publishes only special issues devoted to specific scientific events or topics, and does not handle individual submissions.


ECEASST does not charge any fees for submission and article processing.

Publication ethics and publication malpractice statement

The publication of an article in a peer-reviewed journal is an essential building block in the development of a coherent and respected network of knowledge. It is a direct reflection of the quality of the work of the authors and the institutions that support them. Peer-reviewed articles support and embody the scientific method. It is therefore important to agree upon standards of expected ethical behavior for all parties involved in the act of publishing: the author, the managing and the guest editor, the peer reviewer, and the society of EASST. ECEASST recognises its responsibilities and conforms to the guideline (see here) of  the Committee on Publication Ethics (COPE), a charitable organization that provides a forum for scientific journal editors and publishers to discuss issues relating to the integrity of the work submitted to or published in their journals. 


Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022

Table of Contents


Sven Jörges, Salim Saay, Steven Smyth


Daniel Busch
Jette Petzold, Reinhard von Hanxleden
Sebastian Teumert, Marvin Krause, Bernhard Steffen
Colm Brandon, Tiziana Margaria
Till Schallau, Stefan Naujokat
Bruno Steffen
Holger Klus, Christoph Knieke, Andreas Rausch, Stefan Wittek
Maximilian Schlüter, Gerrit Nolte
Jonas Schürmann, Bernhard Steffen
Amandeep Singh, Olga Minguett, Tiziana Margaria