Call for Papers

EWDC 2013 will focus on dependability and security of software and services. This is a challenging theme, especially when considering that information systems are more and more based on complex, heterogeneous, dynamic software and services, which are characterized by demanding quality attributes. Interoperability in presence of dependability and security guarantees, as well as techniques and tools to assess the impact of accidental and malicious threats are among the crucial aspects to be addressed. Accordingly, topics of interest include, but are not limited to:

- Architecture, design and management of dependable and secure software and services
- Specification and design methodologies, e.g., model-based, component-based, refinement-based approaches
- Metrics for quantifying dependability and security
- Dependability and security benchmarking
- Verification and validation for dependability and security evaluation
- Formal verification, testing, analytical and experimental evaluation
- Off-line versus on-line dependability and security assessment
- Case studies illustrating challenges and solutions in designing dependable and secure software and services
- Design and use of supporting tools

Authors are invited to submit original papers, either in short format (2 to 8 pages) or full format (10 to 15 pages), in the LNCS style. This should offer the greatest flexibility to present novel work/ideas at varying degrees of maturity. The papers will be blind peer reviewed by, at least 3 people assigned by the PC chair.

The proceedings will be published by Springer in their Lecture Notes in Computer Science series. At least one author of each accepted paper should register and present the work at the workshop.

Important dates
Submission deadline: February 22nd, 2013
Notification: March 25th, 2013
Camera Ready: April 1st, 2013