default search action

combined dblp search
author search
venue search
publication search

ask others

DSN 2007: Workshop on Software Architectures for Dependable Systems (WADS)

> Home > Conferences and Workshops > DSN

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icse/2007wads
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2007wads
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

- view
  authority control:
- export record
  dblp key:
  - conf/icse/VerissimoNCDKBD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/VerissimoNCDKBD07
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
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BalducelliPLV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BalducelliPLV07
Claudio Balducelli, Antonio Di Pietro, Luisa Lavalle, Giordano Vicoli:
A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures. 28-51
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChiaradonnaGL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChiaradonnaGL07
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini:
Evaluation of Critical Infrastructures: Challenges and Viable Approaches. 52-77
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DaidoneCBV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DaidoneCBV07
Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo:
Analysis of a Redundant Architecture for Critical Infrastructure Protection. 78-100
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DeconinckVBQDNLDB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DeconinckVBQDNLDB07
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
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JansenRST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JansenRST07
Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter, Axel Tanner:
Architecting Dependable and Secure Systems Using Virtualization. 124-149

Rigorous Design/Fault Tolerance

- view
  authority control:
- export record
  dblp key:
  - conf/icse/PinterMKEKHP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PinterMKEKHP07
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
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KirbyDN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KirbyDN07
Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross:
Design, Implementation and Deployment of State Machines Using a Generative Approach. 175-198
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SlemberN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SlemberN07
Joseph G. Slember, Priya Narasimhan:
Handling Emergent Nondeterminism in Replicated Services. 199-224

Verification and Validation

- view
  authority control:
- export record
  dblp key:
  - conf/icse/DialloNAZR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DialloNAZR07
Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson:
Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios. 225-247
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GieseHH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GieseHH07
Holger Giese, Stefan Henkler, Martin Hirsch:
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. 248-272
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangAC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangAC07
Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Plug-and-Play Architectural Design and Verification. 273-297
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BartoliniBMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BartoliniBMP07
Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis:
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. 298-325
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KettuKLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KettuKLM07
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.