| 2001 | 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea |
| 2001 | A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou |
| 2001 | A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network. Savio N. Chau, Joseph Smith, Ann T. Tai |
| 2001 | A Generic Availability Model for Clustered Computing System. Hairong Sun, James J. Han, Haim Levendel |
| 2001 | A Secure Checkpointing System. Hyo-Chang Nam, Jong Kim, Sung Je Hong, Sunggu Lee |
| 2001 | A Study on the System Call for the Protection of Intellectual Property Rights on Linux Base. Heun Kim, Dae-Joon Hwang |
| 2001 | ARQ in Optical Networks. Paul Oprisan, Bella Bose |
| 2001 | An Adaptive Failure Detection Protocol. Christof Fetzer, Michel Raynal, Frederic Tronel |
| 2001 | An Adaptive Routing Protocol Supporting Reliable Communication in Wireless Ad-Hoc Network Environments. Moon Jeong Kim, Young Ik Eom |
| 2001 | Analysis of Periodic Preventive Maintenance with General System Failure Distribution. Dongyan Chen, Kishor S. Trivedi |
| 2001 | Analysis of Using Convolutional Codes to Recover Packet Losses over Burst Erasure Channels. Masayuki Arai, Anna Yamamoto, Anna Yamaguchi, Satoshi Fukumoto, Kazuhiko Iwasaki |
| 2001 | Analytical Results for Reconfiguration of E-11/2- Track Switch Torus Arrays with Multiple Fault Types. Tadayoshi Horita, Itsuo Takanami |
| 2001 | Approximation Method for Probability Distribution Functions Using Cox Distribution to Evaluate Multimedia Systems. Yukie Sasaki, Hiroei Imai, Masahiro Tsunoyama, Ikuo Ishii |
| 2001 | Automatic Reconfiguration of an Autonomous Disk Cluster. Daisuke Ito, Haruo Yokota |
| 2001 | Automatic Verification of Fault Tolerance Using Model Checking. Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno |
| 2001 | Availability Considerations in Network Design. Jacques Philippe Sauvé, Flávia Estelia Silva Coelho |
| 2001 | Cache Management of Dynamic Source Routing for Fault Tolerance in Mobile Ad Hoc Networks. Ching-Hua Chuan, Sy-Yen Kuo |
| 2001 | Connectivity-Based Multichip Module Repair. Minsu Choi, Nohpill Park, Fred J. Meyer, Fabrizio Lombardi |
| 2001 | Dependability Analysis of a Fault-Tolerant Processor. Cristian Constantinescu |
| 2001 | Dependable Automatic Train Control System Using Digital Track Signals. Masayuki Matsumoto, Tadao Tsurumaki, Tatsuya Shigeta, Korefumi Tashiro, Dai Watanabe |
| 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 | ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation. Byeong Min, Gwan Choi |
| 2001 | Enhanced Token Delivery Scheme for Reliable Multicasting in Wireless Networks. Ji Y. Lim, Tai M. Chung |
| 2001 | Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks. Toshinori Takabatake, Masato Kitakami, Hideo Ito |
| 2001 | Evaluating Low-Cost Fault-Tolerance Mechanism for Microprocessors on Multimedia Applications. Toshinori Sato, Itsujiro Arita |
| 2001 | Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel. Jung-Min Kang, Wook Shin, C.-G. Park, Dong-Ik Lee |
| 2001 | Failure Detection Mechanism for Distributed Object Computing Using CORBA. Wei-Cheng Su, Szu-Chi Wang, Sy-Yen Kuo |
| 2001 | Fault-Tolerance of Functional Programs Based on the Parallel Graph Reduction. Masato Kitakami, Shunji Kubota, Hideo Ito |
| 2001 | Fault-Tolerant Routing in Two-Dimensional Mesh Networks with Less-Restricted Fault Patterns. Sheng-De Wang, Pao Hwa Sui |
| 2001 | Impact of a Failure Detection Mechanism on the Performance of Consensus. Nicole Sergent, Xavier Défago, André Schiper |
| 2001 | Implications of Dependable Computing in Banking Industry. Sam Soo Pyo |
| 2001 | Instantaneous Availability and Interval Availability for Systems with Time-Varying Failure Rate: Stair-Step Approximation. Hairong Sun, James J. Han |
| 2001 | Intelligent Fault-Tolerant CORBA Service on Real-Time CORBA. Youngjae Kim, Sungjune Hong, Kiyong Park, Keecheon Kim, Sunyoung Han |
| 2001 | Middleware of Real-Time Object Based Fault-Tolerant Distributed Computing Systems: Issues and Some Approaches. K. H. (Kane) Kim |
| 2001 | Modeling the Dependability of N-Modular Redundancy on Demand under Malicious Agreement. Fabrizio Lombardi, Nohpill Park, Mohammad A. Al-Hashimi, Huay-min H. Pu |
| 2001 | Novel Fault-Tolerant Techniques for High Capacity RAMs. Chih-Hsien Hsu, Shyue-Kung Lu, Sy-Yen Kuo |
| 2001 | On the Choice of Checkpoint Interval Using Memory Usage Profile and Adaptive Time Series Analysis. Jiman Hong, Sangsu Kim, Yookun Cho, Heon Young Yeom, Taesoon Park |
| 2001 | OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies. Max Walter, Carsten Trinitis, Wolfgang Karl |
| 2001 | Optimal Checkpoint Interval Analysis Using Stochastic Petri Net. Gyung-Leen Park, Hee Yong Youn, Hyunseung Choo |
| 2001 | Optimal Software Rejuvenation Policy with Discounting. Tadashi Dohi, Takashi Danjou, Hiroyuki Okamura |
| 2001 | Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits. Tomoya Kitai, Tomohiro Yoneda |
| 2001 | Real-Time Fingerprints Recognition Mechanism-Based on Digital Contents Protection System for Interaction on Web. Yang-Koo Kang, Moon-Hyun Kim |
| 2001 | Rejuvenation and Failure Detection in Partitionable Systems. Christof Fetzer, Karin Högstedt |
| 2001 | SSD: An Affordable Fault Tolerant Architecture for Superscalar Processors. Seongwoo Kim, Arun K. Somani |
| 2001 | Safety Analysis Using Temporal Database. Hiromi Kobayashi |
| 2001 | Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System. Shigeto Hiraguri, Noriyuki Nishibori, Yasuko Hidaka, Takayuki Kasai, Hideo Nakamura |
| 2001 | Secure Access to Personalized Web Services. Giovanni Battista Barone, N. Margarita, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano |
| 2001 | TREG: Transactional Services Based on Incremental Messages. Carlos Pérez, Germán Fabregat, Rafael J. Martínez, Juan J. Villaplana |
| 2001 | Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems. Daeyoung Kim, Yoonmee Doh, Yann-Hang Lee |
| 2001 | The Implementation and Analysis of OCI-Based Group Communication Support in CORBA. Dongman Lee, Dukyun Nam, Hee Yong Youn, Chansu Yu |
| 2001 | Ticket Based Authentication and Payment Protocol for Mobile Telecommunications Systems. Byung-Rae Lee, Tai-Yun Kim, Sang-Seung Kang |
| 2001 | Ticket-Based Secure Delegation Service Supporting Multiple Domain Models. Kyung-Ah Chang, Tae-Seung Lee, Bang-Hung Chun, Tai-Yun Kim |
| 2001 | Validating Real-Time Constraints in Embedded Systems. R. K. Shyamasundar, J. V. Aghav |