default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDSN 2007: Workshop on Software Architectures for Dependable Systems (WADS)
- Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira:
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
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 - Claudio Balducelli, Antonio Di Pietro, Luisa Lavalle, Giordano Vicoli:
A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures. 28-51 - Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini:
Evaluation of Critical Infrastructures: Challenges and Viable Approaches. 52-77 - Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo:
Analysis of a Redundant Architecture for Critical Infrastructure Protection. 78-100 - 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 - Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter, Axel Tanner:
Architecting Dependable and Secure Systems Using Virtualization. 124-149
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 - Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross:
Design, Implementation and Deployment of State Machines Using a Generative Approach. 175-198 - Joseph G. Slember, Priya Narasimhan:
Handling Emergent Nondeterminism in Replicated Services. 199-224
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 - Holger Giese, Stefan Henkler, Martin Hirsch:
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. 248-272 - Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Plug-and-Play Architectural Design and Verification. 273-297 - Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis:
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. 298-325 - Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic:
Using Architecture Analysis to Evolve Complex Industrial Systems. 326-341
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-20 00:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
