posted by user: leandroteocosta || 3725 views || tracked by 15 users: [display]

SAFECOMP 2013 : Internatinoal Conference on Computer Safety, Reliability, and Security


Conference Series : International Conference on Computer Safety, Reliability, and Security
When Sep 24, 2013 - Sep 27, 2013
Where Toulouse, France
Abstract Registration Due Feb 17, 2013
Submission Deadline Mar 3, 2013
Notification Due May 9, 2013
Final Version Due Jun 6, 2013

Call For Papers


The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety critical computer systems. Major topics include, but are not limited to:

fault tolerant and resilient hardware and sofware
error-detection and error recovery mechanisms
distributed and real-time monitoring and control
security and privacy protection mechanisms
safety/security risk assessment
model-based design and analysis
risk reduction and mitigation techniques
formal methods, verification and validation
in-the-loop and model-based testing
methods for qualification, assurance and certification
dependability analysis using simulation and experimental measurement
human and social aspects in dependability analysis
cyber-physical threats and vulnerability analysis
safety guidelines, standards and certification
safety and security interactions and tradeoffs
safety and security cases
Domains of application include (but are not limited to):

railways, automotive, aerospace and avionics
telecommunication and networks
critical infrastructures, smart grids, SCADA
medical devices and healthcare
defence, emergency & rescue
logistics, production automation and robotics, off-shore technology
eduction & training

Related Resources

QRS 2019   The 19th IEEE International Conference on Software Quality, Reliability, and Security
ITCE 2019   The International Conference on Innovative Trends in Computer Engineering
A3S 2019   International Workshop on Automobile Software Security and Safety
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
RQD 2019   25th ISSAT International Conference on Reliability and Quality in Design
CTRQ 2019   The Twelfth International Conference on Communication Theory, Reliability, and Quality of Service
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ICGS3 2019   12th International Conference on Global Security, Safety & Sustainability
COMML 2020   International Conference on Optimization, Metaheuristics and Machine Learning
ISDFS 2019   7th International Symposium on Digital Forensic and Security