O p e n C e r t - 2 0 1 4
8th International Workshop on Foundations and Techniques for
Open Source Software Certification
Grenoble, France, 1 September 2014
Co-located with SEFM 2014
Background and Objectives | Keynote Speaker | Important Dates | Submission | Publication | Call for Papers | Committees | Contact
Programme and Pre-Proceedings
OpenCert Home | Previous OpenCert Workshops: 2007, 2008, 2009, 2010, 2011, 2012, 2013


Programme and Pre-Proceedings now available.

Background and Objectives

Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems 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 server, and Moodle LMS are, among many other examples, a testimony to its success and resilience.

However, state-of-the-art OSS, by the very nature of its open, unconventional, distributed development model, makes 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 but also an opportunity and a challenge for rigorous methods in software analysis and engineering.

Moreover, the multifaceted aspects of OSS communities require an expansion of the certification process beyond traditional frameworks and requires a multidisciplinary approach, that involve not only technical aspects of the development, but also social, psychological and educational aspects of the communities.

In such a context, following the success of the seven previous editions the aim of this workshop is to bring together researchers from Academia and Industry who are broadly interested in

  1. the quality assessment of OSS projects, and
  2. metrics, procedures, and tools that could be useful in assessing and qualifying individual participation and collaboration patterns in OSS communities.

Contributions to the workshop are expected to present foundations, methods, tools and case studies that use and possibly integrate technique from different areas such as:

  • product and process certification;
  • formal modelling;
  • formal verification: model checking and theorem proving;
  • reverse engineering;
  • static analysis, testing and inspection;
  • safety, security and usability analysis;
  • language design and evolving systems;
  • automated source code analyses;
  • software evolution and reconfigurability;
  • data mining and text mining;
  • ontology engineering;
  • knowledge management;
  • cloud computing;
  • analytical models for the OSS development process;
  • social constructivism in OSS communities;
  • OSS communities as peer-production models;
  • collaborative learning and OSS communities;
  • action research;
  • empirical studies.

Keynote Speaker

Matthieu Moy, Verimag, France

Important Dates
Paper Submission deadline:   Monday 30 June 2014 (EXTENDED)
Accept/Reject Notification:   Tuesday 15 July 2014
Early Registration Notification:   Friday 18 July 2014
Pre-proceedings Final version due:   Tuesday 5 August 2014
Post-proceedings Final version due:   Monday 15 September 2014


Authors are invited to submit, via Easychair, research contributions or experience reports. All papers should be written in English and prepared using the specific LNCS templates available at http://www.springer.de/comp/lncs/authors.html.

There are two categories of submissions

Short papers
up to 6 pages for submission (and up to 8 pages for post-proceedings camera-ready).
Regular papers
between 12 and 16 pages for submission (and between 12 and 18 pages for post-proceedings camera-ready).

The program committee may reject papers that are outside these lengths on the grounds of length alone. Submitted papers will be refereed for quality, correctness, originality, and relevance. Each paper will be reviewed by three Program Committee members. Notification and reviews will be communicated via email. Accepted papers will be included in the workshop programme and will appear in the workshop pre-proceedings. Pre-proceedings will be available online before the Workshop.


Accepted regular papers and a selection of accepted short papers will be published after the Workshop by Springer in a volume of Lecture Notes in Computer Science (http://www.springer.com/lncs), which will collect contributions to some workshops and symposia co-located with SEFM 2014. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Workshop.

A special issue with selected papers may be planned, depending on the number and quality of submissions.

Call for Papers

The Call for Paper is available in TEXT format.

Program Co-chairs
  • Victor Fonte, University of Minho, Portugal
  • Siraj A. Shaikh, Coventry University, UK

Program Committee
  • Bernhard Aichernig, Technical University of Graz, Austria
  • Luis Barbosa, University of Minho, Portugal
  • Alessandro Bessani, Lisbon, Portugal
  • Peter Breuer, Birmingham City University, UK
  • Antonio Cerone, University of Pisa, Italy
  • Yannis Dimitriadis, University of Valladolid, Spain
  • Fabrizio Fabbrini, ISTI-CNR, Italy
  • Jesus Arias Fisteus, Carlos III University of Madrid, Spain
  • Victor Fonte, University of Minho, Portugal (Co-chair)
  • Maria João Frade, University of Minho, Portugal
  • Paddy Krishnan, Oracle Labs, Australia
  • Imed Hammouda, Tampere University of Technology, Finland
  • Alexandre Madeira, HASLab INESC TEC, Portugal
  • Paolo Milazzo, University of Pisa, Italy
  • John Noll, Lero - the Irish Software Engineering Research Centre, Ireland
  • Alexander K. Petrenko, ISP RAS, Russia
  • Simon Pickin, Universidad Complutense de Madrid, Spain
  • Miguel Rio, University College London, UK
  • Gregorio Robles, King Juan Carlos University, Spain
  • Bruno Rossi, Masaryk University, Czech Republic
  • Alejandro Sanchez, Universidad Nacional de San Luis, Argentina
  • Siraj Shaikh, Coventry University, UK (Co-chair)
  • Ioannis Stamelos, Aristotle University of Thessaloniki, Greece
  • Ralf Treinen, Paris Diderot University, France
  • Tony Wasserman, Carnegie Mellon Silicon Valley, USA

OpenCert Steering Committee
  • Bernhard Aichernig, Technical University of Graz, Austria
  • Luis S. Barbosa, Dep. de Informática, Universidade do Minho, Portugal
  • Peter Breuer, Birmingham City University, UK
  • Antonio Cerone, University of Pisa, Italy


All inquiries concerning OpenCert 2014 submissions and scientific programme should be sent to opencert2014@di.uminho.pt

  Created: Wed 2 Apr 2014 09:46:17 CEST Maintained by  
  Updated: Thu 21 Aug 2014 15:23:36 CEST Antonio Cerone