2. LADC 2005: Salvador, Brazil

Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva (Eds.): Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings. Lecture Notes in Computer Science 3747 Springer 2005, ISBN 3-540-29572-0 BibTeX

Invited Talks

William H. Sanders:
Probabilistic Validation of Computer System Survivability. 1
Electronic Edition (link) BibTeX
Christof Fetzer:
Timed Asynchronous Distributed Systems. 2-3
Electronic Edition (link) BibTeX
Edgar Nett:
WLAN in Automation - More Than an Academic Exercise?. 4-8
Electronic Edition (link) BibTeX

Regina Lúcia de Oliveira Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes:
Using Stratified Sampling for Fault Injection. 9-19
Electronic Edition (link) BibTeX
João Durães, Henrique Madeira:
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code. 20-34
Electronic Edition (link) BibTeX
Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico:
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. 35-51
Electronic Edition (link) BibTeX

Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano:
Airborne Software Concerns in Civil Aviation Certification. 52-60
Electronic Edition (link) BibTeX

Patrick Henrique da S. Brito, Camila Ribeiro Rocha, Fernando Castor Filho, Eliane Martins, Cecília M. F. Rubira:
A Method for Modeling and Testing Exceptions in Component-Based Software Development. 61-79
Electronic Edition (link) BibTeX
Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos:
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. 80-100
Electronic Edition (link) BibTeX
Christian Buckl, Alois Knoll, Gerhard Schrott:
The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. 101-120
Electronic Edition (link) BibTeX

Hamid R. Zarandi, Seyed Ghassem Miremadi:
Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme. 121-130
Electronic Edition (link) BibTeX
Mário Zenha Rela, João Carlos Cunha, Carlos Bruno Silva, Luís Ferreira da Silva:
On the Effects of Errors During Boot. 131-142
Electronic Edition (link) BibTeX
Mahdi Fazeli, Reza Farivar, Shaahin Hessabi, Seyed Ghassem Miremadi:
A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems. 143-153
Electronic Edition (link) BibTeX

George M. de A. Lima, Alan Burns:
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. 154-173
Electronic Edition (link) BibTeX
Filipe Araújo, Luís Rodrigues:
On the Monitoring Period for Fault-Tolerant Sensor Networks. 174-190
Electronic Edition (link) BibTeX
Fábio Lima, Raimundo A. Macêdo:
Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets. 191-205
Electronic Edition (link) BibTeX

HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders:
Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution. 206-225
Electronic Edition (link) BibTeX
Fabíola Gonçalves Pereira Greve, Jean-Pierre Le Narzul:
Generating Fast Atomic Commit from Hyperfast Consensus. 226-244
Electronic Edition (link) BibTeX
Alfrânio Correia Jr., A. Sousa, L. Soares, José Pereira, Francisco Moura, Rui Carlos Oliveira:
Group-Based Replication of On-Line Transaction Processing Servers. 245-260
Electronic Edition (link) BibTeX

Avelino F. Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve:
Third Workshop on Theses and Dissertations on Dependable Computing. 261
Electronic Edition (link) BibTeX
Herman Augusto Lepikson, Leandro Buss Becker:
Latin-American Workshop on Dependable Automation Systems. 262
Electronic Edition (link) BibTeX

Rogério de Lemos, Paulo Asterio de Castro Guerra:
Software Architectures for Dependable Systems. 263-264
Electronic Edition (link) BibTeX
Rachid Guerraoui, Michel Raynal:
Fault-Tolerant Techniques for Concurrent Objects. 265
Electronic Edition (link) BibTeX
Fabíola Gonçalves Pereira Greve:
Agreement Protocols in Environments with Temporal Uncertainties. 266
Electronic Edition (link) BibTeX