December 11

Welcome Reception

9:00-19:00

Registration

December 12

7:30-8:30

Registration

8:30-9:00

Welcoming Address

9:00-10:00

Keynote Address—“  ”

Prof. W. Kent Fuchs  Dean of Engineering, Cornell University

10:00-11:00

Keynote Address--"    "

Prof. Tohru Kikuno Osaka Univ., Japan

11:00-12:00

Tour to Yuelu academy

12:00-14:00

Lunch

14:00-16:00

Session 1A

Distributed Protocols and Systems

Paper title: Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses

Authors: Wei Chen, Shi-Ding Lin, Qiao Lian, Zheng Zhang

Paper title: Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems

Authors: Roy Friedman, Achour Mostefaoui, Michel Raynal

Paper title: Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures

Authors: Philippe Raipin Parvedy, Michel Raynal, Corentin Travers

Paper title: Privacy-Preserving Bayesian Network Structure Learning On Distributed Heterogeneous Data

Authors: Wang Hongmei, Zhao Zheng, Sun Zhiwei

Session 1B

Software Reliability and Testing

Paper title: Simultaneous Simulation of Alternate System Configurations

Authors: Shravan Gaonkar, William H Sanders

Paper title: Availability Assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx log files: A case study

Authors: Cristina Simache, Mohamed Kaaniche

Paper title: On-chip Debugging-based Fault Emulation for Robustness Evaluation of Embedded Software Components

Authors: J Pardo, JC Ruiz, JC Campelo, P Gil

Paper title: Bayesian Networks Modeling for Software Inspection Effectiveness

Authors: YP Wu, QP Hu, KL Poh, SH Ng, M Xie

16:00-16:15

Coffee Break

16:15-17:45

Session 2A

Fault Tolerance (1)

Paper title: Application-Based Metrics for Strategic Placement of Detectors

Authors: Karthik Pattabiraman, Zbigniew Kalbarczyk , Ravishankar K. Iyer

Paper title: A Hardware Approach to Concurrent Error Detection Capability Enhancement in COTS Processors

Authors: Amir Rajabzadeh, Seyed Ghassem Moremadi

Paper title: Optimal Fault-Tolerant Routing Scheme For Generalized Hypercube

Authors: Shaohuai Tian, Yingping Lu, Dafang Zhang

Session 2B

Validation and Modeling

Paper title: High-Order Syndrome Testing for VLSI

Authors: Shiyi Xu

Paper title: A New Test Method for Core-based System

Authors: ZHANG Ling , KUANG Jishun

Paper title: A Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions

Authors: Neila BEN LAKHAL, Takashi KOBAYASHI, Haruo YOKOTA

18:30-21:00

Conference Banquet

 December 13

8:00-9:00

Registration

9:00-10:30

Session 3A

Fault Tolerance (2)

Paper title: Code Design and Decoding Methods for Burst Error Locating Codes

Authors: Masato Kitakami, Junpei Sano

Paper title: An Evaluation of the Virtual Router Redundancy Protocol Extension with Load Balancing (corrected)

Authors: Jen-Hao Kuo, Siong-Ui Te, Pang-Ting Liao, Chun-Ying Huang, Pan-Lung Tsai, Chin-Laung Lei, Sy-Yen Kuo, Yennun Huang, Zsehong Tsai

Paper title: Formal Development of Software for Tolerating Transient Faults

Authors: Dubravka Ilic, Elena Troubitsyna

Session 3B

Checkpointing and Recovery

Paper title: On the Fully-Informed Communication-Induced Checkpointing Protocol

Authors: Jichiang Tsai, Jenn-Wei Lin

Paper title: Optimal Choice of Checkpointing Interval for High Availability

Authors: Diana Szentivanyi, Simin Nadjm-Tehrani, John M. Noble

Paper title: Improving Schemes of Index-Based Checkpointing

Authors: Yuan-sheng Luo, Yinghua Min, Dafang Zhang

10:30-10:45

Coffee Break

10:45-12:15

Session 4A

High-Performance Systems

Paper title: Improving SRT Performance via Unified Fetch and Slack Decode

Authors: Hua Yang, Gang Cui, XiaoZong Yang

Paper title: Compression/Scan Co-Design to Reduce Test Data Volume, Scan-in Power Dissipation and Test Application Time

Authors: Yu Hu, Yinhe Han, Xiaowei Li

Paper title: Partitioned Cache Shadowing for Deep Sub-Micron (DSM) Regime

Authors: Heng Xu, Arun Somani

Session 4B

Security

Paper title: Proxy Cryptography for Security Inter-domain Information Exchange

Authors: Shuanghe Peng, Zhen Han, Changxiang Shen

Paper title: Anomaly Detection with High Deviations for System Security Based on Call Trace

Authors: Peng Xinguang, Ren Kaifeng

Paper title: A Multi-Faceted Approach towards Spam-Resistible Mail

Authors: Ming-Wei Wu, Yennun Huang, Ing-Yi Chen, Sy-Yen Kuo

12:15-14:00

