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
|