Abstract is missing.
- Probabilistic Validation of Computer System SurvivabilityWilliam H. Sanders. 1 [doi]
- Timed Asynchronous Distributed SystemsChristof Fetzer. 2-3 [doi]
- WLAN in Automation - More Than an Academic Exercise?Edgar Nett. 4-8 [doi]
- Using Stratified Sampling for Fault InjectionRegina Lúcia de Oliveira Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes. 9-19 [doi]
- A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-CodeJoão Durães, Henrique Madeira. 20-34 [doi]
- Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat ExtensionLorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico. 35-51 [doi]
- Airborne Software Concerns in Civil Aviation CertificationBenedito Sakugawa, Edson Cury, Edgar Toshiro Yano. 52-60 [doi]
- A Method for Modeling and Testing Exceptions in Component-Based Software DevelopmentPatrick Henrique da S. Brito, Camila Ribeiro Rocha, Fernando Castor Filho, Eliane Martins, Cecília M. F. Rubira. 61-79 [doi]
- Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph GrammarsFernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos. 80-100 [doi]
- The Zerberus Language: Describing the Functional Model of Dependable Real-Time SystemsChristian Buckl, Alois Knoll, Gerhard Schrott. 101-120 [doi]
- Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected SchemeHamid R. Zarandi, Seyed Ghassem Miremadi. 121-130 [doi]
- On the Effects of Errors During BootMário Zenha Rela, João Carlos Cunha, Carlos Bruno Silva, Luís Ferreira da Silva. 131-142 [doi]
- A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded SystemsMahdi Fazeli, Reza Farivar, Shaahin Hessabi, Seyed Ghassem Miremadi. 143-153 [doi]
- Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of FaultsGeorge M. de A. Lima, Alan Burns. 154-173 [doi]
- On the Monitoring Period for Fault-Tolerant Sensor NetworksFilipe Araújo, Luís Rodrigues. 174-190 [doi]
- Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural NetsFábio Lima, Raimundo A. Macêdo. 191-205 [doi]
- Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy ExecutionHariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders. 206-225 [doi]
- Generating Fast Atomic Commit from Hyperfast ConsensusFabíola Gonçalves Pereira Greve, Jean-Pierre Le Narzul. 226-244 [doi]
- Group-Based Replication of On-Line Transaction Processing ServersAlfrânio Correia Jr., A. Sousa, L. Soares, José Pereira, Francisco Moura, Rui Carlos Oliveira. 245-260 [doi]
- Third Workshop on Theses and Dissertations on Dependable ComputingAvelino F. Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve. 261 [doi]
- Latin-American Workshop on Dependable Automation SystemsHerman Augusto Lepikson, Leandro Buss Becker. 262 [doi]
- Software Architectures for Dependable SystemsRogério de Lemos, Paulo Asterio de Castro Guerra. 263-264 [doi]
- Fault-Tolerant Techniques for Concurrent ObjectsRachid Guerraoui, Michel Raynal. 265 [doi]
- Agreement Protocols in Environments with Temporal UncertaintiesFabíola Gonçalves Pereira Greve. 266 [doi]