| 2008 | 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] Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira |
| 2007 | A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures. Claudio Balducelli, Antonio Di Pietro, Luisa Lavalle, Giordano Vicoli |
| 2007 | A Robust Semantic Overlay Network for Microgrid Control Applications. Geert Deconinck, Koen Vanthournout, Hakem Beitollahi, Zhifeng Qui, Rui Duan, Bart Nauwelaers, Emmanuel Van Lil, Johan Driesen, Ronnie Belmans |
| 2007 | Analysis of a Redundant Architecture for Critical Infrastructure Protection. Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo |
| 2007 | Architecting Dependable and Secure Systems Using Virtualization. Bernhard Jansen, Harigovind V. Ramasamy, Matthias Schunter, Axel Tanner |
| 2007 | Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. Holger Giese, Stefan Henkler, Martin Hirsch |
| 2007 | Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis |
| 2007 | Design, Implementation and Deployment of State Machines Using a Generative Approach. Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross |
| 2007 | Evaluation of Critical Infrastructures: Challenges and Viable Approaches. Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini |
| 2007 | Handling Emergent Nondeterminism in Replicated Services. Joseph G. Slember, Priya Narasimhan |
| 2007 | Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl, András Pataricza |
| 2007 | Plug-and-Play Architectural Design and Verification. Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
| 2007 | The CRUTIAL Architecture for Critical Information Infrastructures. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone |
| 2007 | Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios. Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson |
| 2007 | Using Architecture Analysis to Evolve Complex Industrial Systems. Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic |