WELCOME > FINAL PROGRAM > FAST ABSTRACTS > Plenary Session

Plenary Session


Chair: Luigi Romano


  • Automatic  generation of dependable embedded software through AOP in low-cost microcontroller
Ignacio Piqueras - Instituto de Aplicaciones de las Tecnologias de la Informacion y la Comunicacion Avanzada, Universidad Politecnica de Valencia
J.C. Campelo - Instituto de Aplicaciones de las Tecnologias de la Informacion y la Comunicacion Avanzada
GSTF, Universidad Politecnica de Valencia

  • Finding Vulnerabilities in Software Ported from 32 to 64-bit CPUs
Iberia Medeiros, Miguel Correia
Universidade de Lisboa, Faculdade de Ciencias, LASIGE

  • Characterization of Failures in Android Operating System
Amiya Kumar Maji, Kangli Hao, Salmin Sultana, and Saurabh Bagchi
School of Electrical and Computer Engineering
Purdue University, West Lafayette, Indiana, USA

  • DOSGi: An Architecture for Instant Replication
Jorg Domaschka, Holger Schmidt, Franz J. Hauck, Institute of Distributed Systems, Ulm University
Rudiger Kapitza, Informatik 4, University of Erlangen-N¨urnberg
Hans P. Reiser, LaSIGE, University of Lisboa

  • Availability-Constrained Virtual Machine Placement for HA Clusters
Fumio Machida and Yoshiharu Maeno
Service Platforms Research Laboratories, NEC Corporation

  • Fast and Collaborative Interference Avoidance for Wireless Medical Devices
Mohammad Sajjad Hossain, Tanzima Zerin Islam, Saurabh Bagchi, Vijay Raghunathan
School of Electrical and Computer Engineering, Purdue University, West Lafayette, USA

  • From Crash to Byzantine Consensus with 2f + 1 Processes
Giuliana Santos Veronese,  Miguel Correia - Universidade de Lisboa, Faculdade de Ciencias, LASIGE
Lau Cheuk Lung - Dep. de Informatica e Estatistica, Centro Tecnologico, Universidade Federal de Santa Catarina

  • Logging for Dependability Evaluation
A. Pecchia - Dipartimento di Informatica e Sistemistica, Universitā degli Studi di Napoli Federico II

  • A Light-Weight Differential Incremental Backup Scheme
Zhang Zhang and Hengming Zou
Shanghai Jiao Tong University

  • Hypervisor based method for ensuring consistent and reliable access to shared resource between logical partitions
Varun Sethi
Freescale Semiconductor