| 2002 | 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan |
| 2002 | A Class of Random Multiple Bits in a Byte Error Correcting (S t/b EC)Codes for Semiconductor Memory Systems. Ganesan Umanesan, Eiji Fujiwara |
| 2002 | A Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent. Jiannong Cao, Xianbing Wang, Siu Lo, Sajal K. Das |
| 2002 | A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems. Örjan Askerdal, Magnus Gäfvert, Martin Hiller, Neeraj Suri |
| 2002 | A Low Overhead heckpointing Protocol for Mobile Computing Systems. Chi-Yi Lin, Szu-Chi Wang, Sy-Yen Kuo, Ing-Yi Chen |
| 2002 | A Packet-Based Caching Proxy with Loss Recovery for Video Streaming. Kuan-Sheng Hsueh, Sheng-De Wang |
| 2002 | An Adaptive High-Low Water Mark Destage Algorithm for Cached RAID5. Young Jin Nam, Chanik Park |
| 2002 | An Alternative Method of Generating Tests for Path Delay Faults Using N -Detection Test Sets. Hiroshi Takahashi, Kewal K. Saluja, Yuzo Takamatsu |
| 2002 | An Extreme Value Injection Approach with Reduced Learning Time to Make MLNs Multiple-Weight-Fault Tolerant. Itsuo Takanami, Yasuhiro Oyama |
| 2002 | An Introduction to the Renaming Problem. Michel Raynal |
| 2002 | Analysis of the Effects of Real and Injected Software Faults: . Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau |
| 2002 | Analyzing Network Reliability With Imperfect Nodes Using OBDD. Fu-Min Yeh, Hung-Yau Lin, Sy-Yen Kuo |
| 2002 | Asynchronous Active Replication in Three-Tier Distributed Systems. Roberto Baldoni, Carlo Marchetti, Sara Tucci Piergiovanni |
| 2002 | Caveat Emptor: Making Grid Services Dependable from the Client Side. Miron Livny, Douglas Thain |
| 2002 | Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation. João Durães, Henrique Madeira |
| 2002 | Comparison with Defect Compensation Methods for Feed-forward Neural Networks. Kin'ya Takahashi, Kunihito Yamamori, Ikuo Yoshihara, Susumu Horiguchi |
| 2002 | Configurable PC Clusters Using a Hierarchical Complete-Connection-Based Switching Network. Nobuo Tsuda |
| 2002 | Consensus in Synchronous Systems: A Concise Guided Tour. Michel Raynal |
| 2002 | Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking. Marco Vieira, Henrique Madeira |
| 2002 | Detecting Feature Interactions in Telecommunication Services with a SAT Solver. Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno |
| 2002 | Energy Efficient and Robust Multicast Protocol for Mobile Ad Hoc Networks. Sangman Moh, Chansu Yu, Ben Lee, Hee Yong Youn |
| 2002 | Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module. Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu |
| 2002 | Enhancing Delay Fault Testability for Iterative Logic Array. Shyue-Kung Lu, Chien-Hung Yeh |
| 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 | Event Log based Dependability Analysis of Windows NT and 2K Systems. Cristina Simache, Mohamed Kaâniche, Ayda Saïdane |
| 2002 | Fault Tolerance in Autonomic Computing Environment. Yoshihiro Tohma |
| 2002 | Fault-Tolerant Properties of Generalized Hierarchical Completely-Connected Networks. Toshinori Takabatake, Masato Kitakami, Hideo Ito |
| 2002 | Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System. Harigovind V. Ramasamy, Michel Cukier, William H. Sanders |
| 2002 | Formal Verification of a Pipelined Processor with New Memory. Hiroshi Nakamura, Takanori Arai, Masahiro Fujita |
| 2002 | Hardware/Software Co-Reliability of Configurable Digital Systems. Minsu Choi, Nohpill Park, Yong-Bin Kim, Fabrizio Lombardi |
| 2002 | Highly Fault-Tolerant FPGA Processor by Degrading Strategy. Yousuke Nakamura, Kei Hiraki |
| 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 | On Characteristics of DEF Communication-Induced Checkpointing Protocols. Jichiang Tsai, Jenn-Wei Lin |
| 2002 | Passive Replication Schemes in Aqua. Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney |
| 2002 | Perspectives on Dependable Computing for Solar System Exploration. Leon Alkalai |
| 2002 | Principles of Multi-Level Reflection for Fault Tolerant Architectures. François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian |
| 2002 | Providing Persistence or Sensor Streams with Light Neighbor WAL. Hideyuki Kawashima, Motomichi Toyama, Yuichiro Anzai, Michita Imai |
| 2002 | Reliability Analysis of Grid Computing Systems. Yuan-Shun Dai, Min Xie, Kim-Leng Poh |
| 2002 | Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD. Yung-Ruei Chang, Suprasad V. Amari, Sy-Yen Kuo |
| 2002 | The Cost of Checkpointing, Logging and Recovery for the Mobile Agent Systems. Hyunjoo Kim, Heon Young Yeom, Taesoon Park, Hyoung-Woo Park |
| 2002 | Using Software Implemented Fault Inserter in Dependability Analysis. Piotr Gawkowski, Janusz Sosnowski |
| 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 |