O p e n C e r t - 2 0 1 1
5th International Workshop on Foundations and Techniques for
Open Source Software Certification
Montevideo, Uruguay, 14-15 November 2011
Satellite Event of SEFM 2011

Background and Objectives | Important Dates | Submission | Publication | Call for Papers | Committees | Contact
Programme, Pre-Proceedings and Slides | Call for Participation
OpenCert 2007 | OpenCert 2008 | OpenCert 2009 | OpenCert 2010 | OpenCert 2012
Programme and Pre-Proceedings now available online!
Background and Objectives

Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and and software-based services are developed, distributed and deployed. Widely acknowledged benefits of OSS include reliability, low development and maintenance costs, as well as rapid code turnover. Linux distributions, Apache and MySQL serve, among many other examples, as a testimony to its success and resilience.

However, state-of-the-art OSS, by the very nature of its open, unconventional, distributed development model, make software quality assessment, let alone full certification, particularly hard to achieve and raises important challenges both from the technical/methodological and the managerial points of view.

This makes the use of OSS, and, in particular, its integration within complex industrial-strength applications, with stringent security requirements, a risk. And, simultaneously an opportunity and a challenge for rigourous, mathematically based, methods in software analysis and engineering.

In such a context, the aim of this workshop is to bring together researchers from academia and industry who are broadly interested in the quality assessment of open source software projects, ultimately leading to the establishment of coherent certification processes, at different levels.

Following the success of the three previous editions (collocated to ETAPS'07, in Braga, OSS'08, at IFIP WCC, in Milan, ETAPS'09 in York, and SEFM 2010 in Pisa, respectively), the workshop will focus on formal methods and model-based techniques that appear promising to facilitate OSS certification. Foundational, methodological and pragmatic issues will be addressed, through both standard technical communications and reports on concrete case-studies and experimental data.

Contributions are expected to foster a broad debate on OSS assessment and certification, integrating techniques and elements from areas as different as

  • product and process certification
  • certification standards
  • formal modelling and verification (model checking and theorem proving)
  • software quality and reverse engineering
  • static analysis, testing and inspection
  • safety, security and usability certification
  • languages and architectures
  • software evolution and reconfigurability
  • automated source code analyses
  • cloud computing
  • knowledge management
  • empirical studies

Important Dates (Extended)
Abstract Submission deadline:   3 October 2011
Paper Submission deadline:   3 October 2011
Acceptance notification:   20 October 2011
Final version due:   31 October 2011

Workshop Format and Submission

The two-day workshop will feature invited talks, contributed paper presentations and a panel discussion. All contibutions, in the form of either full technical papers, between 10 and 16 pages, or short position papers, will undergo a peer-review process. All papers should be written in English and prepared using the specific ECEASST Latex templates available as zip or gzipped tar archives or MS-Word templates available as zip archive or doc file.

Short papers (up to 5 pages) can be positions papers, tool papers or presentation of new ideas or results which are at an early stage of development and which have not yet been thoroughly evaluated.

Authors of short papers may resubmit a full paper version of their work after the workshop, which will be reviewed for inclusion in the ECEASST final proceedings.

Papers must be submitted electronically through Easychair


Accepted papers will be published in Electronic Communications of the EASST after the workshop. Pre-proceedings will be available online before the workshop.

Selected extended papers will be invited to appear in a special issue of a reputed journal in the field. A final decision on this issue depends on the number and quality of the submissions.

Call for Papers

The Call for Paper is available in TEXT, PDF and PostScript formats.

Program Co-chairs
  • Luis Barbosa, Dep. de Informática, Universidade do Minho, Portugal
  • Dimitrios Settas, UNU-IIST, United Nations University, Macau SAR China

Program Committee
  • Luis Barbosa, Dep. de Informática, Universidade do Minho, Portugal (Co-chair)
  • Andrea Capiluppi, University of East London, UK
  • Franscisco Carvalho-Junior, Univ. Federal do Ceara, Brazil
  • Antonio Cerone, UNU-IIST, United Nations University, Macau SAR China
  • Ernesto Damiani, Universita di Milano, Italy
  • Roberto Di Cosmo, Université Paris Diderot / INRIA, France
  • Rafael Dueire Lins, Univ. Federal de Pernambuco, Brazil
  • George Eleftherakis, CS Department, City College, Thessaloniki, Greece
  • Elsa Estevez, UNU-IIST, United Nations University, Macau SAR China
  • Fabrizio Fabbrini, ISTI-CNR, Italy
  • Andrei Formiga, Univ. Federal da Paraiba, Brazil
  • Dan Ghica, Unv. of Birmingham, UK
  • Rene Rydhof Hansen, Aalbork Univ., Denmark
  • Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
  • Panagiotis Katsaros, Dept. of Informatics, Aristotle Univ. of Thessaloniki, Greece
  • Tim Kelly, York University, UK
  • Paddy Krishnan, Bond University, Australia
  • Paolo Milazzo, Dipartmento di Informatica, Universita di Pisa, Italy
  • Jose Miranda, Multicert, Portugal
  • Josh Noll, LERO, Ireland
  • Alexander K. Petrendo, ISP, Russian Academy of Science, Russian Federation
  • Alejandro Sanchez, Univ. Nacional de San Luis, Argentina
  • Dimitrios Settas, UNU-IIST, United Nations University, Macau SAR China (Co-chair)
  • Sulayman K. Sowe, UNU-IAS, Japan
  • Ioannis Stamelos, Dept. of Informatics, Aristotle Univ. of Thessaloniki, Greece
  • Ralf Treinen, PPS, Universite Paris Diderot, France
  • Joost Visser, Software Improvement Group, The Netherlands
  • Tanja Vos, Universidad Politecnica de Valencia, Spain
  • Anthony Wasserman, Carnegie Mellon, Silicon Valley, US

OpenCert Steering Committee
  • Bernhard Aichernig, Technical University of Graz, Austria
  • Antonio Cerone, UNU-IIST, United Nations University, Macau SAR China
  • Martin Michlmayr, University of Cambridge, UK
  • David von Oheimb, Siemens Corporate Technology, Germany
  • José Nuno Oliveira, Dep. de Informática, Universidade do Minho, Portugal


All inquiries should be sent to opencert-2011@iist.unu.edu

  Created: Mon Jul 11 13:47:29 CST 2011 Maintained by  
  Updated: Fri Dec 2 12:10:51 CST 2011 Antonio Cerone and Dimitrios Settas