posted by system || 1404 views || tracked by 1 users: [display]

WoSoCer 2013 : The 3rd IEEE International Workshop on Software Certification


When Nov 4, 2013 - Nov 7, 2013
Where Pasadena, CA, USA
Submission Deadline Aug 30, 2013
Notification Due Sep 16, 2013
Final Version Due Oct 1, 2013

Call For Papers


The 3rd IEEE International Workshop on
Software Certification (WoSoCer2013)

November 4-7, 2013

co-located with the 24th IEEE International
Symposium on Software Reliability Engineering (ISSRE)

The WoSoCer workshop series brings together researchers,
practitioners, companies, domain experts, and regulatory
authorities interested in investigating and discussing new
strategies, methods, processes, formalisms and techniques
for the development and the assessment of safety- and
security-critical software. Researchers and practitioners
from both academia and industry, as well as people from
certification authorities, that work on different aspects
of software certification, are invited to participate;
the workshop aims to foster interactions among these
players, and to propose solutions for improving the
development of critical systems, as well as the certification
process as a whole.


Two types of submissions are solicited: (i) full papers,
up to 6 pages, describing novel approaches and industrial
case studies; and (ii) short papers, up to 3 pages, describing
challenges and directions for future research, and in-progress
industrial research projects. Topics of interest include, but
are not limited to:

* Quantitative and qualitative evaluation of dependability,
and product-oriented certification and assurance cases;

* Design and evaluation of certifiable software according to
the needs of modern complex systems, including dynamic,
autonomic, large-scale, and distributed systems;

* Selection, assessment, integration and development of
third-party components in safety- and security-critical
systems, and reuse of the software components across different
systems and different safety standards;

* Assessment and improvement of software development processes
(e.g., SPICE, CMMI) in safety- and security-critical domains.

* Cost-related issues and return-on-investment for development
activities, including requirement analysis, design, V&V, and

* Adoption of emerging technologies (such as multicore computing
and virtualization) and practices (such as agile and
model-driven software development) in safety-critical systems;

* Open issues, practical experiences and empirical studies on
real-world case studies;

* Cross-fertilization between safety and security standards and

All submitted papers will be peer-reviewed by program committee
members, and selected on the basis of the relevance, novelty,
practicality, and presentation of ideas and case studies
presented. Accepted papers will be published in a supplemental
volume of the ISSRE conference proceedings by the IEEE Computer


Paper submission: August 30, 2013

Author notification: September 16, 2013

Camera ready papers: October 1, 2013

Related Resources

ICSA 2019   IEEE International Conference on Software Architecture
ICFEC 2019   3rd IEEE International Conference on Fog and Edge Computing
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ADON 2018   International Workshop on Anomaly Detection ON the Cloud and the Internet of Things
CCGrid 2019   19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing
ITSC 2019   IEEE Intelligent Transportation Systems Conference
IEEE Trans SUSC 2019   IEEE Trans on Sustainable Computing (SI: Intersection of Computing and Communication Technologies with Energy Systems)
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
ENASE 2019   14th International Conference on Evaluation of Novel Approaches to Software Engineering
SCSSS 2018   6th Scandinavian Conference System and Software Safety