| 2005 | Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems. | Roy Friedman, Achour Mostfaoui, Michel Raynal |
| 2005 | A Virtual Modeling and a Fast Algorithm for Grid Service Reliability. | Yuan-Shun Dai, Xiaolong Wang, Min Xie |
| 2005 | A Distributed Location Service for Reducing Query Failures in Geographic Ad Hoc Routing. | Chih-Hsun Chou, Kuo-Feng Ssu, Hewijin Christine Jiau |
| 2005 | Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses. | Wei Chen, Shiding Lin, Qiao Lian, Zheng Zhang |
| 2005 | FPGA Authentication Header (AH) Implementation for Internet Appliances. | Chang-Chun Cheng, Wei-Ming Chen, Han-Chieh Chao, Yao-Po Wang |
| 2005 | Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. | Henning Burchardt, Jens Oehlerking, Oliver E. Theel |
| 2005 | Development of Dependable Real-Time Systems with Zerberus. | Christian Buckl, Alois C. Knoll, Gerhard Schrott |
| 2004 | Dependability Analysis of a Class of Probabilistic Petri Nets. | Hsu-Chun Yen, Lien-Po Yu |
| 2004 | WINDAR: A Multithreaded Rollback-Recovery Toolkit on Windows. | Jinmin Yang, Dafang Zhang, Zheng Qin, Xue Dong Yang |
| 2004 | Safety Testing of Safety Critical Software Based on Critical Mission Duration. | Shiping Yang, Nan Sang, Guangze Xiong |
| 2004 | Software Rejuvenation Policies for Cluster Systems under Varying Workload. | Wei Xie, Yiguang Hong, Kishor S. Trivedi |
| 2004 | On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. | Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2004 | Systematic Comparisons of RDT Communication-Induced Checkpointing Protocols. | Jichiang Tsai |
| 2004 | Aspects for Improvement of Performance in Fault-Tolerant Software. | Diana Szentivnyi, Simin Nadjm-Tehrani |
| 2004 | Fault-Tolerant Message Switching Based on Wormhole Switching and Backtracking. | Manabu Sueishi, Masato Kitakami, Hideo Ito |
| 2004 | Panel Summary Statements. | Raphael R. Some, Algirdas Avizienis, Jiri Gaisler, Hirokazu Ihara, Shubu Mukherjee, Neeraj Suri |
| 2004 | RedCAN: Simulations of Two Fault Recovery Algorithms for CAN. | Hkan Sivencrona, Torbjrn Olsson, Roger Johansson, Jan Torin |
| 2004 | Ferret: A Host Vulnerability Checking Tool. | Anil Sharma, Jason R. Martin, Nitin Anand, Michel Cukier, William H. Sanders |
| 2004 | Protecting Wavelet Lifting Transforms. | G. Robert Redinbo, Cung Nguyen |
| 2004 | Error Detection Enhancement in COTS Superscalar Processors with Event Monitoring Features. | Amir Rajabzadeh, Mirzad Mohandespour, Seyed Ghassem Miremadi |
| 2004 | Connecting Network Partitions with Location-Assisted Forwarding Nodes in Mobile Ad Hoc Environments. | Chia-Ho Ou, Kuo-Feng Ssu, Hewijin Christine Jiau |
| 2004 | A Dynamic Checkpointing Scheme Based on Reinforcement Learning. | Hiroyuki Okamura, Yuki Nishimura, Tadashi Dohi |
| 2004 | Cache Scrubbing in Microprocessors: Myth or Necessity? | Shubhendu S. Mukherjee, Joel S. Emer, Tryggve Fossum, Steven K. Reinhardt |
| 2004 | A Hybrid Approach for Building Eventually Accurate Failure Detectors. | Achour Mostfaoui, David Powell, Michel Raynal |
| 2004 | Availabilities and Costs of Reliable Fat-Btrees. | Jun Miyazaki, Yohei Abe, Haruo Yokota |