3. LADC 2007: Morella, Mexico

Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum (Eds.): Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4746 Springer 2007, ISBN 978-3-540-75293-6

Invited Talks

Philip Koopman:
Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract). 1-2
Jean Arlat:
Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? 3-6

Jonatan Schroeder, Elias Procópio Duarte Jr.:
Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation. 7-24
Mikel Larrea, Alberto Lafuente, Iratxe Soraluze Arriola, Roberto Cortiñas, Joachim Wieland:
On the Implementation of Communication-Optimal Failure Detectors. 25-37
Sara Tucci Piergiovanni, Roberto Baldoni:
Connectivity in Eventually Quiescent Dynamic Distributed Systems. 38-56

Ruben Alexandersson, Peter Öhman:
Implementing Fault Tolerance Using Aspect Oriented Programming. 57-74
Patrick Henrique da S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. F. Rubira:
Architecture-Centric Fault Tolerance with Exception Handling. 75-94
Fevzi Belli, Mubariz Eminov, Nida Gökçe:
Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. 95-110

José Carlos Bregieiro Ribeiro, Bruno Miguel Luís, Mário Zenha Rela:
Error Propagation Monitoring on Windows Mobile-Based Devices. 111-122
Abdelmajid Khelil, Neeraj Suri:
Gossiping: Adaptive and Reliable Broadcasting in MANETs. 123-141
Talmai Brandão de Oliveira, Victor Franco Costa, Fabíola Greve:
On the Behavior of Broadcasting Protocols for MANETs Under Omission Faults Scenarios. 142-159

João Muranho, Paula Prata, Mário Zenha Rela, João Gabriel Silva:
Failure Boundedness in Discrete Applications. 160-169
Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco, Valdivino A. Santiago, Wendell Pereira da Silva, Eliane Martins:
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. 170-178
Regina Lúcia de Oliveira Moraes, João Durães, Eliane Martins, Henrique Madeira:
Component-Based Software Certification Based on Experimental Risk Assessment. 179-197

José Fonseca, Marco Vieira, Henrique Madeira:
Integrated Intrusion Detection in Databases. 198-211
Ludovic Courtès, Marc-Olivier Killijian, David Powell:
Security Rationale for a Cooperative Backup Service for Mobile Devices. 212-230

Marco Vieira, Henrique Madeira:
Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments? 231-232
Eduardo B. Fernández:
Security Patterns and Secure Systems Design. 233-234
Lorenzo Alvisi:
BAR - Where Distributed Computing Meets Game Theory. 235-236

Rogério de Lemos:
Scaling Dependability and Security in Ad Hoc Networks. 237
Henrique Madeira:
Assessing, Measuring, and Benchmarking Dependability and Resilience. 238