Microsoft Word - Preface Final 28.02.12.doc


Electronic Communications of the EASST 
Volume 46 (2011) 

Guest Editors: Jens Bendisposto, Cliff Jones, Michael Leuschel, Alexander Romanovsky 
Managing Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer 
ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122 

 

Proceedings of the 
11th International Workshop on  

Automated Verification of Critical Systems 
(AVoCS 2011) 

Preface 
 

Alexander Romanovsky, Cliff Jones, Jens Bendisposto, Michael Leuschel 
3 Pages 



 
 
 ECEASST 

2 / 3 Volume 46 (2011) 

Preface  
Alexander Romanovsky, Cliff Jones, Jens Bendisposto, Michael Leuschel 

 
Newcastle University  

1 Preface  
AVOCS, the workshop on Automated Verification of Critical Systems, is an annual meeting 
that brings together researchers and practitioners to exchange new results on tools and 
techniques relating to the verification of critical systems. Topics of interest include all aspects 
of automated verification, including model checking, theorem proving, abstract interpretation 
and refinement; application areas include various types of critical systems (safety-critical, 
security-critical, business-critical, performance-critical, etc.). Contributions that describe 
different techniques or industrial case studies are encouraged. 
 
This volume contains the proceedings of the 11th workshop on Automated Verification of 
Critical Systems that was hosted by Newcastle University and took place during September 
12–14, 2011 in Newcastle upon Tyne, UK. 
 
Previous AVOCS workshops were held at the University of Oxford (2001 and 2007), the 
University of Birmingham (2002), the University of Southampton (2003), The Royal Society 
in London (2004), the University of Warwick (2005), LORIA, Nancy (2006), the University of 
Glasgow (2008), Gregynog (organized by Swansea University) and Heinrich-Heine-
Universität Düsseldorf (2010). AVOCS 2012 will take place in Bamberg, Germany. 
 
AVOCS 2011 received 18 Full Paper submissions (with authors from 13 countries), out of 
which 10 papers were selected for presentation at the workshop (one paper does not appear 
because the authors failed to attend). Furthermore, AVOCS received 11 Short Contribution 
submissions out of which 8 were accepted for presentation. The selection process was carried 
out by the Program Committee (see below), taking into account the originality, quality, and 
relevance of the material presented in each submission. The presented papers are included in 
this volume, together with the contributions from the invited speakers Janet Barnes and Tom 
Maibaum.  
 
We wish to thank all authors who submitted their papers to AVOCS 2011, Jodi Hossbach for 
help with workshop organisation, the Program Committee for its excellent work and the 
reviewers (see below) who supported the Program Committee in the evaluation and selection 
process. 
 
We are grateful to the School of Computing Science at Newcastle University for hosting the 
event and thank CSR, Formal Methods Europe and Microsoft for sponsoring AVOCS 2011. 
We also gratefully acknowledge the use of EasyChair, the conference management system 
developed by Andrei Voronkov. 
 
PC Co-Chairs: Alexander Romanovsky, Cliff Jones (Newcastle University) Jens Bendisposto 
Michael Leuschel (University of Dusseldorf) 



 
 
Preface 

Proc. AVoCS 2011 3 / 3 

 
AVOCS 2011 Program Committee: 
 
Jens Bendisposto (co-chair) 
Antonio Casimiro 
Michael Goldsmith 
Ian Hayes 
Cliff Jones (co-chair) 
Michael Leuschel (co-chair) 
Felix Loesch 
Gerald Luettgen 
Ursula Martin 
Stefan Merz 
Alice Miller 
Markus Roggenbach 
Alexander Romanovsky (co-chair) 
Thomas Santen 
Sebastian Wieczorek 
Jim Woodcock 
 
AVOCS 2011 Referees: 
 
Jeremy Bryans  
Milan Ceska 
Alexander Ditter 
Alexei Iliasov  
Phillip James  
Andreas Roth  
Stephan Scheele 
Wei Wei 
David White  
Luke Wildman