The Community for Technology Leaders
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (2001)
Goteborg, Sweden
July 1, 2001 to July 4, 2001
ISBN: 0-7695-1101-5
TABLE OF CONTENTS

Program Committee (PDF)

pp. xvii

Reviewers (PDF)

pp. xx

W.C. Carter Award (PDF)

pp. xxii
Session 1: Plenary
Session 2A: Modeling - John Meyer

Techniques for Estimation of Design Diversity for Combinational Logic Circuits (Abstract)

Edward J. McCluskey , Stanford University
Nirmal R. Saxena , Stanford University
Subhasish Mitra , Stanford University
pp. 0025
Session 2B: Algorithms - David Powell

Fault-Tolerant High-Performance Matrix Multiplication: Theory and Practice (Abstract)

Robert A. van de Geijn , The University of Texas at Austin
Enrique S. Quintana-Ortí , Universidad Jaume I
Daniel S. Katz , California Institute of Technology
John A. Gunnels , The University of Texas at Austin
pp. 0047

How to Model Link Failures: A Perception-Based Fault Model (Abstract)

Ulrich Schmid , Technische Universit?t Wien
pp. 0057
Session 2C: Panel
Session 3A: Software Demos - T. Basil Smith

A Checkpointing Tool for Palm Operating System (Abstract)

Sy-Yen Kuo , National Taiwan University
Yennun Huang , PreCache Inc
Chi-Yi Lin , National Taiwan University
pp. 0071

GOOFI: Generic Object-Oriented Fault Injection Tool (Abstract)

Jonny Vinter , Chalmers University of Technology
Joakim Aidemark , Chalmers University of Technology
Johan Karlsson , Chalmers University of Technology
Peter Folkesson , Chalmers University of Technology
pp. 0083
Session 3B: Replication - Jean-Claude Laprie

Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers (Abstract)

E. Anceaume , IRISA
M. Hurfin , IRISA
Y. Wang , Southeast University
F. Brasileiro , Federal University of Para?ba
F. Greve , IRISA
pp. 0097

A Dynamic Replica Selection Algorithm for Tolerating Timing Faults (Abstract)

William H. Sanders , University of Illinois at Urbana-Champaign
Michel Cukier , University of Illinois at Urbana-Champaign
Sudha Krishnamurthy , University of Illinois at Urbana-Champaign
pp. 0107

Online Reconfiguration in Replicated Databases Based on Group Communication (Abstract)

Alberto Bartoli , Universit? di Trieste
Özalp Babaoglu , University of Bologna
Bettina Kemme , McGill University
pp. 0117
Session 4A: Software Robustness - David Taylor

Robustness Testing and Hardening of CORBA ORB Implementations (Abstract)

Daniel Siewiorek , Carnegie Mellon University
Robert Gruber , AT&T Labs - Research
Philip Koopman , Carnegie Mellon University
Jiantao Pan , Carnegie Mellon University
Yennun Huang , PreCache Inc.
pp. 0141

Constructing Self-Testable Software Components (Abstract)

Cristina Maria Toyota , State University of Campinas (Unicamp)
Eliane Martins , State University of Campinas (Unicamp)
Rosileny Lie Yanagawa , State University of Campinas (Unicamp)
pp. 0151

An Approach for Analysing the Propagation of Data Errors in Software (Abstract)

Martin Hiller , Chalmers University
Arshad Jhumka , Chalmers University
Neeraj Suri , Chalmers University
pp. 0161
Session 4B: Survivability and Security - Yves Deswarte

Enhancing Survivability of Security Services Using Redundancy (Abstract)

Matti A. Hiltunen , AT&T Shannon Laboratory
Richard D. Schlichting , AT&T Shannon Laboratory
Carlos A. Ugarte , The University of Arizona
pp. 0173

Protection of Software-Based Survivability Mechanisms (Abstract)

Jack Davidson , Microsoft Research
Jonathan Hill , University of Virginia
John Knight , University of Virginia
Chenxi Wang , University of Virginia
pp. 0193

