Preface Electronic Communications of the EASST Volume 20 (2009) Proceedings of the Third International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2009) Preface Luı́s Soares Barbosa, Antonio Cerone and Siraj Ahmed Shaikh 2 pages Guest Editors: Luis S. Barbosa, Antonio Cerone, Siraj A. Shaikh Managing Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122 http://www.easst.org/eceasst/ ECEASST Preface Luı́s Soares Barbosa1, Antonio Cerone2 and Siraj Ahmed Shaikh3 1 lsb@di.uminho.pt, University of Minho, Portugal 2 antonio@iist.unu.edu, United Nations University, Macau SAR China 3 s.shaikh@coventry.ac.uk Coventry University, UK Free/Libre/Open Source Software (FLOSS) has proved to be very successful over the years. This has brought with it an increasing interest to use FLOSS for complex and industrial-strength applications. An important aspect of this is the formal and rigorous analysis of the quality and safety properties of FLOSS along with other related challenges. The aims of the OpenCert series of workshops is to bring together researchers from the academia and the industry interested in the quality assessment of FLOSS and ultimately pro- vide a platform for the establishment of a coherent certification process for FLOSS. The 1st International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2007) was held on 31 March 2007 in Braga, Portugal, as a satellite event of ETAPS 2007. The 2nd International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2008) was held on 10 September 2008 in Milan, Italy, jointly with the In- ternational Workshop on Foundations and Techniques bringing together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008), as a satellite event of OSS 2008. The pro- ceedings of the workshop were published as Technical Report No. 398 of the United Nations University International Institute of Software Technology (UNU-IIST). This volume contains the post-proceedings of the 3rd International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2009) held on 28 March 2009 in York, United Kingdom, as a satellite event of the 12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009). The volume includes a total of seven papers, one of which is an invited contribution by Richard Taylor of Qinetiq. The six other papers have been selected among nine submissions, each reviewed by at least two Program Committee members and revised after the workshop. The organisers would like to express their gratitude to all members of the Program Committee for their hard work and support. The result in your hand would not have been possible without their effort and commitment. The organisers would also like to thank members of the ETAPS 2009 Organising Committee and the staff at the University of York for their logistical, administrative and technical support before and during the event. June 2009 1 / 2 Volume 20 (2009) mailto:lsb@di.uminho.pt mailto:antonio@iist.unu.edu mailto:s.shaikh@coventry.ac.uk Preface Committees Steering Committee - Bernhard Aichernig, Technical University of Graz, Austria - Antonio Cerone, United Nations University, Macau SAR China - Martin Michlmayr, University of Cambridge, UK - David von Oheimb, Siemens AG, Germany - José Nuno Oliveira, University of Minho, Portugal Program Committee - Luı́s Soares Barbosa (Co-chair), University of Minho, Portugal - Manuel Barbosa, University of Minho, Portugal - Roberto Barbuti, Università di Pisa, Italy - Cornelia Boldyreff, University of Lincoln, UK - Vicky Bush, University of Gloucestershire, UK - Andrea Capiluppi, University of Lincoln, UK - Antonio Cerone (Co-chair), United Nations University, Macau SAR China - Gabriel Ciobanu, Alexandru Ioan Cuza University, Romania - Ernesto Damiani, University of Milan, Italy - Roberto Di Cosmo, Université Paris Diderot - Paris 7, France - Jesus Arias Fisteus, Universidad Carlos III de Madrid, Spain - Dan Ghica, University of Birmingham, UK - Stefania Gnesi, ISTI-CNR, Italy - Sotiris Ioannidis, FORTH-ICS, Greece - Tomasz Janowski, United Nations University, Macau SAR China - Fabio Kon, University of São Paulo, Brazil - Paddmanabhan Krishnan, Bond University, Australia - Bernard Lang, INRIA, France - John Noll, Santa Clara University, USA - David von Oheimb, Siemens Corporate Technology, Germany - Alexander K. Petrenko, ISP RAS, Russia - Simon Pickin, Universidad Carlos III de Madrid, Spain - Siraj Ahmed Shaikh (Co-chair), Cranfield University, UK - Volker Stolz, United Nations University, Macau SAR China - Ralf Treinen, Université Paris Diderot - Paris 7, France - Joost Visser, Software Improvement Group, the Netherlands - Tanja Vos, Universidad Politécnica de Valencia, Spain - Tony Wasserman, Carnegie Mellon University, USA Proc. OpenCert 2009 2 / 2