posted by organizer: annla83 || 2774 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

IEEE ICCTech 2025   IEEE--2025 the 4th International Conference on Computer Technologies (ICCTech 2025)
IEEE CAIT 2024   IEEE--2024 5th International Conference on Computers and Artificial Intelligence Technology (CAIT 2024)
HealthRecSys 2024   The 6th Workshop on Health Recommender Systems co-located with ACM RecSys 2024
LLML 2024   Workshop: Large Language Models and Lexicography 2024 (co-located with EURALEX 2024)
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
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
ALL 2024   International Workshop on Adaptive Lifelong Learning, co-located with AIED 2024
STRL 2024   The 3rd International Workshop on Spatio-Temporal Reasoning and Learning
VehicleSec 2024   Call for Papers: ISOC Symposium on Vehicle Security and Privacy (VehicleSec 2024) Co-located with NDSS 2024, San Diego, CA
AIVR4Exergame 2024   Workshop on AI and AR/VR for Exergaming (AIVR4Exergame): co-located with IEEE AIxVR 2024