![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
DSN 2001: Göteborg, Sweden
- 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings. IEEE Computer Society 2001, ISBN 0-7695-1101-5
Session 2A: Modeling - John Meyer
- Peter T. Popov
, Lorenzo Strigini:
The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process. 5-14 - Elaine J. Weyuker:
Difficulties Measuring Software Risk in an Industrial Environment. 15-24 - Subhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey:
Techniques for Estimation of Design Diversity for Combinational Logic Circuits. 25-36
Session 2B: Algorithms - David Powell
- G. Robert Redinbo:
Concurrent Error Detection in Fast Unitary Transform Algorithms. 37-46 - John A. Gunnels, Robert A. van de Geijn, Daniel S. Katz
, Enrique S. Quintana-Ortí
:
Fault-Tolerant High-Performance Matrix Multiplication: Theory and Practice. 47-56 - Ulrich Schmid:
How to Model Link Failures: A Perception-Based Fault Model. 57
Session 2C: Panel
- Michele Morganti:
Dependability of Mobile Networks and Services: Can We Rely on Them? DSN 2001: 13
Session 3A: Software Demos - T. Basil Smith
- Chi-Yi Lin, Sy-Yen Kuo, Yennun Huang
:
A Checkpointing Tool for Palm Operating System. 71-76 - Yiannis Papadopoulos
, Matthias Maruhn:
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. 77-82 - Joakim Aidemark, Jonny Vinter
, Peter Folkesson, Johan Karlsson:
GOOFI: Generic Object-Oriented Fault Injection Tool. 83-88 - Peter Liggesmeyer, Oliver Mäckel:
Quantifying the Reliability of Embedded Systems by Automated Analysis. 89-96
Session 3B: Replication - Jean-Claude Laprie
- Yun Wang, Francisco Vilar Brasileiro, Emmanuelle Anceaume, Fabíola Greve, Michel Hurfin:
Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers. 97-106 - Sudha Krishnamurthy, William H. Sanders, Michel Cukier:
A Dynamic Replica Selection Algorithm for Tolerating Timing Faults. 107-116 - Bettina Kemme, Alberto Bartoli
, Özalp Babaoglu
:
Online Reconfiguration in Replicated Databases Based on Group Communication. 117-130
Session 4A: Software Robustness - David Taylor
- Laurent Réveillère, Gilles Muller:
Improving Driver Robustness: An Evaluation of the Devil Approach. 131-140 - Jiantao Pan, Philip Koopman, Daniel P. Siewiorek, Yennun Huang
, Robert Gruber, Mimi Ling Jiang:
Robustness Testing and Hardening of CORBA ORB Implementations. 141-150 - Eliane Martins, Cristina Maria Toyota, Rosileny Lie Yanagawa:
Constructing Self-Testable Software Components. 151-160 - Martin Hiller, Arshad Jhumka, Neeraj Suri
:
An Approach for Analysing the Propagation of Data Errors in Software. 161-172
Session 4B: Survivability and Security - Yves Deswarte
- Matti A. Hiltunen, Richard D. Schlichting, Carlos A. Ugarte:
Enhancing Survivability of Security Services Using Redundanc. 173-182 - Christian Cachin:
Distributing Trust on the Internet . 183-192 - Chenxi Wang, Jonathan Hill, John C. Knight, Jack W. Davidson:
Protection of Software-Based Survivability Mechanisms. 193-202 - Bruno Dutertre, Hassen Saïdi, Victoria Stavridou:
Intrusion-Tolerant Group Management in Enclaves. 203-214
Session 5A: Wireless and Mobile Communications - Andrea Bondavalli
- Stefan Pleisch, André Schiper:
FATOMAS-A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent Approach. 215-224 - Saurabh Bagchi, Y. Liu, Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Ytzhak H. Levendel, Lawrence G. Votta:
A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller. 225-234 - F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli
:
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems. 235-250
Session 6A: Consistency - Elmootazbellah Elnozahy
- Subramanian Lakshmanan, Mustaque Ahamad, H. Venkateswaran:
A Secure and Highly Available Distributed Store for Meeting Diverse Data Storage Needs. 251-260 - Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. 261-270 - Janghoon Lyu, Youngjin Kim, Yongsub Kim, Inhwan Lee:
A Procedure-Based Dynamic Software Update. 271-284
Session 7A: Real-Time - Gerhard Fohler
- Songkuk Kim, Daji Qiao, Sharath Kodase, Kang G. Shin:
Design and Evaluation of Routing Schemes for Dependable Real-Time Connections. 285-294 - Jong Kim, Kang G. Shin:
Performance Evaluation of Dependable Real-Time Communication with Elastic QoS. 295-303 - Pascal Chevochot, Isabelle Puaut:
Experimental Evaluation of the Fail-Silent Behavior of a Distributed Real-Time Run-Time Support Built from COTS Components. 304-313 - João Carlos Cunha
, Ricardo Maia, Mário Zenha Rela, João Gabriel Silva
:
A Study of Failure Models in Feedback Control Systems. 314-326
Session 7B: Testing and Runtime Error Detection - Henrique Madeira
- Juan-Carlos Ruiz-Garcia
, Pascale Thévenod-Fosse, Jean-Charles Fabre:
A Strategy for Testing MetaObject Protocols in Reflective Architectures. 327-336 - Noritaka Kobayashi, Tatsuhiro Tsuchiya
, Tohru Kikuno:
Applicability of Non-Specification-Based Approaches to Logic Testing for Software. 337-346 - Jonny Vinter
, Joakim Aidemark, Peter Folkesson, Johan Karlsson:
Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recover. 347-356 - Jiannong Cao
, Nick K. C. Cheung, Alvin T. S. Chan:
Run-Time Fault Detection in Monitor Based Concurrent Programming. 357-368
Session 8A: Models for Fault Tolerance - Andras Pataricza
- Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders:
Synergistic Coordination between Software and Hardware Fault Tolerance Techniques. 369-378 - Simona Bernardi
, Susanna Donatelli:
Performance Validation of Fault-Tolerance Software: A Compositional Approach. 379-388 - Anish Arora, Murat Demirbas, Sandeep S. Kulkarni:
Graybox Stabilization. 389-400
Session 8B: Hardware Architecture and Design - Joerg Kaiser
- Joel B. Nickel, Arun K. Somani:
REESE: A Method of Soft Error Detection in Microprocessors. 401-410 - Christopher T. Weaver, Todd M. Austin:
A Fault Tolerant Approach to Microprocessor Design. 411-420 - Jun Xu, Shuo Chen, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
An Experimental Study of Security Vulnerabilities Caused by Errors. 421-432
Session 9A: Group-Oriented Systems - Yair Amir
- Indranil Gupta, Robbert van Renesse, Kenneth P. Birman
:
Scalable Fault-Tolerant Aggregation in Large Process Groups. 433-442 - Patrick Th. Eugster, Rachid Guerraoui
, Sidath B. Handurukande, Petr Kouznetsov, Anne-Marie Kermarrec
:
Lightweight Probabilistic Broadcast. 443-452 - David E. Bakken, Zhiyuan Zhan, Christopher C. Jones, David A. Karr:
Middleware Support for Voting and Data Fusion. 453-462 - Yi-Min Wang, Paramvir Bahl, Wilf Russell:
The SIMBA User Alert Service Architecture for Dependable Alert Delivery. 463-474
Session 9B: Practical Experience I - W. Kent Fuchs
- David A. Rennels, Riki Hwang:
Recovery in Fault-Tolerant Distributed Microcontrollers. 475-480 - Pradip Bose:
Ensuring Dependable Processor Performance: An Experience Report on Pre-Silicon Performance Validation. 481-486 - Thomas C. Bressoud, Tom Clark, Ti Kan:
The Design and Use of Persistent Memory on the DNCP Hardware Fault-Tolerant Platform. 487-492 - Bob Bentley:
alidating the Intel® Pentium® 4 Microprocessor. 493-500
Session 10A: Practical Experience II - Jay Lala
- Raphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, John J. Beahan:
Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance. 501-506 - Per Johannessen, Christian Grante, Anders Alminger, Ulrik Eklund, Jan Torin:
Hazard Analysis in Object Oriented Design of Dependable Systems. 507-512 - Miguel Castro, Barbara Liskov:
Byzantine Fault Tolerance Can Be Fast. 513-518 - John DeVale, Philip Koopman:
Performance Evaluation of Exception Handling in I/O Libraries. 519
Session 10B: Fast Abstracts II
- William H. Sanders:
Business Meeting: IEEE Technical Committee on Fault Tolerance. DSN 2001
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.