Lunch

14:00-15:30

Session 5A

Distributed Systems Modeling(1)

Paper title: A Virtual Modeling and a Fast Algorithm for Grid Service Reliability

Authors: Yuan-Shun Dai, Xiao-Long Wang, Min Xie

Paper title: Research on Architecture of COTS Components Based Generic Fault-Tolerant Computer

Authors: Ou Zhonghong, Yuan Youguang

Paper title: Bi-Objectives Model for Test-Suite Reduction of Modified Condition/Decision Coverage

Authors: Pan Lili, Zou Beiji

Session 5B

Mobile Systems and Networks (1)

Paper title: A Reliable Routing Algorithm Based on Fuzzy Applicability of F sets in MANET

Authors: HU Rong, HU Zhigang, MA Hao

Paper title: An Efficient Approach to Tolerating Route Errors in Mobile Ad Hoc Networks

Authors: Jenn-Wei Lin, Jichiang Tsai, Chao-Ying Chiu

Paper title: A Novel Approach to Kernel Construction of China Bridge CA

Authors: Leng Jian, Xie Dong-Qin

15:30-15:45

Coffee Break

15:45-17:45

Session 6A

Practical Experience Reports

Paper title: Optimizing Service Strategy for Systems with Deferred Repair

Authors: Hairong Sun, Dong Tang, Robert Wood

Paper title: Research on the Trust Enhancement of General-purpose Computer

Authors: Jiangchun Ren, Kui Dai, Zhiying Wang

Paper title: Mining Alarm Database of Telecommunication Network for Alarm Association Rules

Authors: Yangyang Wu, Shuguang Du, Wei Luo

Paper title: On Automating Failure Mode Analysis and Enhancing its Integrity

Authors: Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkalai

Session 6B

Fault Tolerance (3)

Paper title: A Novel R^2-FLC Dynamic Buffer Size Tuner to Support Time-Critical Applications over the Internet by Improving Logical Channel Fault Tolerance to Shorten Roundtrip Time

Authors: Wilfred W.K. Lin, Allan K.Y. Wong, Tharam S. Dillon

Paper title: Design of Defect Tolerant Wallace Multiplier

Authors: Kazuteru NAMBA, Hideo ITO

Paper title: Resilient State Machine Replication

Authors: Paulo Sousa, Nuno Ferreia Neves, Paulo Versimo

Paper title: Contribution of Controller Area Networks Controllers to Masquerade Failures

Authors: Hassan Salmani, Seyed-Ghassem Miremadi

December 14

8:00-9:00

Registration

9:00-10:30

Session 6A

Mobile Systems and Networks (2)

Paper title: Local Repair Mechanisms for On-Demand Routing in Mobile Ad hoc Networks

Authors: Michael Pan, Sheng-De Wang

Paper title: Centralized Surveillance of Unused Address Space by using Virtual Networks

Authors: Takashi Minohara, Satoshi Ishikawa, Masahiro Amano

Paper title: A Distributed Location Service for Reducing Query Failures in Geographic Ad Hoc Routing

Authors: Chih-Hsun Chou, Kuo-Feng Ssu

Session 6B

Fault Tolerance (4)

Paper title: Server protection through dynamic patching

Authors: Nicolas Loriant, Marc Sura-Devillechaise, Jean-Marc Menaud

Paper title: Detection of malicious transactions in DBMS

Authors: Marco Vieira, Henrique Madeira

Paper title: Push/Pull-based Adaptive Fault Monitoring for CORBA-based Ubiquitous Computing Systems

Authors: Su Myeong Lee, Hee Yong Youn

10:30-10:45

Coffee Break

10:45-12:30

Session 9A

Distributed Systems Modeling(2)

Paper title: Research on Control Flags based Weighted Authentication Trustworthiness Model

Authors: Wang Lunwei, He Lianyue, Liao Xiangke, Wang Huaimin

Paper title: Towards Push-of-a-Button Stability Verification for Discrete-time Hybrid Systems

Authors: Henning Burchardt, Jens Oehlerking, Oliver Theel

Paper title: Reliability Prediction and Assessment of Fielded Software Based on Multiple Change-Point Models

Authors: Chin-Yu Huang, Chu-Ti Lin

Paper title: A Note on a Simple Equivalence between Round-based Synchronous

Authors: Michel Raynal, Matthieu Roy

Session 9B

Code & Language

Paper title: Table-Driven Code Optimizer

Authors: Sung-Lim Yun, Yun-Sik Son, Se-Man Oh

Paper title: Neural Network based on Dynamic Tunneling Technique for Weather Forecast

Authors: Zheng Qin, Xiaofeng Liao, Jinmin Yang

Paper title: FPGA Authentication Header (AH) Implementation for Internet Appliances

Authors: Chang-Chun Cheng, Wei-Ming Chen, Han-Chieh Chao

Paper title: The Zerberus Language: Describing the Formal Model of Dependable Real-Time Systems

Authors: Christian Buckl, Alois Knoll, Gerhard Schrott

12:30-14:30

Lunch