posted by system || 1353 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

IEEE--ISCMI--EI Compendex and Scopus 2018   2018 IEEE 5th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2018)--EI Compendex and Scopus
QRS 2018   IEEE International Conference on Software Quality, Reliability & Security
IEEE eScience 2018   14th IEEE eScience Conference 2018
IEEE DSA 2018   Fifith IEEE International Conference on Dependable Systems and Their Applications
ICSSA 2018   4th International Conference on Software Security and Assurance
ISCMI--IEEE, EI and Scopus 2018   2018 IEEE 5th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2018)--EI Compendex and Scopus
CSRSQ 2018   IEEE International Workshop on Conflicts and Synergies among Reliability, Security, and other Qualities
IA 2018   IEEE International Workshop on Information Assurance
ICEDA--EI Compendex, Scopus 2018   2018 3rd International Conference on Engineering Design and Analysis (ICEDA 2018)--EI Compendex, Scopus
IPDPS 2018   32nd IEEE International Parallel and Distributed Processing Symposium