DSN 2007:
Workshop on Software Architectures for Dependable Systems (WADS)
Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (Eds.):
Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis].
Lecture Notes in Computer Science 5135 Springer 2008, ISBN 978-3-540-85570-5 BibTeX
Critical Infrastructures
- Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone:
The CRUTIAL Architecture for Critical Information Infrastructures.
1-27
Electronic Edition (link) BibTeX
- Claudio Balducelli, Antonio Di Pietro, Luisa Lavalle, Giordano Vicoli:
A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures.
28-51
Electronic Edition (link) BibTeX
- Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini:
Evaluation of Critical Infrastructures: Challenges and Viable Approaches.
52-77
Electronic Edition (link) BibTeX
- Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo:
Analysis of a Redundant Architecture for Critical Infrastructure Protection.
78-100
Electronic Edition (link) BibTeX
- Geert Deconinck, Koen Vanthournout, Hakem Beitollahi, Zhifeng Qui, Rui Duan, Bart Nauwelaers, Emmanuel Van Lil, Johan Driesen, Ronnie Belmans:
A Robust Semantic Overlay Network for Microgrid Control Applications.
101-123
Electronic Edition (link) BibTeX
- Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter, Axel Tanner:
Architecting Dependable and Secure Systems Using Virtualization.
124-149
Electronic Edition (link) BibTeX
Rigorous Design/Fault Tolerance
- Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl, András Pataricza:
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.
150-174
Electronic Edition (link) BibTeX
- Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross:
Design, Implementation and Deployment of State Machines Using a Generative Approach.
175-198
Electronic Edition (link) BibTeX
- Joseph G. Slember, Priya Narasimhan:
Handling Emergent Nondeterminism in Replicated Services.
199-224
Electronic Edition (link) BibTeX
Verification and Validation
- Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson:
Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios.
225-247
Electronic Edition (link) BibTeX
- Holger Giese, Stefan Henkler, Martin Hirsch:
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.
248-272
Electronic Edition (link) BibTeX
- Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Plug-and-Play Architectural Design and Verification.
273-297
Electronic Edition (link) BibTeX
- Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis:
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples.
298-325
Electronic Edition (link) BibTeX
- Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic:
Using Architecture Analysis to Evolve Complex Industrial Systems.
326-341
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:21:36 2009
by Michael Ley (ley@uni-trier.de)
