August 03, 2020: Paper submission
August 09, 2020: Paper submission (Extended)
August 21, 2020: Paper notification
August 24, 2020: Paper notification (Extended)
August 28, 2020: Camera-ready
September 04, 2020: Camera-ready (Extended)
October 12 - 15, 2020: Workshop
Luigi De Simone, Federico II Univ. of Naples, Italy
Luigi De Simone, Federico II Univ. of Naples, Italy
Barbara Gallina, Mälardalen Univ., Sweden
Roberto Natella, Federico II Univ. of Naples, Italy
Roberto Pietrantuono, Federico II Univ. of Naples, Italy
Nuno Silva, CRITICAL Software S.A., Portugal
Nuno Antunes, University of Coimbra
Alessandro Biondi, Scuola Superiore Sant’Anna, Italy
Andrea Ceccarelli, University of Florence
Domenico Cotroneo, Federico II University of Naples
Joao Carlos Cunha, Instituto Superior de Engenharia de Coimbra
Fuqun Huang, Institute of Interdisciplinary Scientists
Dongseong Kim, The University of Queensland
Rick Kuhn, Natl Institute of Standards & Technology
Mauro Marinoni, Scuola Superiore Sant’Anna, Italy
Johnny Marques, Instituto Tecnológico de Aeronáutica (ITA), Brasil
Stefano Russo, Federico II University of Naples
Alberto Sillitti, Innopolis University
Stefano Tonetta, FBK-irst
Stefan Winter, TU Darmstadt
Jianwen Xiang, Wuhan University of Technology
Keynote Talk: How do Ordinary Coding Errors Contribute to Security Vulnerabilities? - D. Richard Kuhn, National Institute of Standards & Technology, Computer Security Division, Gaithersburg, Maryland, US (details)
Resilience, Survivability, and Elasticity: A Taxonomy for Change Impact Quantification of Reconfigurable Systems - Alireza Hakamian, Floriment Klinaku, André van Hoorn and Steffen Becker
Ensuring Dataset Quality for Machine Learning Certification - Eric Jenn, Sylvaine Picard, Camille Chapdelaine, Baptiste Lefèvre, Thomas Soumarmon, Cyril Cappi and Laurent Gardes
New Wine in an Old Bottle: N-Version Programming for Machine Learning Components - Arpan Gujarati, Sathish Gopalakrishnan and Karthik Pattabiraman
Towards Automated Evidence Generation for Rapid and Continuous Software Certification - Joanna Cecilia Da Silva Santos, Ali Shokri and Mehdi Mirakhorli
Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products - Carmen Carlan, Daniel Petrișor, Barbara Gallina and Hannes Schoenhaar
Safety-Critical Software - Quantification of Test Results - Johan Sundell, Kristina Lundqvist and Håkan Forsberg
Generating Test Cases to Evaluate and Improve Processes of Safety-Critical Systems Development - Lilian Barros, Celso Hirata, Johnny Marques and Ana Maria Ambrosio
The WoSoCer workshop is a forum to discuss novel solutions for the assessment and certification of software in critical systems, and to promote their adoption through industrial and academic research projects.
We welcome contributions related to any area of critical software systems and certification. Besides, this edition of the workshop encourages contributions to a special theme in security and privacy certification, e.g., certification with respect to privacy concerns in the context of COVID-19 tracing apps.
Topics of interest include (but are not limited to):
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
Quantitative and qualitative evaluation of system dependability and resilience
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
Certification in AI-based and ML systems
Certification for Cyber-Security
Since 2011, WoSoCer has been a satellite event of the IEEE International Symposium on Software Reliability Engineering (ISSRE), a premier conference that emphasizes both academic excellence and industry impact.
Accepted peer-reviewed papers will be included in a supplemental volume of the ISSRE conference proceedings, published by the IEEE Computer Society on IEEE Xplore.
This year, extended, peer-reviewed versions of the best papers will be invited for potential publication in a special issue of a high-impact journal (more information will be provided soon).
We invite original research papers discussing ideas and novel approaches in the area of software certification and dependability.
Papers must be submitted as a single Portable Document Format (PDF) file through the EasyChair website: https://easychair.org/conferences/?conf=issre2020
The page limit papers is up to 8 pages. Both full-length and short papers (e.g., papers reporting ongoing projects and prospective ideas, up to 4 pages) are welcome. Papers must be written in English, and be formatted according to the IEEE Computer Society Format Guidelines. We recommend that you embed fonts whenever possible to improve portability. We also strongly recommend you print the file and review it for integrity (fonts, symbols, equations, etc.) before submitting it. Papers that exceed the page limits specified above, are outside the scope of the workshop, or do not follow the formatting guidelines will be rejected.
All submitted manuscripts will be peer-reviewed by program committee members, with the objective of having at least three reviews for each paper. The best papers will be accepted and included in the workshop program according to the following criteria: relevance of the addressed topic to the scope of the workshop; novelty of the proposed contribution; technical relevance and practicality of presented ideas; relevance of case studies and of results for the industrial community; writing, presentation accuracy and style.
Accepted papers will be published in a supplemental volume of the ISSRE conference proceedings by the IEEE Computer Society, and will appear on IEEE Xplore, provided that at least one author of each accepted paper registers for the ISSRE conference and presents the paper at the workshop.
Please see the following websites for more information about previous editions of WoSoCer, including talks and research papers that have been presented there.