November 3-6, 2014
We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop. Two types of submissions are solicited:
1) Research papers: As in previous editions of the workshop, we look for original papers discussing ideas and novel approaches for certification and software dependability in critical domains. Moreover, we welcome papers discussing open challenges and industrial case studies in this area. The page limit for research papers is 6 pages.
2) Proposals for tool demonstrations: This edition of the workshop will include a special session focused ontools for dependability and certifiability assessment, with live demos and presentations. This session will allow authors to get useful feedback from experts in the area, and will engage attendees by discussing the latest advancements in the usability, scalability, and applicability of safety assurance approaches. To propose a tool demonstration, please submit a short paper that briefly describes the problem domain, the ideas behind the tool, and a usage scenario of the tool. The page limit for tool papers is 3 pages.
Papers must be submitted as a single Portable Document Format (PDF) file through the submission website:
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 (http://ieeexplore.ieee.org), provided that at least one author of each accepted paper registers for the ISSRE conference and presents the paper at the workshop.
For any inquiries about submission guidelines, please contact us by email at "wosocer2014 AT easychair.org".