| 2002 | Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. | Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers |
| 2002 | The Cost of Checkpointing, Logging and Recovery for the Mobile Agent Systems. | Hyunjoo Kim, Heon Young Yeom, Taesoon Park, Hyoung-Woo Park |
| 2002 | Providing Persistence or Sensor Streams with Light Neighbor WAL. | Hideyuki Kawashima, Motomichi Toyama, Yuichiro Anzai, Michita Imai |
| 2002 | Analysis of the Effects of Real and Injected Software Faults: . | Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau |
| 2002 | A Packet-Based Caching Proxy with Loss Recovery for Video Streaming. | Kuan-Sheng Hsueh, Sheng-De Wang |
| 2002 | Using VHDL-Based Fault Injection to exercise Error Detection Mechanisms in the Time-Triggered Architecture. | Joaquin Gracia, Daniel Gil, Juan Carlos Baraza, Pedro J. Gil |
| 2002 | Using Software Implemented Fault Inserter in Dependability Analysis. | Piotr Gawkowski, Janusz Sosnowski |
| 2002 | Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation. | Joo Dures, Henrique Madeira |
| 2002 | Reliability Analysis of Grid Computing Systems. | Yuan-Shun Dai, Min Xie, Kim-Leng Poh |
| 2002 | Hardware/Software Co-Reliability of Configurable Digital Systems. | Minsu Choi, Nohpill Park, Yong-Bin Kim, Fabrizio Lombardi |
| 2002 | Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD. | Yung-Ruei Chang, Suprasad V. Amari, Sy-Yen Kuo |
| 2002 | A Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent. | Jiannong Cao, Xianbing Wang, Siu Lo, Sajal K. Das |
| 2002 | Asynchronous Active Replication in Three-Tier Distributed Systems. | Roberto Baldoni, Carlo Marchetti, Sara Tucci Piergiovanni |
| 2002 | A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems. | rjan Askerdal, Magnus Gfvert, Martin Hiller, Neeraj Suri |
| 2002 | Evaluation of Convolutional-Code-Based FEC under Limited Recovery Time and Its Application to Real-time Transmission. | Masayuki Arai, Hitoshi Kurosu, Satoshi Fukumoto, Kazuhiko Iwasaki |
| 2002 | Perspectives on Dependable Computing for Solar System Exploration. | Leon Alkalai |
| 2001 | Automatic Verification of Fault Tolerance Using Model Checking. | Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno |
| 2001 | Fault-Tolerant Routing in Two-Dimensional Mesh Networks with Less-Restricted Fault Patterns. | Sheng-De Wang, Pao Hwa Sui |
| 2001 | OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies. | Max Walter, Carsten Trinitis, Wolfgang Karl |
| 2001 | Development of a Fail-Safe Microprocessor LSI with Self-Diagnosis Mechanism Depending on an M-Sequence Code Signature. | Sei Takahashi, Munehisa Taira, Hidetaka Saegusa, Takehiko Hoshino, Hideo Nakamura |
| 2001 | Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks. | Toshinori Takabatake, Masato Kitakami, Hideo Ito |
| 2001 | Failure Detection Mechanism for Distributed Object Computing Using CORBA. | Wei-Cheng Su, Szu-Chi Wang, Sy-Yen Kuo |
| 2001 | A Generic Availability Model for Clustered Computing System. | Hairong Sun, James J. Han, Haim Levendel |
| 2001 | Instantaneous Availability and Interval Availability for Systems with Time-Varying Failure Rate: Stair-Step Approximation. | Hairong Sun, James J. Han |
| 2001 | Validating Real-Time Constraints in Embedded Systems. | R. K. Shyamasundar, J. V. Aghav |