CALL FOR PAPERS

WoSoCer 2015 - The 5th International IEEE Workshop on Software Certification

November 2-5, 2015, Washington DC, USA

http://www.mobilab.unina.it/wosocer2015



HIGHLIGHTS

- Co-located with a top conference: the 26th IEEE Symposium on Software Reliability Engineering (ISSRE 2015)

- Special theme of this edition: certification of cloud computing services and infrastructures

- A journal special issue for extended, high-quality papers on Reliability Engineering & System Safety, a high-impact Elsevier journal



TOPICS

- Certification of cloud computing services and infrastructures (special theme of WoSoCer 2015)
- Quantitative and qualitative evaluation of system dependability and resilience
- Certification and assurance of systems and services
- Certification of software for emerging technological trends, including dynamic, autonomic, large-scale, and distributed systems
- Certification of third-party components, software reuse and open-source software across systems and services
- Certification and best practices of software development processes in safety- and security-critical domains
- Economics of certification and standards
- Adoption of emerging technologies and best-practices in safety- and security-critical domains
- Open issues, practical experiences and real-world case studies
- Cross-fertilization between safety and security certification and standards

Accepted peer-reviewed papers (between 6 and 8 pages) will be included in a supplemental volume of the ISSRE conference proceedings, and published by the IEEE Computer Society on IEEE Xplore.





IMPORTANT DATES

Paper submission: August 14th, 2015

Paper notification: September 4th, 2015

Camera-ready: September 15th, 2015




PROGRAM COMMITTEE CHAIRS

Massimo Felici, HP Labs, UK
Barbara Gallina, Mälardalen University, Sweden



STEERING COMMITTEE

Roberto Natella, Federico II University of Naples, Italy
Roberto Pietrantuono, Federico II University of Naples, Italy
Nuno Silva, CRITICAL Software S.A., Portugal