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

HealthRecSys 2024   The 6th Workshop on Health Recommender Systems co-located with ACM RecSys 2024
ICCAE 2025   IEEE--2025 17th International Conference on Computer and Automation Engineering (ICCAE 2025)
CCCIS 2025   IEEE--2025 5th International Conference on Computer Communication and Information Systems (CCCIS 2025)
Ei/Scopus- DMCSE 2024   2024 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2024)
ICICT 2025   IEEE--2025 The 8th International Conference on Information and Computer Technologies (ICICT 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