8:45am - 9:00am Opening Remarks
9:00am - 10:00am Dependable Wireless and Sensor Networks (1)
9:00am "Using Localization for Fault-tolerant Radio Coverage in Wireless Mesh Networks", Svilen Ivanov (rt-solutions.de GmbH, Germany), Edgar Nett (University Magdeburg, Germany)
9:30am "Joint and Simultaneous K-sensing Detection in Deterministic and Random Sensor Networks", Yun Wang (Bradley University, USA), Andrew Kutta (Southern Illinois University, Edwardsville, USA)
10:00am - 10:30am Coffee Break
10:30am - 11:00am Dependable Wireless and Sensor Networks (2)
10:30am "A Fault-aware Sensor Architecture for Cooperative Mobile Applications", Joerg Kaiser, Sebastian Zug (University Magdeburg, Germany)
11:00am "Network Coding-Based On-Demand Multipath Routing in MANET", Baolin Sun, Xiaocheng Lu, Chao Gui, Ying Song (Hubei University of Economics, China), Hua Chen (Wuhan Textile University, China)
11:30pm - 12:30pm Keynote Speech "Exploring Server Redundancy in Nonblocking Multicast Data Center Networks ", Yuanyuan Yang (Stony Brook University, USA)
12:30am - 01:30pm Lunch Break
1:30pm - 3:00pm Architectures and Cloud
1:30pm "Automated Workload Characterization in Cloud-based Transactional Data Grids", Bruno Ciciani (Sapienza Rome University, Italy), Diego Didona (INESC-ID/IST, Lisbon, Portugal), Pierangelo Di Sanzo, Roberto Palmieri, Sebastiano Peluso, Francesco Quaglia (Sapienza Rome University, Italy), Paolo Romano (INESC-ID/IST, Lisbon, Portugal)
2:00pm "A Usage Control Based Architecture for Cloud Environments", Tina Tavizi, Mehdi Shajari (Amirkabir University of Technology, Theran, Iran), Peyman Dodangeh (Sharif University of Technology, Theran, Iran)
2:30pm "Near-Zero-Downtime Single-Machine Hypervisor Rejuvenation", Dmitry Zakharov (Hasso-Plattner-Institut, University of Potsdam, Germany), Felix Salfner (SAP Innovation Center Potsdam, Germany)
3:00pm - 3:30pm Coffee Break
3:30pm - 5:00pm Dependability Analysis and Verification
3:30pm "Analysis of Data Reliability Tradeoffs in Hybrid Distributed Storage Systems", Bing Tang, Gilles Fedak (INRIA, ENS Lyon, France)
4:00pm "Component Substitutability Behavior Consistency Verification Based On Architecture-driven Development", Luxi Chen, Linpeng Huang, Chen Li (Shanghai JiaoTong University, China)
4:30pm "Adaptive Mapping of Parallelized Application (fork-join DAG) on Multicore System in the Presence of Multiple Failures", Gilles Bizot (CNRS UJF INP, Grenoble, France), Dimiter Avresky (IRIANC, Boston, USA), Fabien Chaix, Nacer-Eddine Zergainoh, Michael Nicolaidis (CNRS UJF INP, Grenoble, France)
5:00pm - 5:15pm Concluding Remarks