OPENCERT 2011 - 5th International Workshop on Foundations and Techniques for OPEN SOURCE SOFTWARE CERTIFICATION

Website | Edit Freely

Category OPENCERT 2011

Deadline: October 03, 2011 | Date: November 14, 2011-November 15, 2011

Venue/Country: Montevideo, Uruguay

Updated: 2011-09-29 19:48:55 (GMT+9)

Call For Papers - CFP

5th International Workshop on Foundations and Techniques for

OPEN SOURCE SOFTWARE CERTIFICATION

Montevideo, Uruguay, 14-15 November 2011

Satellite Event of SEFM 2011

http://opencert.iist.unu.edu/

Abstract submission deadline: 3 October, 2011 (Extended)

Paper submission deadline: 3 October, 2011 (Extended)

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

serve, among many other examples, as a testimony to its success and resilience.

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 engineering.

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

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

SUBMISSION

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 papers up to 5 pages, will undergo a peer-review process.

All papers should be written in English and in ECEASST format.

Short papers can be positions papers, tool papers or presentation of new ideas or results

which are at an early stage of development and which have not yet been thoroughly evaluated.

Detailed information on the submission procedure is available at opencert.iist.unu.edu.

PUBLICATION

Accepted full papers will be published in Electronic Communications of the EASST (ECEASST).

Authors of short papers may resubmit a full paper version of their work after the workshop,

which will be reviewed for inclusion in the ECEASST final proceedings.

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.

IMPORTANT DATES

- Abstract Submission deadline: 3 October 2011

- Paper Submission deadline: 3 October 2011

- Acceptance notification: 20 October 2011

- Final version due: 31 October 2011

WORKSHOP ORGANIZATION

PROGRAM CO-CHAIRS

Luis Barbosa, Dep. de Informática, Universidade do Minho, Portugal

Dimitrios Settas, UNU-IIST, United Nations University, Macau SAR China

ORGANISATION CO-CHAIRS

Antonio Cerone,

Siraj Shaikh,

PROGRAM COMMITTEE

Luis Barbosa, Dep. de Informática, 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, Università di Milano, Italy

Roberto Di Cosmo, Université 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 University, 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, Università 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, Université Paris Diderot, France