Microsoft Word - ISOLADS2021.doc


Electronic Communications of the EASST 
Volume 081 (2022) 

Guest Editors: Sven Jörges, Anna-Lena Lamprecht, Anila Mjeda, Stefan Naujokat 
ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122 

 
 

9th International Symposium 
on Leveraging Applications of Formal Methods, 

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

Preface 
 

Sven Jörges, Anna-Lena Lamprecht, Anila Mjeda, Stefan Naujokat 
 

1 Page 



 
 
 ECEASST 

2 / 2 Volume 081 (2022) 

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 ISoLAs also 
featured Doctoral Symposia. 
 
This volume contains the post-proceedings of the 2021 Doctoral Symposium. The six papers 
contained in this volume are the result of a selection and reviewing process that started with a 
total of eight contributions. We are 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. 
 
The organizers of the 2021 ISoLA Doctoral Symposium, 
Sven Jörges, Anna-Lena Lamprecht, Anila Mjeda, and Stefan Naujokat 
 

Volume Reviewers 
Samih Al-Areqi, Mazars Berlin, Germany 
Steve Boßelmann, TU Dortmund University, Germany  
Ivan Hugo Guevara, University of Limerick, Ireland 
Sven Jörges, FH Dortmund, Germany 
Rafflesia Khan, University of Limerick, Ireland 
Anna-Lena Lamprecht, University of Potsdam, Germany 
Anila Mjeda, Munster Technical University, Ireland 
Stefan Naujokat, TU Dortmund University, Germany 
Stephen Ryan, University of Limerick, Ireland 
Barbara Steffen, TU Dortmund University, Germany 
Dimitrios Zafeirakopoulos, National Technical University of Athens, Greece