posted by user: vslatten || 6379 views || tracked by 19 users: [display]

EWDC 2011 : 13th European Workshop on Dependable Computing

FacebookTwitterLinkedInGoogle

Link: http://ewdc2011.isti.cnr.it/index.htm
 
When May 11, 2011 - May 12, 2011
Where Pisa, Italy
Submission Deadline Feb 3, 2011
Notification Due Mar 18, 2011
Final Version Due Apr 4, 2011
Categories    dependability
 

Call For Papers

Special theme: Resilience of Evolving Software Systems.

EWDC 2011 will focus on the resilience of evolving software systems. This is a challenging theme, especially when considering that information systems are more and more composed of complex, heterogeneous, evolving networked systems and infrastructures characterized by dynamic requirements and changes in the environment and in the systems themselves. Issues of interoperability in presence of dependability guarantees, as well as efficient and scalable modelling and experimental techniques to assess the impact of accidental or malicious threats on dependability and security attributes, are among the crucial aspects to be addressed. Accordingly, topics of interest include, but are not limited to:

1. Architecture, design and management of resilient evolving systems
2. Specification and design methodologies, e.g., model-based, component-based, refinement-based approaches
3. Metrics for quantifying the dependability of resilient evolving systems
4. Model verification and validation for dependability and security evaluation
5. Formal verification, testing, analytical and experimental evaluation
6. Off-line versus on-line dependability assessment
7. Case studies illustrating challenges and solutions in resilient evolving systems
8. Design and use of supporting tools

Authors are invited to submit either short papers (2 pages) or full papers (5-6 pages), 10 pt font, single space, double column format. This should offer the greatest flexibility to present novel work/ideas at varying degrees of maturity. Please, see proceedings template here for detailed instructions. The papers accepted and presented at the workshop will be published in a workshop volume of the ACM Digital Library with the ISBN 978 1 4503 02845.


Workshop Chair Felicita Di Giandomenico (ISTI-CNR, Italy)
Finance & Admin Ettore Ricciardi (ISTI-CNR, Italy)
Website Marco Martinucci (ISTI-CNR, Italy)
Publication Silvano Chiaradonna (ISTI-CNR, Italy)

# Program Committee
1. Tomas Bures (Charles University, Czech Republic)
2. Vincenzo De Florio (Universiteit Antwerpen, Belgium)
3. Antinisca Di Marco (Univ. of L'Aquila, Italy)
4. Jean-Charles Fabre (LAAS-CNRS/Université de Toulouse, France)
5. Valérie Issarny (INRIA, France)
6. Erland Jonsson (Chalmers Univ., Sweden)
7. Marta Kwiatkowska (Univ. of Oxford, UK)
8. Paolo Lollini (Univ. of Florence, Italy)
9. Paolo Masci (ISTI-CNR/Univ. of Pisa, Italy)
10. Simin Nadjm-Tehrani (Linköping University, Sweden)
11. Nuno Neves (Univ. of Lisbon, Portugal)
12. Marta Patiño-Martínez (Univ. of Madrid, Spain)
13. Leonardo Querzoni (Univ. of Rome, Italy)
14. Manfred Reitenspieß (Fujitsu Siemens Computers, Germany)
15. Juan Carlos Ruiz (Univ. of Valencia, Spain)
16. Felix Salfner (Humboldt-Universität zu Berlin, Germany)
17. Marco Serafini (Yahoo! Research, Spain)
18. Giovanna Di Marzo Serugendo (Univ. of Geneva, Switzerland)
19. François Taïani (Lancaster University, UK)
20. Dániel Varró (BUTE, Hungary)
21. Marco Vieira (Univ. of Coimbra, Portugal)
22. Roman Vitenberg (Univ. of Oslo, Norway)
23. Hélène Waeselynck (LAAS-CNRS, France)

# EDCC & EWDC Steering Committee
1. Karama Kanoun (Chair, France)
2. Algirdas Avižienis (Lithuania)
3. Felicita Di Giandomenico (Italy)
4. Ricardo Jiménez-Peris (Spain)
5. Johan Karlsson (Sweden)
6. Jean-Claude Laprie (France)
7. Henrique Madeira (Portugal)
8. Miroslaw Malek (Germany)
9. Jaan Raik (Estonia)
10. Brian Randell (UK)
11. Luca Simoncini (Italy)
12. Janusz Sosnowski (Poland)

Related Resources

DSN 2021   51th IEEE/IFIP International Conference on Dependable Systems and Networks
ICONIP 2021   The 28th International Conference on Neural Information Processing (ICONIP2021)
IoT Edge Computing AI 2021   Edge Computing Optimization Using Artificial Intelligence Methods
ICoIV 2021 - Ei Compendex & Scopus 2021   2021 International Conference on Intelligent Vehicles (ICoIV 2021)
IWoSR 2021   2021 International Workshop on Service Robotics (IWoSR 2021)
ISC HPC 2021   ISC HIGH PERFORMANCE 2021 DIGITAL
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
ECNLPIR 2021   2021 European Conference on Natural Language Processing and Information Retrieval (ECNLPIR 2021)
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
SI: Adaptive HAR in smart spaces 2022   Special issue : Adaptive Human Activity and Behaviour Recognition Models for Context Awareness in Intelligent Environments