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


Post-proceedings published in Volume 8368 of Lecture Notes in Computer Science

Program, PDF files of Pre-proceedings papers and Presentation Slides 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 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, following the success of the six previous editions (collocated to ETAPS'07, in Braga, OSS'08, at IFIP WCC, in Milan, ETAPS'09 in York, SEFM 2010 in Pisa, SEFM 2011 in Modevideo, and SEFM 2012 in Thessaloniki respectively), 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
  • certification standards;
  • 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

Jesus M. Gonzalez-Barahona
Universidad Rey Juan Carlos, Spain

Using software analytics to characterize FLOSS projects and communities

Abstract: FLOSS (free, libre, open source) software projects, and the development communities that are built around them, may become really large, complex, and difficult to understand. At the same time, the IT strategy of many organizations is increasingly dependent on FLOSS components, and therefore in the corresponding projects and development communities. Therefore, the analysis of those projects to inform strategic and tactic decisions of those organizations is a matter of first necessity for them. Fortunately, FLOSS projects provide plenty of details about their development processes and actors, in the form of traces in their development repositories (source code management systems, issue tracking systems, mailing lists, forums, etc.). Those traces can be retrieved, analyzed and visualized to gain deep knowledge about how the project is performing. Key parameters and indicators can be produced based on those analysis that allow for the tracking of the evolution of the project, and its main trends. The talk will discuss which kind of information is available in such repositories, which kind of indicators can be obtained from it, and will show some real examples of how it is being used to build development dashboards for real FLOSS projects.

Biography: Jesus M. Gonzalez-Barahona teaches and researches at Universidad Rey Juan Carlos, and collaborates with Bitergia, a software development analytics company. He is interested in understanding free / open source software development, in finding ways to improve its efficiency, and in sharing this knowledge.

Important Dates
Paper Submission deadline:   23 June 2013 (EXTENDED)
Accept/Reject Notification:   20 July 2013
Pre-proceedings Final version due:   6 September 2013
Post-proceedings Final version due:   15 October 2013


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. 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 2013. 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
  • Pantelis M. Papadopoulos, UNU-IIST, Macau SAR China
  • Bruno Rossi, Free University of Bozen-Bolzano, Italy

Program Committee
  • Bernhard Aichernig, Technical University of Graz, Austria
  • Luis Barbosa, University of Minho, Portugal
  • Jaap Boender, Middlesex University London, UK
  • Peter Breuer, Brunel University, UK
  • Andrea Capiluppi, Imperial College London, UK
  • Antonio Cerone, UNU-IIST, Macau SAR China
  • Stavros Demetriadis, Aristotle University of Thessaloniki, Greece
  • Roberto Di Cosmo, Université Paris Diderot / INRIA, France
  • 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
  • João F. Ferreira, Teesside University, UK
  • Jesus Arias Fisteus, Carlos III University of Madrid, Spain
  • Imed Hammouda, Tampere University of Technology, Finland
  • Maria João 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
  • Pantelis M. Papadopoulos, UNU-IIST, Macau SAR China (Co-chair)
  • Alexander K. Petrenko, ISP RAS, Russia
  • Simon Pickin, Universidad Complutense de Madrid, Spain
  • Dirk Riehle, University of Erlangen-Nürnberg, Germany
  • Bruno Rossi, Free University of Bozen-Bolzano, Italy (Co-chair)
  • Gregorio Robles, King Juan Carlos University, Spain
  • Alejandro Sanchez, Universidad Nacional de San Luis, Argentina
  • Siraj 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

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 concerning OpenCert 2013 submissions and scientific programme should be sent to opencert-2013@iist.unu.edu

  Created: Fri Mar 22 16:00:54 CST 2013 Maintained by  
  Updated: Thu Sep 5 10:19:36 CST 2013 Antonio Cerone