Electronic Communications of the EASST
Volume 74 (2017)

Guest Editors: Anna-Lena Lamprecht
ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122

7th International Symposium
on Leveraging Applications of Formal Methods,

Verification and Validation - Doctoral Symposium, 2016
(ISoLA DS 2016)

Preface

Anna-Lena Lamprecht

1 Page



ECEASST

Preface

Since  its  initiation  in  2004,  the  International  Symposium  on  Leveraging  Applications  of
Formal Methods, Verification and Validation (ISoLA, see http://isola-conference.org) has been
providing  a  forum  for  developers,  users,  and  researchers  to  discuss  issues  related  to  the
adoption  and  use  of  rigorous  tools  and  methods  for  the  specification,  analysis,  verification,
certification, construction, test and maintenance of software systems from the point of view of
their different applications domains. In 2014, ISoLA hosted for the first time also a Doctoral
Symposium  as  a  scientific  and  networking  event  specifically  targeted  at  young  academics,
complementing  the  different  thematically  focused  research  tracks  of  the  main  symposium.
Master and PhD students were invited to participate and to present  their research ideas and
projects, to discuss them with the scientific community, and to establish collaborations in their
field  of  research.  It  was  very  well  adopted  (by  the  young  researchers  as  well  as  by  several
seniors that attended the sessions) and presented high-quality works on a wide range of topics.
Accordingly, the next IsoLA in 2016 again featured a Doctoral Symposium. 
This volume contains the post-proceedings of the 2016 Doctoral Symposium. The four papers
contained in this volume are the result of a selection and reviewing process that started with a
total of eight contributions. I am very grateful to all individuals who acted as reviewers for the
efforts they put into the selection process and for the valuable feedback they provided, which
was essential to ensure high quality content.

Utrecht, Netherlands
June 2018

Anna-Lena Lamprecht
Guest Editor

ISoLA 2016 Chairs
Symposium Chair: Tiziana Margaria, Lero, University of Limerick, Ireland
Program Chair: Bernhard Steffen, TU Dortmund University, Germany
Doctoral Symposium Chair: Anna-Lena Lamprecht, Lero, University of Limerick, Ireland

Volume Reviewers
Steve Boßelmann, TU Dortmund University, Germany
Yehia Elrakaiby, Lero, University of Limerick, Ireland
Frederik Gossen, Lero, University of Limerick, Ireland
Kahina Hacid, Informatics Research Insitute of Toulouse, France
Sven Jörges, FH Dortmund, Germany
Steven Smyth, Kiel University, Germany
Jan-Martijn van der Werf, Utrecht University, Netherlands

1 / 1 Volume 74 (2017)