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 also 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 the full-text access to all papers and supports the provision of fast and broad feedback to published work.

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 providing special issues for conferences and workshops on EASST-related topics as e.g. the satellite events of ETAPS and further EASST-supported conferences, this journal shall also be opened up for regular contributions and special columns.

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.

Submission

To submit a contribution please register as author. 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 http://journal.ub.tu-berlin.de/template/.

Guest Editors

You are chairing a conference or workshop and want to publish the proceedings in ECEASST? Please contact us by email to eceasst@journal.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).


Volume 70: Automated Verification of Critical Systems 2014

Table of Contents

Preface

Preface
Marieke Huisman, Jaco van de Pol
PDF

Articles

Alastair Donaldson
PDF
Guy H. Broadfoot
PDF
Laura Kovacs
PDF
Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha
PDF
Jingshu Chen, Marie Duflot, Stephan Merz
PDF
Beatrice Berard, John Mullins
PDF
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
PDF
Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker
PDF
Jeremy Sproston
PDF
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns
PDF
Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
PDF
Adisak Intana, Michael R. Poppleton, Geoff V. Merrett
PDF
Leo Hatvani, Alexandre David, Cristina Seceleanu, Paul Pettersson
PDF
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
PDF
Petr Ročkai, Jiří Barnat, Luboš Brim
PDF
Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos
PDF