Intrusion-Tolerant Group Management in Enclaves (Abstract)

Bruno Dutertre , SRI International
Victoria Stavridou , SRI International
Hassen Saïdi , SRI International
pp. 0203
Session 5A: Wireless and Mobile Communications - Andrea Bondavalli

FATOMAS-A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent Approach (Abstract)

Stefan Pleisch , IBM Research
André Schiper , Swiss Federal Inst. of Technology (EPFL)
pp. 0215

A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller (Abstract)

S. Bagchi , University of Illinois at Urbana-Champaign
Y. Levendel , Motorola Inc.
Z. Kalbarczyk , University of Illinois at Urbana-Champaign
Y. Liu , University of Illinois at Urbana-Champaign
K. Whisnant , University of Illinois at Urbana-Champaign
R. Iyer , University of Illinois at Urbana-Champaign
L. Votta , Motorola Inc.
pp. 0225

Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems (Abstract)

S. Porcarelli , University of Pisa
A. Bondavalli , University of Firenze
F. Tataranni , University of Pisa
pp. 0235
Session 6A: Consistency - Elmootazbellah Elnozahy

A Secure and Highly Available Distributed Store for Meeting Diverse Data Storage Needs (Abstract)

Subramanian Lakshmanan , Georgia Institute of Technology
H. Venkateswaran , Georgia Institute of Technology
Mustaque Ahamad , Georgia Institute of Technology
pp. 0251

State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects (Abstract)

P.M. Melliar-Smith , University of California, Santa Barbara
L.E. Moser , University of California, Santa Barbara
P. Narasimhan , University of California, Santa Barbara
pp. 0261

A Procedure-Based Dynamic Software Update (Abstract)

Yongsub Kim , Hanyang University
Inhwan Lee , Hanyang University
Janghoon Lyu , Hanyang University
Youngjin Kim , Hanyang University
pp. 0271
Session 7A: Real-Time - Gerhard Fohler

Design and Evaluation of Routing Schemes for Dependable Real-Time Connections (Abstract)

Songkuk Kim , The University of Michigan
Sharath Kodase , The University of Michigan
Kang G. Shin , The University of Michigan
Daji Qiao , The University of Michigan
pp. 0285

Performance Evaluation of Dependable Real-Time Communication with Elastic QoS (Abstract)

Jong Kim , Pohang University of Science & Technology
Kang G. Shin , The University of Michigan
pp. 0295

A Study of Failure Models in Feedback Control Systems (Abstract)

João Carlos Cunha , Instituto Superior de Engenharia de Coimbra
Ricardo Maia , Universidade de Coimbra - P?lo II
Mário Zenha Rela , Universidade de Coimbra - P?lo II
João Gabriel Silva , Universidade de Coimbra - P?lo II
pp. 0314
Session 7B: Testing and Runtime Error Detection - Henrique Madeira

Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recovery (Abstract)

Joakim Aidemark , Chalmers University of Technology
Jonny Vinter , Chalmers University of Technology
Peter Folkesson , Chalmers University of Technology
Johan Karlsson , Chalmers University of Technology
pp. 0347

Run-Time Fault Detection in Monitor Based Concurrent Programming (Abstract)

Nick K.C. Cheung , Hong Kong Polytechnic University
Alvin T.S. Chan , Hong Kong Polytechnic University
Jiannong Cao , Hong Kong Polytechnic University
pp. 0357
Session 8A: Models for Fault Tolerance - Andras Pataricza

Synergistic Coordination between Software and Hardware Fault Tolerance Techniques (Abstract)

Kam S. Tso , IA Tech, Inc.
Savio N. Chau , California Institute of Technology
William H. Sanders , University of Illinois
Leon Alkalai , California Institute of Technology
Ann T. Tai , IA Tech, Inc.
pp. 0369

Graybox Stabilization (Abstract)

