posted by user: d_l_b || 4958 views || tracked by 9 users: [display]

EWDC 2013 : 14th European Workshop on Dependable Computing


When May 15, 2013 - May 16, 2013
Where Coimbra, Portugal
Submission Deadline Feb 4, 2013
Notification Due Mar 11, 2013
Final Version Due Apr 1, 2013
Categories    dependability   security   software   information security

Call For Papers

Call for Papers
EWDC 2013 - 14th European Workshop on Dependable Computing
Special Theme: Dependable and Secure Software and Services
15-16 May 2013

This workshop aims to be a European forum for researchers and practitioners
who are working in the field of dependable computing. After the first series,
started in 1989 and held on a yearly basis until 2000,
EWDC was recently revived with the 2009 edition in Toulouse. EWDC will be
run alternatively with EDCC (European Dependable Computing Conference). As
the next EDCC edition is in 2014, the workshop is planned in 2013 and will be
hosted in Coimbra, Portugal.

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
- 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

--- Submission information
Authors are invited to submit both short papers and full papers. This should offer the
greatest flexibility to present novel work/ideas at varying degrees of maturity.
The papers accepted and presented at the workshop will be published in a workshop
volume of proceedings.

Address for paper submission:

--- Important Dates
Submission: Feb. 4th, 2013
Notification: March 11th, 2013
Camera Ready: April 1st, 2013
Workshop date: 15-16 May 2013

Workshop Chair: Marco Vieira (

Related Resources

LADC 2020   10th Latin-American Symposium on Dependable Computing
IEEE COINS 2020   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | Circuit and Systems | WSN | 5G
DSN 2020   Dependable Systems and Networks
AVC 2020   Advances in Vision Computing: An International Journal
ETIS 2020   Fourth European Tangible Interaction Studio
SRDS 2020   International Symposium on Reliable Distributed Systems
ISCAI 2020   2020 2nd International Symposium on Computing and Artificial Intelligence (ISCAI 2020)
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
ICDCS 2020   International Conference on Distributed Computing Systems
DASC 2020   The 18th IEEE Int’l Conference on Dependable, Autonomic and Secure Computing