Table of Contents

• Business Meeting: IEEE Technical Committee on Fault ToleranceWilliam H. Sanders.
• The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation ProcessPeter T. Popov, Lorenzo Strigini. 5-14 [doi]
• Dependability of Mobile Networks and Services: Can We Rely on Them?Michele Morganti. 13 [doi]
• Difficulties Measuring Software Risk in an Industrial EnvironmentElaine J. Weyuker. 15-24 [doi]
• Techniques for Estimation of Design Diversity for Combinational Logic CircuitsSubhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey. 25-36 [doi]
• Concurrent Error Detection in Fast Unitary Transform AlgorithmsG. Robert Redinbo. 37-46 [doi]
• Fault-Tolerant High-Performance Matrix Multiplication: Theory and PracticeJohn A. Gunnels, Robert A. van de Geijn, Daniel S. Katz, Enrique S. Quintana-Ortí. 47-56 [doi]
• How to Model Link Failures: A Perception-Based Fault ModelUlrich Schmid. 57 [doi]
• A Checkpointing Tool for Palm Operating SystemChi-Yi Lin, Sy-Yen Kuo, Yennun Huang. 71-76 [doi]
• Model-Based Synthesis of Fault Trees from Matlab-Simulink ModelsYiannis Papadopoulos, Matthias Maruhn. 77-82 [doi]
• GOOFI: Generic Object-Oriented Fault Injection ToolJoakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson. 83-88 [doi]
• Quantifying the Reliability of Embedded Systems by Automated AnalysisPeter Liggesmeyer, Oliver Mäckel. 89-96 [doi]
• Avoiding Priority Inversion on the Processing of Requests by Active Replicated ServersYun Wang, Francisco Vilar Brasileiro, Emmanuelle Anceaume, Fabíola Greve, Michel Hurfin. 97-106 [doi]
• A Dynamic Replica Selection Algorithm for Tolerating Timing FaultsSudha Krishnamurthy, William H. Sanders, Michel Cukier. 107-116 [doi]
• Online Reconfiguration in Replicated Databases Based on Group CommunicationBettina Kemme, Alberto Bartoli, Özalp Babaoglu. 117-130 [doi]
• Improving Driver Robustness: An Evaluation of the Devil ApproachLaurent Réveillère, Gilles Muller. 131-140 [doi]
• Robustness Testing and Hardening of CORBA ORB ImplementationsJiantao Pan, Philip Koopman, Daniel P. Siewiorek, Yennun Huang, Robert Gruber, Mimi Ling Jiang. 141-150 [doi]
• Constructing Self-Testable Software ComponentsEliane Martins, Cristina Maria Toyota, Rosileny Lie Yanagawa. 151-160 [doi]
• An Approach for Analysing the Propagation of Data Errors in SoftwareMartin Hiller, Arshad Jhumka, Neeraj Suri. 161-172 [doi]
• Enhancing Survivability of Security Services Using RedundancMatti A. Hiltunen, Richard D. Schlichting, Carlos A. Ugarte. 173-182 [doi]
• Distributing Trust on the Internet Christian Cachin. 183-192 [doi]
• Protection of Software-Based Survivability MechanismsChenxi Wang, Jonathan Hill, John C. Knight, Jack W. Davidson. 193-202 [doi]
• Intrusion-Tolerant Group Management in EnclavesBruno Dutertre, Hassen Saïdi, Victoria Stavridou. 203-214 [doi]
• FATOMAS-A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent ApproachStefan Pleisch, André Schiper. 215-224 [doi]
• A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network ControllerSaurabh Bagchi, Y. Liu, Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Y. Levendel, Lawrence G. Votta. 225-234 [doi]
• Analysis of the Effects of Outages on the Quality of Service of GPRS Network SystemsF. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli. 235-250 [doi]
• A Secure and Highly Available Distributed Store for Meeting Diverse Data Storage NeedsSubramanian Lakshmanan, Mustaque Ahamad, H. Venkateswaran. 251-260 [doi]
• State Synchronization and Recovery for Strongly Consistent Replicated CORBA ObjectsPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith. 261-270 [doi]
• A Procedure-Based Dynamic Software UpdateJanghoon Lyu, Youngjin Kim, Yongsub Kim, Inhwan Lee. 271-284 [doi]
• Design and Evaluation of Routing Schemes for Dependable Real-Time ConnectionsSongkuk Kim, Daji Qiao, Sharath Kodase, Kang G. Shin. 285-294 [doi]
• Performance Evaluation of Dependable Real-Time Communication with Elastic QoSJong Kim, Kang G. Shin. 295-303 [doi]
• Experimental Evaluation of the Fail-Silent Behavior of a Distributed Real-Time Run-Time Support Built from COTS ComponentsPascal Chevochot, Isabelle Puaut. 304-313 [doi]
• A Study of Failure Models in Feedback Control SystemsJoão Carlos Cunha, Ricardo Maia, Mário Zenha Rela, João Gabriel Silva. 314-326 [doi]
• A Strategy for Testing MetaObject Protocols in Reflective ArchitecturesJuan-Carlos Ruiz-Garcia, Pascale Thévenod-Fosse, Jean-Charles Fabre. 327-336 [doi]
• Applicability of Non-Specification-Based Approaches to Logic Testing for SoftwareNoritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno. 337-346 [doi]
• Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort RecoverJonny Vinter, Joakim Aidemark, Peter Folkesson, Johan Karlsson. 347-356 [doi]
• Run-Time Fault Detection in Monitor Based Concurrent ProgrammingJiannong Cao, Nick K. C. Cheung, Alvin T. S. Chan. 357-368 [doi]
• Synergistic Coordination between Software and Hardware Fault Tolerance TechniquesAnn T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders. 369-378 [doi]
• Performance Validation of Fault-Tolerance Software: A Compositional ApproachSimona Bernardi, Susanna Donatelli. 379-388 [doi]
• Graybox StabilizationAnish Arora, Murat Demirbas, Sandeep S. Kulkarni. 389-400 [doi]
• REESE: A Method of Soft Error Detection in MicroprocessorsJoel B. Nickel, Arun K. Somani. 401-410 [doi]
• A Fault Tolerant Approach to Microprocessor DesignChristopher T. Weaver, Todd M. Austin. 411-420 [doi]
• An Experimental Study of Security Vulnerabilities Caused by ErrorsJun Xu, Shuo Chen, Zbigniew Kalbarczyk, Ravishankar K. Iyer. 421-432 [doi]
• Scalable Fault-Tolerant Aggregation in Large Process GroupsIndranil Gupta, Robbert van Renesse, Kenneth P. Birman. 433-442 [doi]
• Lightweight Probabilistic BroadcastPatrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande, Petr Kouznetsov, Anne-Marie Kermarrec. 443-452 [doi]
• Middleware Support for Voting and Data FusionDavid E. Bakken, Zhiyuan Zhan, Christopher C. Jones, David A. Karr. 453-462 [doi]
• The SIMBA User Alert Service Architecture for Dependable Alert DeliveryYi-Min Wang, Paramvir Bahl, Wilf Russell. 463-474 [doi]
• Recovery in Fault-Tolerant Distributed MicrocontrollersDavid A. Rennels, Riki Hwang. 475-480 [doi]
• Ensuring Dependable Processor Performance: An Experience Report on Pre-Silicon Performance ValidationPradip Bose. 481-486 [doi]
• The Design and Use of Persistent Memory on the DNCP Hardware Fault-Tolerant PlatformThomas C. Bressoud, Tom Clark, Ti Kan. 487-492 [doi]
• alidating the Intel® Pentium® 4 MicroprocessorBob Bentley. 493-500 [doi]
• Software-Implemented Fault Injection Methodology for Design and Validation of System Fault ToleranceRaphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, John J. Beahan. 501-506 [doi]
• Hazard Analysis in Object Oriented Design of Dependable SystemsPer Johannessen, Christian Grante, Anders Alminger, Ulrik Eklund, Jan Torin. 507-512 [doi]
• Byzantine Fault Tolerance Can Be FastMiguel Castro, Barbara Liskov. 513-518 [doi]
• Performance Evaluation of Exception Handling in I/O LibrariesJohn DeVale, Philip Koopman. 519 [doi]