1. LADC 2003: Sao Paulo, Brazil
Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr. (Eds.): Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-20224-2
Invited Talks
Karama Kanoun: Dependability Benchmarking: How Far Are We? 1
Eno Siewerdt: Safety-Critical Systems in Air Traffic Management. 2-3
Vijay Machiraju, Akhil Sahai, Aad P. A. van Moorsel: Managed Utility Computing: The Grid as Management Backplane. 4-7
Fault Injection
Pedro Costa, Marco Vieira, Henrique Madeira, João Gabriel Silva: Plug and Play Fault Injector for Dependability Benchmarking. 8-22
Pedro Yuste, Juan-Carlos Ruiz-Garcia, Lenin Lemus, Pedro J. Gil: Non-intrusive Software-Implemented Fault Injection in Embedded Systems. 23-38
Regina Lúcia de Oliveira Moraes, Eliane Martins: A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool. 56-68
Håkan Sivencrona, Per Johannessen, Mattias Persson, Jan Torin: Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol. 69-80
Security
Vishu Gupta, Vinh Vi Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh: Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures. 81-101
Emerson Ribeiro de Mello, Joni da Silva Fraga, Altair Olivo Santin, Frank Siqueira: Building Trust Chains between CORBA Objects. 102-116
Mauro Borchardt, Carlos Maziero, Edgard Jamhour: An Architecture for On-the-Fly File Integrity Checking. 117-126
Paulo César Herrmann Wanner, Raul Fernando Weber: Fault Injection Tool for Network Security Evaluation. 127-136
Adaptive Faul Tolerance
Henrique Madeira, João Durães, Marco Vieira: Emulation of Software Faults: Representativeness and Usefulness. 137-159


Distributed Algorithms
Ricardo Marcelín-Jiménez, Sergio Rajsbaum: Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage. 214-233
Lásaro J. Camargos, Edmundo R. M. Madeira: DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services. 234-253
Raul Ceretta Nunes, Ingrid Jansch-Pôrto: A Lightweight Interface to Predict Communication Delays Using Time Series. 254-263
Antonio Caruso, Luiz Carlos Pessoa Albini, Piero Maestrini: A New Diagnosis Algorithm for Regular Interconnected Structures. 264-281
Components and Fault Tolerance
Eliane Martins, Maria de Fátima Mattiello-Francisco: A Tool for Fault Injection and Conformance Testing of Distributed Systems. 282-302
Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano: A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation. 303-320
Fernando Castor Filho, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira: An Architectural-Level Exception-Handling System for Component-Based Applications. 321-340
Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel: On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. 341-360
Panel
João Gabriel Silva: Dependability Benchmarks: Can We Rely on Them? 361
Tutorials
João Batista Camargo Jr., Rogério de Lemos: Workshop on Safety: Computer Systems in Critical Applications. 362
Avelino F. Zorzo, Francisco V. Brasileiro, Ingrid Jansch-Pôrto: Second Workshop on Theses and Dissertations in Dependable Computing. 363
Tutorials
Jan Jürjens, Siv Hilde Houmb: Development of Safety-Critical Systems and Model-Based Risk Analysis with UML. 364-365
Idit Keidar, Sergio Rajsbaum: On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial. 366-368
Carlos A. T. Moura, Carlos Henrique Netto Lahoz, Martha A. D. Abdala: A Practical Approach to Quality Assurance in Critical Systems. 369-370



