


default search action
1st LADC 2003: Sao Paulo, Brazil
- Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr.:

Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings. Lecture Notes in Computer Science 2847, Springer 2003, 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 - Luís Santos

, Mário Zenha Rela
:
Constraints on the Use of Boundary-Scan for Fault Injection. 39-55 - 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 - Marcos A. M. de Moura, Markus Endler:

Managing Adaptive Fault Tolerant CORBA Applications. 160-180 - José Lino Contreras, Jean-Louis Sourrouille:

Adaptable Objects for Dependability. 181-196 - Klaus Echtle, Irene Eusgeld:

A Genetic Algorithm for Fault-Tolerant System Design. 197-213
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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














