| 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 | Impact of a Failure Detection Mechanism on the Performance of Consensus. | Nicole Sergent, Xavier Dfago, Andr Schiper |
| 2001 | Availability Considerations in Network Design. | Jacques Philippe Sauv, Flvia Estelia Silva Coelho |
| 2001 | Evaluating Low-Cost Fault-Tolerance Mechanism for Microprocessors on Multimedia Applications. | Toshinori Sato, Itsujiro Arita |
| 2001 | Approximation Method for Probability Distribution Functions Using Cox Distribution to Evaluate Multimedia Systems. | Yukie Sasaki, Hiroei Imai, Masahiro Tsunoyama, Ikuo Ishii |
| 2001 | Implications of Dependable Computing in Banking Industry. | Sam Soo Pyo |
| 2001 | TREG: Transactional Services Based on Incremental Messages. | Carlos Prez, Germn Fabregat, Rafael J. Martnez, Juan J. Villaplana |
| 2001 | Optimal Checkpoint Interval Analysis Using Stochastic Petri Net. | Gyung-Leen Park, Hee Yong Youn, Hyunseung Choo |
| 2001 | ARQ in Optical Networks. | Paul Oprisan, Bella Bose |
| 2001 | A Secure Checkpointing System. | Hyo-Chang Nam, Jong Kim, Sung Je Hong, Sunggu Lee |
| 2001 | ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation. | Byeong Min, Gwan Choi |
| 2001 | Dependable Automatic Train Control System Using Digital Track Signals. | Masayuki Matsumoto, Tadao Tsurumaki, Tatsuya Shigeta, Korefumi Tashiro, Dai Watanabe |
| 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 | Enhanced Token Delivery Scheme for Reliable Multicasting in Wireless Networks. | Ji Y. Lim, Tai M. Chung |
| 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 | Safety Analysis Using Temporal Database. | Hiromi Kobayashi |
| 2001 | Fault-Tolerance of Functional Programs Based on the Parallel Graph Reduction. | Masato Kitakami, Shunji Kubota, Hideo Ito |
| 2001 | Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits. | Tomoya Kitai, Tomohiro Yoneda |
| 2001 | SSD: An Affordable Fault Tolerant Architecture for Superscalar Processors. | Seongwoo Kim, Arun K. Somani |
| 2001 | Intelligent Fault-Tolerant CORBA Service on Real-Time CORBA. | Youngjae Kim, Sungjune Hong, Kiyong Park, Keecheon Kim, Sunyoung Han |
| 2001 | A Study on the System Call for the Protection of Intellectual Property Rights on Linux Base. | Heun Kim, Dae-Joon Hwang |
| 2001 | An Adaptive Routing Protocol Supporting Reliable Communication in Wireless Ad-Hoc Network Environments. | Moon Jeong Kim, Young Ik Eom |
| 2001 | Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems. | Daeyoung Kim, Yoonmee Doh, Yann-Hang Lee |
| 2001 | Middleware of Real-Time Object Based Fault-Tolerant Distributed Computing Systems: Issues and Some Approaches. | K. H. (Kane) Kim |