Session 1 - Short Presentations - July 1 2009

Chair: Juan Carlos Ruiz, Universidad Politécnica de Valencia

  • Fault tolerance in programmable timer modules for automotive based fuel injection control systems
Carlos Carrión, Universidad Politécnica de Valencia, Spain

  • Statistics of Quantitative Availability Assurance
Kesari Mishra, Duke University, USA

  • Towards a Pragmatic Atomic Dynamic Software Upgrade System,
Luís Pina, INESC-ID – IST, Portugal

  • Developing a Safety Assessment Methodology to validate the Use of Unmanned Aircraft Vehicles in non Segregate Civil Airspace
Ricardo Alexandre Veiga Gimenes, University of São Paulo, Brazil

  • Integrated Intrusion Detection and Diagnosis for Clouds
Junaid Arshad, University of Leeds, UK

  • Using Sequence Alignments Algorithms for Automatic Failure Detection
Gizelle Sandrini Lemos, UNICAMP, Brazil

  • Implementation of Safety for Unmanned Air Vehicles Integration in the Brazilian Air Space Using Sensor Fusion,
Vitor Hugo Furtado, University of São Paulo, Brazil

  • Risk-based Security Benchmarks for Web Serving Systems
Naaliel Mendes, University of Coimbra, Portugal

Session 2 - Regular Presentations - July 2 2009

Chair: Marco Vieira, University of Coimbra

  • Towards techniques and methodologies for collecting trusted observation results
Andrea Ceccarelli, University of Florence, Italy

  • Anomaly detection based on SLA compliance monitoring
Valerio Vianello, Università degli Studi di Napoli “Parthenope”, Italy

  • Towards Benchmarking the Performance and Dependability of Ad Hoc Networks in Presence of Attacks
Jesús Friginal, Universidad Politécnica de Valencia, Spain

  • Intrusion Tolerant Active Replication for Large Scale Networks
Giuliana Santos Veronese, University of Lisbon, Portugal

  • The Role of Environmental Factors in Keystroke Dynamics
Kevin S. Killourhy, CMU, USA

  • A Dependable Communication Service for Critical Information Traffic over Wide-Area Networks
Wagner Saback Dantas, University of Lisbon, Portugal

  • Intermittent Faults: Analysis of Causes and Effects, New Fault Models, and Mitigation Techniques
Luis-J. Saiz-Adalid, Universidad Politécnica de Valencia, Spain

  • Assessing and Improving the Robustness of Service-based Applications
Nuno Laranjeiro, University of Coimbra, Portugal