WADS B

19 papers

YearTitle / Authors
2007Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA]
Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2006A Component-Based Approach to Verification and Validation of Formal Software Models.
Dejan Desovski, Bojan Cukic
2006A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level.
Paola Inverardi, Leonardo Mostarda
2006A Pattern-Based Approach for Modeling and Analyzing Error Recovery.
Ali Ebnenasir, Betty H. C. Cheng
2006A System Dependability Modeling Framework Using AADL and GSPNs.
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
2006Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.
Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk
2006An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.
Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker
2006Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL).
Joyce L. Tokar
2006Architecting Dynamic Reconfiguration in Dependable Systems.
Antônio Tadeu A. Gomes, Thaís Vasconcelos Batista, Ackbar Joolia, Geoff Coulson
2006Architectural Fault Tolerance Using Exception Handling.
Rogério de Lemos
2006Business Process Monitoring for Dependability.
Luciano Baresi, Sam Guinea, Marco Plebani
2006Ecotopia: An Ecological Framework for Change Management in Distributed Systems.
Tudor Dumitras, Daniela Rosu, Asit Dan, Priya Narasimhan
2006Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level.
Hasan Sözer, Bedir Tekinerdogan, Mehmet Aksit
2006Flexible Communication Architecture for Dependable Time-Triggered Systems.
Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss
2006Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems.
António Casimiro, Jörg Kaiser, Paulo Veríssimo
2006Model-Centric Development of Highly Available Software Systems.
Rick Buskens, Oscar J. Gonzalez
2006The View Glue.
Alek Radjenovic, Richard F. Paige
2006Towards Evidence-Based Architectural Design for Safety-Critical Software Applications.
Weihang Wu, Tim Kelly
2006Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language.
Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber