Call for Papers: 7th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2013)

7th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2013), Monday 23 September 2013, Madrid, Spain,, at the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013), September 25-27, 2013, Madrid, Spain,

Context / 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, OSS communities are, at heart, learning communities formed by people that share the same values, passion, and interest for software development. From this perspective, OSS is the product of a highly diverse, highly distributed collaboration effort. Looking through the glass, the multifaceted aspects of these dynamically evolving, loosely structured OSS communities require an expansion of the typical certification process, beyond traditional frameworks and towards a multidisciplinary approach that would take into account, not only technical, but also social, psychological, and educational aspects at individual and community level. Such a certification process could potentially increase participation and enhance visibility.

In such a context, the aim of this workshop is to bring together researchers from Academia and Industry who are broadly interested in (a) the quality assessment of OSS projects, and (b) 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.

Important Dates

Paper submission deadline: 15 June 2013

Notification of acceptance/rejection: 20 July 2013

Camera-ready copy for pre-proceedings: 6 Sept 2013

Camera-ready copy for post-proceedings: 15 Oct 2013

Workshop date: 23 September 2013

We encourage the pre-submission of title and abstract by 8 June 2013 (not mandatory)

Information to authors

Authors are invited to submit, via Easychair, English-language research contributions or experience reports.

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. Submissions have to be prepared using LNCS style. Submitted papers will be refereed for quality, correctness, originality, and relevance. 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.

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 (, which will collect contributions to some workshops and symposia co-located with SEFM 2013. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Workshop. Pre-proceedings will be available online before the Workshop.

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

Organising Committee

Luis S. Barbosa

Dep Informatics

Universidade do Minho

Campus de Gualtar

4710-057 Braga – Portugal


Antonio Cerone


PO Box 3058

Macau SAR China

Ph.: +853-2871-2930

Fax: +853-2871-2940


Program Committee

  • Pantelis M. Papadopoulos, UNU-IIST, Macau SAR, China (PC co-chair)
  • Bruno Rossi, Free University of Bozen-Bolzano, Italy (PC co-chair)
  • Bernhard Aichernig, Technical University of Graz, Austria
  • Luis Barbosa, University of Minho, Portugal
  • Jaap Boender, Middlesex University London, UK
  • Peter Breuer, University of Birmingham, UK
  • Andrea Capiluppi, Brunel University, UK
  • Antonio Cerone, UNU-IIST, Macau SAR, China
  • Stavros Demetriadis, Aristotle University of Thessaloniki, Greece
  • Yannis Dimitriadis, University of Valladolid, Spain
  • Gabriella Dodero, Free University of Bozen-Bolzano, Italy
  • George Eleftherakis, CITY College, Greece
  • Jose Emilio Labra Gayo, University of Oviedo, Spain
  • Fabrizio Fabbrini, ISTI-CNR, Italy
  • Joao F. Ferreira, Teesside University, UK
  • Jesus Arias Fisteus, Carlos III University of Madrid, Spain
  • Imed Hammouda, Tampere University of Technology, Finland
  • Maria Joao Frade, University of Minho, Portugal
  • Andreas Karatsolis, Carnegie Mellon University in Qatar, Qatar
  • Paddy Krishnan, Oracle Labs, Australia
  • Thomas Lagkas, CITY College, Greece
  • Martin Michlmayr, University of Cambridge, UK
  • Paolo Milazzo, University of Pisa, Italy
  • Jose Miranda, MULTICERT S.A., Portugal
  • John Noll, Lero – the Irish Software Engineering Research Centre, Ireland
  • David von Oheimb, Siemens AG, Germany
  • Jose Nuno Oliveira, University of Minho, Portugal
  • Alexander K. Petrenko, ISP RAS, Russia
  • Simon Pickin, Universidad Complutense de Madrid, Spain
  • Dirk Riehle, University of Erlangen-Nurnberg, Germany
  • Gregorio Robles, King Juan Carlos University, Spain
  • Alejandro Sanchez, Universidad Nacional de San Luis, Argentina
  • Siraj Ahmed Shaikh, Coventry University, UK
  • Ioannis Stamelos, Aristotle University of Thessaloniki, Greece
  • Ralf Treinen, Paris Diderot University, France
  • Tanja Vos, Polytechnic University of Valencia, Spain
  • Tony Wasserman, Carnegie Mellon Silicon Valley, USA

Posted on


Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Share the Joy

Share on LinkedIn

Share by email

Share on Twitter / X

Share on WhatsApp

Featured Startups

QDAcity makes qualitative research and qualitative data analysis fun and easy.
EDITIVE makes inter- and intra-company document collaboration more effective.

Featured Projects

Making free and open data easy, safe, and reliable to use
Bringing business intelligence to engineering management
Making open source in products easy, safe, and fun to use