Program:
Dec. 18:
8:30-9:00 Opening Session
9:00-10:00 First Keynote Speech (by Way Kuo),
10:00-10:30 Coffee (Provided)
10:30-12:30 Session 1 (4 papers) in Room A
10:30-12:30 Session 2 (4 papers) in Room B
12:30-1:30 Luncheon (Provided)
1:30-3:30 Session 3 (4 papers) in Room A
1:30-3:30 Session 4 (4 papers) in Room B
3:30-4:00 Coffee (Provided)
4:00-5:30 Session 5 (3 papers) in Room A
4:00-5:30 Session 6 (2 papers) in Room B
---------------------------------------
Dec. 19:
8:30-9:00 Coffee (Provided)
9:00-10:00 Second Keynote Speech (by Takashi
Nanya)
10:00-12:00 Session 7 (4 papers) in Room A
10:00-12:00 Session 8 (4 papers) in Room B
12:00-1:00 Luncheon (Provided)
1:00-2:30 Session 9 (3 papers) in Room A
1:00-2:30 Session 10 (3 papers) in Room B
2:30-3:00 Coffee (Provided)
3:00-5:00 Short Paper Track 1 (8 posters) in Room A
3:00-5:00 Short Paper Track 2 (8 posters) in Room B
6:30pm--8:30pm Banquet (Provided).
------------------------------------------------------------
Dec. 20:
After
garden)
----------------------------------------
ˇˇ
Session Papers:
Session 1: Reliability Modeling
(Chair: Gianfranco Ciardo)
PRDC-109 Two-Dimensional Software Reliability Models and Their Application
Tadashi Dohi
PRDC-133 A Strategy for Verification of Decomposable SCR Models Dejan Desovski Bojan Cukic
PRDC-155 Detection and Correction Process Modeling Considering the Time
Dependency Yanping Wu
PRDC-159 DETECTING AND EXPLOITING SYMMETRY IN DISCRETE-STATE MARKOV MODELS
Michael McQuinn William Sanders Doug Obal
Session 2: Fault Detection
(Chair: Yuan-Shun Dai)
PRDC-124 An Evaluation of Similarity Coefficients for Software Fault
Localization Rui Abreu
Peter Zoeteweij Arjan J.C.
van Gemund
PRDC-125 SEVA: a Soft-Error- and Variation-Aware Cache Architecture Luong Dinh Hung Masahiro Goshima Shuichi Sakai
PRDC-216 An Operating-System-Level Framework for Providing Application-Aware
Reliability Zbigniew Kalbarcyzk
Long Wang Weining Gu Ravishankar Iyer
PRDC-149 Minimal System Conditions to Implement Unreliable Failure Detectors
Antonio Fern¨˘ndez Ernesto Jim¨¦nez
Sergio Ar¨¦valo
Session 3: Software Test
(Chair: Tadashi Dohi)
PRDC-106 A New Approach to Improving the Test Effectiveness Shiyi
Xu
PRDC-120 A Framework for Inheritance Testing from VDM++ Specifications Aamer Nadeem Michael Lyu
PRDC-156 Assessment on Undetectable Burst Errors in Tandem CRCs
Meng-Lai Yin Bruce Orenstein
PRDC-163 Efficient Built-In Self-Test Schemes for Video Coding Cores: a Case
Study on DCT/IDCT Circuits Shyue-Kung Lu
Session 4: Security
(Chair: Yennun Huang)
PRDC-134 Flexible, Cost-Effective Membership Agreement in Synchronous Systems
Raul Barbosa Johan Karlsson
PRDC-177 Towards Adaptive Secure Group Communication: Bridging the Gap between
Formal Specification and Network Simulation Sebastian Gutierrez-Nolasco
PRDC-187 Quantum oblivious transfer and Fair Digital Transactions Yao-Hsin Chou Sy-Yen Kuo I-Ming Tsai Chien-Ming Ko
PRDC-207 Storing RSA Private Keys In Your Head James Diamond Jeff Hooper Taisya Krivoruchko
Session 5: Availability
(Chair: Bojan
Cukic)
PRDC-108 Database Transaction Management for High-Availability Cluster System
Ken-ichiro FUJIYAMA Nobutatsu
NAKAMURA Ryuichi HIRAIKE
PRDC-139 Restoration Strategies in Mesh Optical Networks: Cost vs. Service
Availability Ashwin Sampath
Daniel Jeske
PRDC-161 Modeling High Availability Systems Ranjith Vasireddy David Trindade Rick
Castro Kishor Trivedi swami
nathan
Session 6: Intrusion Detection
(Chair: Sheng-De
Wang)
PRDC-121 Base Address Recognition with Data Flow Tracking for Injection Attack
Detection Satoshi Katsunuma Hiroyuki Kurita Ryota Shioya Kazuto Shimizu Hidetsugu Irie Masahiro Goshima Shuichi Sakai
PRDC-186 STARS: Stateful Threat-Aware Removal System
for Self-healing Spyware Ming-Wei
Wu Yennun Huang Yi-Min Wang Sy-Yen
Kuo
Session 7: Reliability Prediction and Optimization
(Chair: )
PRDC-130 A Best Practice Guide to Resource Forecasting for the Apache Webserver Guenther Hoffmann Miroslaw
Malek Kishor Trivedi
PRDC-141 Software Reliability Prediction and Assessment Using both Finite and
Infinite Server Queuing Approaches Chin-Yu Huang Wei-Chih
Huang
PRDC-146 On Statistically Estimated Optimistic Delivery in Wide-Area Total
Order Protocols Jose Mocito Ana Respicio
Luis Rodrigues
PRDC-158 Early Software Reliability Prediction with Extended ANN Model Qingpei Hu Min Xie Szu Hui
Ng
Session 8: Dependability Applications
(Chair: Toshinori Sato)
PRDC-148 A Dependable Outbound
Bandwidth Based Approach for Peer to Peer Media Streaming Sheng-De
Wang Zheng-Yi Huang
PRDC-151 A Pragmatic Protocol for Database Replication in Interconnected
Clusters Jon Grov Fernando Pedone
Luis Soares Alfranio Correia Junior Jos¨¦ Orlando Pereira Rui
Carlos Oliveira
PRDC-157 An efficient commit protocol exploiting primary-backup placement in a
distributed storage system Xiangyong Ouyang Tomohiro Yoshihara Haruo
Yokota
PRDC-164 Reliable Video Transmission Techniques for Wireless MPEG-4 Streaming
Systems Sheng-Tzong Cheng
Session 9: Survivability
(Chair: Timothy Tsai)
PRDC-122 On the fly estimation of
the processes that are alive/crashed in an asynchronous message-passing system
Michel Raynal Achour Mostefaoui Gilles Tredan
PRDC-129 Synchronous Set Agreement: a Concise Guided Tour (including a new
algorithm and a list of open problems) Michel Raynal Corentin Travers
PRDC-173 Improving Fast Paxos: being optimistic with
no overhead Andre Schiper Bernadette Charron-Bost
Session 10: Optimization
(Chair: Haruo
Yokota)
PRDC-171 Dependable Multithreaded Processing Using Runtime Validation Kaiyu Chen Sharad Malik
PRDC-191 Fault-Tolerant Partitioning Scheduling Algorithms in Real-Time
Multiprocessor Systems Hakem Beitollahi
Geert Deconinck
PRDC-126 Resource Availability Optimization for Priority Classes in a Website Vasilis Koutras Agapios Platis
Session 11: Maintenance and Recovery
(Chair: David Trindade)
PRDC-143 Design Tradeoff and Deadlock Prevention in Transient Fault-Tolerant
SMT Processors Xiaobin Li Jean-Luc Gaudiot
PRDC-144 Incorporating Network Connectivity Analysis in Maintenance Planning Meng-Lai Yin Rafael Arellano
PRDC-212 Low-Overhead Run-Time Memory Leak Detection and Recovery Timothy Tsai Kalyan Vaidyanathan Kenny Gross
Session 12: Performance and Reliability
(Chair: Marco Vieira)
PRDC-193 End-to-end consensus using end-to-end channels Matthias Wiesmann
PRDC-213 Performance and Reliability Analysis of Web Server Software
Architectures Swapna Gokhale
Paul Vandal Jijun Lu
PRDC-140 A Single-Chip Fail-Safe Microprocessor with Memory Data Comparison
Feature Kotaro Shimamura Takeshi Takehara
Yosuke Shima Kunihiko Tsunedomi
Short Paper Track 1
(Chair: Ann Tai)
PRDC-110 Evaluating the Impact of Fault Recovery on Superscalar Processor
Performance Toshinori Sato Akihiro Chiyonobu
PRDC-115 A Scenario of Tolerating Interaction Faults Between Otherwise Correct
Systems Bogdan Nassu
Takashi Nanya
PRDC-119 Detection and Recovery for Disconnection Failures in a Web-based
Medical Teleconsultation System Chih-Hsun
Chou Kuo-Feng Ssu Wei-Te Shih Pau-Choo Chung
PRDC-123 Leader Election in the Timed Finite Average Response Time Model Martin
Suessikraut Christof Fetzer
PRDC-127 A Replication Model for Trading Data Integrity against Availability
Johannes Osrael Lorenz Froihofer
Karl M. Goeschka
PRDC-128 Improving Data Transmission with Helping Nodes for Geographical Ad Hoc
Routing Shin-Hung Chung Kuo-Feng Ssu
PRDC-153 Towards Timely ACID Transactions in DBMS Marco Vieira Ant¨®nio Costa Henrique Madeira
PRDC-154 Monitoring Database Application Behavior for Intrusion Detection Jos¨¦
Fonseca Henrique Madeira Marco Vieira
Short Paper Track 2
(Chair: Meng-Lai
Yin)
PRDC-160 Implementation Results of a Configurable Membership Service for Active
Safety Systems Carl Bergenhem Johan Karlsson
PRDC-175 Ontology based IT-security planning Stefan Fenz
Edgar Weippl
PRDC-180 The Hierarchy of BGP Convergence on the Self-Organized Internet Jinjing Zhao Peidong Zhu Xicheng Lu Feng Zhao
PRDC-190 Dynamic Policy Decision for Reconfigurable Coded-WDM PONs chuan-ching sue
PRDC-192 Fault-Tolerant Rate-Monotonic Scheduling Algorithm in Uniprocessor Hakem Beitollahi Geert Deconinck
PRDC-198 The Survivability of the Augmented Logical Ring Topology in WDM
Networks Yung-chiao Chen chuan-ching
sue Sy-Yen Kuo
PRDC-203 A Hybrid Multipath Routing in Mobile ad hoc
Networks chuan-ching sue
PRDC-211 A Generic Trust Overlay Simulator for P2P Networks wang
wei
ˇˇ
ˇˇ
ˇˇ
ˇˇ