posted by user: aljsanchez || 2413 views || tracked by 3 users: [display]

OpenCert 2011 : Foundations and Techniques for Open Source Software Certification


When Nov 14, 2011 - Nov 15, 2011
Where Montevideo, Uruguay
Abstract Registration Due Sep 26, 2011
Submission Deadline Oct 3, 2011
Notification Due Oct 14, 2011
Final Version Due Oct 28, 2011
Categories    open source   formal methods   model-based techniques   CERTIFICATION

Call For Papers

OpenCert 2011

5th International Workshop on Foundations and Techniques for

Montevideo, Uruguay, 14-15 November 2011
Satellite Event of SEFM 2011

Abstract submission deadline: 26 September, 2011 (Extended)
Paper submission deadline: 03 October, 2011 (Extended)


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
serve, among many other examples, as a testimony to its success and

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 but also an opportunity and a challenge for
rigorous, mathematically based, methods in software analysis and

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 four 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


The two-day workshop will feature invited talks, a panel discussion and
contributed paper presentations. All contributions, 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 in ECEASST format.

Detailed information on the submission procedure is available at


Accepted papers will be published in Electronic Communications of the

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.


- Abstract Submission deadline: 19 September 2011
- Paper Submission deadline: 26 September 2011
- Acceptance notification: 14 October 2011
- Final version due: 28 October 2011

Luis Barbosa, Dep. de Informatica, Universidade do Minho, Portugal (Co-chair)
Andrea Capiluppi, University of East London, UK
Francisco Carvalho-Junior, Univ. Federal do Ceará, Brazil
Antonio Cerone, UNU-IIST, United Nations University, Macau SAR China
Ernesto Damiani, Universita di Milano, Italy
Roberto Di Cosmo, Universite 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 Paraíba, Brazil
Dan Ghica, University of Birmingham, UK
Rene Rydhof Hansen, Aalborg 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, Dipartimento di Informatica, Universita di Pisa, Italy
Jose Miranda, MULTICERT, Portugal
John Noll, LERO, Ireland
Alexander K. Petrenko, 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



Related Resources

Electronics (SI Open Souce Learning) 2021   Electronics Special issue: Open Source Software in Learning Environments (IF 2.412, ISSN 2079-9292)
CAV 2021   33rd International Conference on Computer-Aided Verification
PAKDD 2021   Pacific-Asia Conference on Knowledge Discovery and Data Mining
OID 2021   Open Identity Summit 2021
FM 2021   Formal Methods 2021
BUSTECH 2021   The Eleventh International Conference on Business Intelligence and Technology
OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
ALLDATA 2021   The Seventh International Conference on Big Data, Small Data, Linked Data and Open Data