3. LADC 2007: Morella, Mexico

Invited Talks

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

Fault-Tolerant Algorithms

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

Software Engineering of Dependable Systems

• Ruben Alexandersson, Peter Öhman:
  Implementing Fault Tolerance Using Aspect Oriented Programming. 57-74
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Fevzi Belli, Mubariz Eminov, Nida Gökçe:
  Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. 95-110
  Electronic Edition (link) BibTeX

Networking and Mobile Computing

• José Carlos Bregieiro Ribeiro, Bruno Miguel Luís, Mário Zenha Rela:
  Error Propagation Monitoring on Windows Mobile-Based Devices. 111-122
  Electronic Edition (link) BibTeX
• Abdelmajid Khelil, Neeraj Suri:
  Gossiping: Adaptive and Reliable Broadcasting in MANETs. 123-141
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX

Experimental Dependability Evaluation

• João Muranho, Paula Prata, Mário Zenha Rela, João Gabriel Silva:
  Failure Boundedness in Discrete Applications. 160-169
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Regina L. O. Moraes, João Durães, Eliane Martins, Henrique Madeira:
  Component-Based Software Certification Based on Experimental Risk Assessment. 179-197
  Electronic Edition (link) BibTeX

Intrusion Tolerance and Security

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

Tutorials

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

Panels

• Rogério de Lemos:
  Scaling Dependability and Security in Ad Hoc Networks. 237
  Electronic Edition (link) BibTeX
• Henrique Madeira:
  Assessing, Measuring, and Benchmarking Dependability and Resilience. 238
  Electronic Edition (link) BibTeX