Programme and Pre-Proceedings now available.
| Background and Objectives
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.
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
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
- the quality assessment of OSS projects, and
- metrics, procedures, and tools that could be useful in
assessing and qualifying individual participation and
collaboration patterns in OSS communities.
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
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
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
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
- 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
- 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
- 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
- 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 email@example.com