5. LADC 2011: São José dos Campos, Brazil
5th Latin-American Symposium on Dependable Computing, LADC 2011, São José dos Campos, Brazil, 25-29 April 2011. IEEE Computer Society 2011
Invited Lecture
Hermann Kopetz: GENESYS - A Cross-Domain Architecture for Dependable Embedded Systems. 1-6
Distributed Algorithms
Fernando Pedone, Nicolas Schiper, José Enrique Armendáriz-Iñigo: Byzantine Fault-Tolerant Deferred Update Replication. 7-16
Mathieu Valero, Luciana Arantes, Maria Potop-Butucaru, Pierre Sens: Enhancing Fault Tolerance of Distributed R-Tree. 25-34
Security
Luís T. A. N. Brandão, Alysson Neves Bessani: On the Reliability and Availability of Systems Tolerant to Stealth Intrusion. 35-44
Naaliel Mendes, João Durães, Henrique Madeira: Benchmarking the Security of Web Serving Systems Based on Known Vulnerabilities. 55-64
Diagnosis and System Dependability
Andréa Weber, Alexander Robert Kutzke, Stefano Chessa: Energy-Aware Test Connection Assignment for the Diagnosis of a Wireless Sensor Network. 65-73
Marcus Vinicius Azevedo, André Felipe Almeida Monteiro, Alexandre Sztajnberg: Resource Optimization and Energy Saving in Clusters Using Virtualization. 74-83
Douglas Siqueira Leite, Cecília Mary Fischer Rubira, Fernando Castor: Exception Handling for Service Component Architectures. 84-93
Fault Injection: Practical Experience Reports and Tool
Jesus Friginal, David de Andrés, Juan Carlos Ruiz, Pedro J. Gil: On Selecting Representative Faultloads to Guide the Evaluation of Ad Hoc Networks. 94-99
Jean Arlat, Regina Moraes: Collecting, Analyzing and Archiving Results from Fault Injection Experiments. 100-105
Bruno Pacheco Sanches, Tânia Basso, Regina Moraes: J-SWFIT: A Java Software Fault Injection Tool. 106-115
Software Dependability: Assessment and Verification
Andrea Ceccarelli, Lorenzo Vinerbi, Lorenzo Falai, Andrea Bondavalli: RACME: A Framework to Support V&V and Certification. 116-125
Domenico Cotroneo, Antonio Pecchia, Roberto Pietrantuono, Stefano Russo: Architecture-Based Criticality Assessment of Software Systems. 126-135
Jeferson Ferreira, Eliane Martins, Cecília M. F. Rubira, Patrick Henrique da Silva Brito: Validation of Exception Handling in the Development of Dependable Component-Based Software Systems. 136-145
Distributed Systems
Raimundo José de Araújo Macêdo, Allan Edgard Silva Freitas, Alirio Santos de Sá: A Self-Manageable Group Communication Protocol for Partially Synchronous Distributed Systems. 146-155
Alan Massaru Nakai, Edmundo Roberto Mauro Madeira, Luiz Eduardo Buzato: Load Balancing for Internet Distributed Services Using Limited Redirection Rates. 156-165
Fatemeh Borran, Martin Hutle, André Schiper: Timing Analysis of Leader-Based and Decentralized Byzantine Consensus Algorithms. 166-175



