Papers Accepted to LADC 2007 (in no particular order)
Third Latin-American Symposium on Dependable Computing
- Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation
Jonatan Schroeder, Elias P. Duarte Jr., UFPR, Brazil.
- On the implementation of communication-optimal failure detectors
Mikel Larrea, Alberto Lafuente, Iratxe Soraluze, Roberto Cortiñas,
The University of the Basque Country, Spain
Joachim Wieland, RWTH Aachen University, Germany.
- Connectivity in Eventually Quiescent Dynamic Distributed Systems
Sara Tucci Piergiovanni, University of Rome, Italy.
- Implementing fault tolerance using aspect oriented programming
Ruben Alexandersson, Peter Ohman, Chalmers University of Technology,
Sweden.
- Architecture-Centric Fault Tolerance with Exception Handling
Patrick Brito, State University of Campinas, Brazil
Rogerio de Lemos, University of Kent, Great Britain
Eliane Martins, Cecilia Rubira, UNICAMP, Brazil.
- Coverage-Oriented, Prioritized Testing A Fuzzy Clustering Approach
and Case Study
Fevzi Belli, University of Paderborn, Germany
Mübariz Eminov, Nida Gokce, Mugla University, Turkey.
- Error Propagation Monitoring on Windows Mobile-based Devices
José Carlos Ribeiro, Polytechnic Institute of Leiria, Portugal
Bruno Luís, Mário Zenha-Rela, University of Coimbra, Portugal.
- Gossiping: Adaptive and Reliable Broadcasting in MANETs
Abdelmajid Khelil, Neeraj Suri, Technical University of Darmstadt,
Germany.
- On the Behavior of Broadcasting Protocols for MANETs When Under
Scenarios of Omission Faults
Talmai Oliveira, Victor Costa, Fabíola Greve, Universidade Federal da
Bahia, Brazil.
- Fail Boundedness in Discrete Applications
Mário Zenha-Rela, University of Coimbra, Portugal.
- Space Application Fault Injection Experiments supported by Finite
State Machine
Ana Maria Ambrosio, Instituto Nacional de Pesquisas Espaciais, Brazil
Maria Mattiello-Francisco, Brazilian Institute for Space Research,
Brazil
Valdivino Santiago Junior, INPE, Brazil
Wendell Silva, Instituto Nacional de Pesquisas Espaciais, Brazil
Eliane Martins, UNICAMP, Brazil.
- Component-based Software Certification based on Experimental Risk
Assessment
Regina Moraes, Universidade Estadual de Campinas, Brazil
João Durães, CISUC / DEIS-ISEC, Portugal
Eliane Martins, UNICAMP, Brazil
Henrique Madeira, University of Coimbra, Portugal.
- Integrated Intrusion Detection in Databases
José Fonseca, CISUC - University of Coimbra, Portugal
Marco Vieira, Henrique Madeira, University of Coimbra, Portugal.
- Security Rationale for a Cooperative Backup Service for Mobile Devices
Ludovic Courtès, Marc-Olivier Killijian, David Powell, LAAS-CNRS,
France.
|
