posted by organizer: annla83 || 3016 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 24, 2014
Notification Due Sep 9, 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

IEEE SEAI 2025   2025 5th IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2025)
HealthRecSys 2024   The 6th Workshop on Health Recommender Systems co-located with ACM RecSys 2024
IEEE CCAI 2025   IEEE--2025 5th International Conference on Computer Communication and Artificial Intelligence (CCAI 2025)
ICMVA 2025   IEEE--2025 The 8th International Conference on Machine Vision and Applications (ICMVA 2025)
SEAI 2025   2025 5th IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2025)
MLCS 2024   CFP: “MLCS 2024: 6th Workshop on MACHINE LEARNING FOR CYBERSECURITY” workshop event co-located with the ECML PKDD 2024 conference September 9-13, 2024, Vilnius, Lithuania
STM 2024   20th International Workshop on Security and Trust Management (co-located with ESORICS 2024)
DEARING 2024   CfP: DEARING2024@ECMLPKDD - 1st International Workshop on Data-Centric Artificial Intelligence Co-located with ECMLPKDD 2024 September 9 to 13, 2024 - Vilnius, Lithuania
GNNet@CoNEXT 2024   Graph Neural Networking Workshop (co-located with ACM CoNEXT 2024)
ALL 2024   International Workshop on Adaptive Lifelong Learning, co-located with AIED 2024