|
Background and Objectives
|
|
The aim of this workshop is to bring together researchers
from academia and industry who are interested in
developing techniques for the quality assessment of Open
Source Software (OSS), leading to the definition of a
complete certification process.
The
1st International Workshop on Foundations
and Techniques for Open Source Software Certification
(OpenCert 2007)
was held in Braga, Portugal, as a satellite event
of
ETAPS 2007.
The
2nd International Workshop on Foundations
and Techniques for Open Source Software Certification
(OpenCert 2007) will be held jointly with the
International Workshop on Foundations and
Techniques bringing together Free/Libre Open Source Software
and Formal Methods (FLOSS-FM 2008)
as a satelliete event of
OSS 2008.
OpenCert 2008 will focus on model-based techniques and
formal methods, emphasising on those aspects which are
specific to OSS, such as unconventional development,
rapid evolution of the code, and huge amount of legacy
code.
Contributions to the workshop are expected to present
foundations, methods, tools, empirical studies and case
studies that integrate techniques from different areas
such as certification, security, reverse engineering, and
formal modeling and verification, in order to overcome the
challenges in the quality assessment of OSS.
|
|
|
Submission
|
|
Submissions must not have been published or be
concurrently considered for publication elsewhere. All submissions
will be judged on the basis of originality, contribution to the field,
technical and presentation quality, and relevance to the workshop.
Papers should be written in English and not exceed 16 pages and
prepared using the format available at
http://oss2008.dti.unimi.it/index.php?id=authorKit.htm
Papers must be submitted electronically through
http://www.easychair.org/conferences/?conf=flossfmopencert2008
|
|
|
Call for Papers
|
|
The Call for Paper is available in
TEXT
and
PDF formats.
|
|
|
Joint Workshop Program Co-chairs
|
- Luis Barbosa, University of Minho, Portugal
- Peter Breuer, University of Birmingham, UK
- Antonio Cerone, United Nations University, Macau SAR China
- Simon Pickin, University Carlos III of Madrid, Spain
|
|
|
Joint Workshop Program Committee
|
- Bernhard Aichernig, TU Graz, Austria
- Jesus Arias Fisteus, Universidad Carlos III de Madrid, Spain
- Luis Barbosa, University of Minho, Portugal
- Roberto Barbuti, Università di Pisa, Italy
- Peter Breuer, University of Birmingham, UK
- Vicky Bush, University of Gloucestershire, UK
- Antonio Cerone, United Nations University, Macau SAR China
- Jim Davies, University of Oxford, UK
- Karim Djouani, Université de Paris 12, France
- Dan Ghica, University of Birmingham, UK
- Jesus Gonzalez-Barahona, Universidad Rey Juan Carlos, Spain
- Sotiris Ioannidis, FORTH-ICS, Greece
- Tomasz Janowski, United Nations University, Macau
- Paddy Krishnan, Bond University, Australia
- Cristophe Morvan, Université de Marne-la-Vallée, France
- John Noll, Santa Clara University, USA
- David von Oheimb, Siemens Corporate Technology, Germany
- José Oliveira, Universidade do Minho, Portugal
- Alexander Petrenko, ISP RAS, Russia
- Simon Pickin, University Carlos III of Madrid, Spain
- Jorge Rocha, Universidade do Minho, Portugal
- Walt Scacchi, University of California, Irvine, USA
- Siraj Shaikh, Cranfield University, UK
- Volker Stolz, United Nations University, Macau
- Ralf Treinen, Université Paris Diderot - Paris 7, France
- Joost Visser, Software Improvement Group, the Netherlands
- Tanja Vos, University of Valencia, Spain
|
|
|
OpenCert Steering Committee
|
- Bernhard Aichernig, Technical University of Graz, Austria
- José Nuno Oliveira, University of Minho, Portugal
- Antonio Cerone, UNU-IIST, Macau SAR China
- Martin Michlmayr, University of Cambridge, UK
- David von Oheimb, Siemens AG, Germany
|
|
|
Contact
|
|
All inquiries should be sent to
opencert2008@iist.unu.edu
|
|