Murat Demirbas , The Ohio State University
Sandeep S. Kulkarniy , Michigan State University
Anish Arora , The Ohio State University
pp. 0389
Session 8B: Hardware Architecture and Design - Joerg Kaiser

REESE: A Method of Soft Error Detection in Microprocessors (Abstract)

Arun K. Somani , Iowa State University
Joel B. Nickel , Iowa State University
pp. 0401

A Fault Tolerant Approach to Microprocessor Design (Abstract)

Todd Austin , Advanced Computer Architecture Laboratory, University of Michigan
Chris Weaver , Advanced Computer Architecture Laboratory, University of Michigan
pp. 0411

An Experimental Study of Security Vulnerabilities Caused by Errors (Abstract)

Jun Xu , University of Illinois at Urbana-Champaign
Shuo Chen , University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
Ravishankar K. Iyer , University of Illinois at Urbana-Champaign
pp. 0421
Session 9A: Group-Oriented Systems - Yair Amir

Scalable Fault-Tolerant Aggregation in Large Process Groups (Abstract)

Kenneth P. Birman , Cornell University
Indranil Gupta , Cornell University
Robbert Van Renesse , Cornell University
pp. 0433

Lightweight Probabilistic Broadcast (Abstract)

P. Th. Eugster , Federal Institute of Technology
P. Kouznetsov , Federal Institute of Technology
S. B. Handurukande , Federal Institute of Technology
A.-M. Kermarrec , Microsoft Research
R. Guerraoui , Federal Institute of Technology
pp. 0443

Middleware Support for Voting and Data Fusion (Abstract)

David A. Karr , BBN Technologies
David E. Bakken , Washington State University
Zhiyuan Zhan , Washington State University
Christopher C. Jones , BBN Technologies
pp. 0453

The SIMBA User Alert Service Architecture for Dependable Alert Delivery (Abstract)

Wilf Russell , Microsoft Research
Yi-Min Wang , Microsoft Research
Paramvir Bahl , Microsoft Research
pp. 0463
Session 9B: Practical Experience I - W. Kent Fuchs

Recovery in Fault-Tolerant Distributed Microcontrollers (Abstract)

David A. Rennels , University of California at Los Angeles
Riki Hwang , University of California at Los Angeles
pp. 0475

The Design and Use of Persistent Memory on the DNCP Hardware Fault-Tolerant Platform (Abstract)

Thomas C. Bressoud , Bell Laboratories, Lucent Technologies
Ti Kan , Lucent San Jose Labs, Lucent Technologies
Tom Clark , Lucent San Jose Labs, Lucent Technologies
pp. 0487
Session 10A: Practical Experience II - Jay Lala

A Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance (Abstract)

Garen Khanoyan , Jet Propulsion Laboratory, California Institute of Technology
Raphael R. Some , Jet Propulsion Laboratory, California Institute of Technology
Leslie Callum , Jet Propulsion Laboratory, California Institute of Technology
Anil Agrawal , Jet Propulsion Laboratory, California Institute of Technology
John J. Beahan , Jet Propulsion Laboratory, California Institute of Technology
Won S. Kim , Jet Propulsion Laboratory, California Institute of Technology
pp. 0501

Hazard Analysis in Object Oriented Design of Dependable Systems (Abstract)

Christian Grante , Volvo Car Corporation
Per Johannessen , Volvo Car Corporation
Ulrik Eklund , Volvo Car Corporation
Anders Alminger , Volvo Car Corporation
Jan Torin , Chalmers University of Technology
pp. 0507

Byzantine Fault Tolerance Can Be Fast (Abstract)

Miguel Castro , Microsoft Research Ltd.
Barbara Liskov , MIT Laboratory for Computer Science
pp. 0513

Performance Evaluation of Exception Handling in I/O Libraries (Abstract)

John DeVale , Carnegie Mellon University
Philip Koopman , Carnegie Mellon University
pp. 0519
Session 10B: Fast Abstracts II
80 ms
(Ver 3.3 (11022016))