posted by organizer: annla83 || 3475 views || tracked by 6 users: [display]

WoSoCer 2014 : 4th International IEEE Workshop on Software Certification Co-located with ISSRE

FacebookTwitterLinkedInGoogle

Link: http://www.cecris-project.eu/index.php/wosocer2014-home
 
When Nov 3, 2014 - Nov 6, 2014
Where Naples, Italy
Submission Deadline Aug 15, 2014
Notification Due Sep 5, 2014
Final Version Due Sep 15, 2014
 

Call For Papers

The aim of the WoSoCer workshop series is to discuss novel safety assessment and certification approaches able to scale for complex software, and to promote their adoption in real-world, safety-critical systems through industrial and academic research projects.

Topics of interest include, but are not limited to:

• Quantitative and qualitative evaluation of software dependability, and product-oriented certification and assurance cases

• Certifiable software for modern complex systems, including dynamic, autonomic, large-scale, and distributed systems

• Third-party components and software reuse across systems and safety standards

• Improvement of software development processes (e.g., SPICE, CMMI) in safety- and security-critical domains

• Cost-related issues and return-on-investment for certification activities

• Adoption of emerging technologies and practices in safety-critical systems

• Open issues, practical experiences and real-world case studies

• Cross-fertilization between safety and security standards and certification

We solicit the submission of original research papers, up to 6 pages.

Moreover, we invite proposals for demonstrations of innovative tools for dependability and certifiability assessment, accompanied by a short paper describing the tool, up to 3 pages. Tools will be presented during a special session at the workshop, with live demos and presentations.

Both research papers and short papers about the tools will be included in a supplemental volume of the ISSRE conference proceedings, and published by the IEEE Computer Society on IEEE Xplore.

Related Resources

SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
AST 2026   7th ACM/IEEE International Conference on Automation of Software Test
STRL 2025   The 4th International Workshop on Spatio-Temporal Reasoning and Learning
DIMES 2025   Third Workshop on Disruptive Memory Systems
PECS 2025   Workshop on Performance and Energy Efficiency in Concurrent and Distributed Systems (Co-located with Euro-Par 2025)
STMUS 2025   International Workshop on Secure and Trustworthy Machine Unlearning Systems (co-located with ESORICS)
DBpedia Day 2025   DBpedia Day - Co-located with SEMANTiCS 2025
WikiNLP 2025   2th edition of the workshop on Advancing Natural Language Processing for Wikipedia (WikiNLP), co-located with ACL'25
DT4DRS 2025   IEEE 1st International Workshop on Digital Twins for Systems Dependability, Resilience, and Security co-located with DSN25
GraphSys 2025   The Third Workshop on Serverless, Extreme-Scale, and Sustainable Graph Processing Systems (Co-Located with Europar 2025)