default search action
DSN 2003: San Francisco, CA, USA
- 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings. IEEE Computer Society 2003, ISBN 0-7695-1952-0
Session 1A: Safety and Security
- Roy A. Maxion:
Masquerade Detection Using Enriched Command Lines. 5-14 - Silke Kuball, Gordon Hughes:
Decision-Support for Certification by Calculating the Evidential Volume of a Product. 15-24 - Robin E. Bloomfield, Bev Littlewood:
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. 25-34
Session 1B: Broadcast and Publish/Subscribe
- Michael Backes, Christian Cachin:
Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries. 37-46 - Luís E. T. Rodrigues, Sidath B. Handurukande, José Pereira
, Rachid Guerraoui, Anne-Marie Kermarrec
Adaptive Gossip-Based Broadcast. 47-56 - Sumeer Bhola, Yuanyuan Zhao, Joshua S. Auerbach:
Scalably Supporting Durable Subscriptions in a Publish/Subscribe System. 57-66
Session 2A: Practical Experience and Demonstrations - 1
- Simon Pugh, Eric Aliot:
Pragmatic Fault Tolerance for Railway Control and Safety Protection of the Channel Tunnel. 69-74 - Thuy Nguyen, Alain Ourghanlian
Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. 75-79 - Geert Deconinck
Integrating Recovery Strategies into a Primary Substation Automation System. 80-85 - Henrique Madeira
The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments. 86-91
Session 2B: Dependability Evaluation
- Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
Building SWIFI Tools from Temporal Logic Specifications. 95-104 - João Durães
Definition of Software Fault Emulation Operators: A Field Data Study. 105-114 - Ji Zhu, James Mauro, Ira Pramanick:
Robustness Benchmarking for Hardware Maintenance Events. 115-122 - Astrit Ademaj, Håkan Sivencrona, Günther Bauer, Jan Torin:
Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology. 123-132
Session 4A: Dependability Algorithms
- Anish Arora, Hongwei Zhang:
LSRP: Local Stabilization in Shortest Path Routing. 139-148 - Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas. 149-158 - Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel:
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. 159-168
Session 5A: Network Fault Tolerance
- Pradeep Kyasanur, Nitin H. Vaidya:
Detection and Handling of MAC Layer Misbehavior in Wireless Networks. 173-182 - Dan Pei
A Study of Packet Delivery Performance during Routing Convergence. 183-192 - Vijay Lakamraju, Israel Koren, C. Mani Krishna:
Low Overhead Fault Tolerant Networking in Myrinet. 193-202
Session 6A: Services for Distributed Computing
- Stefano Chessa
Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks. 207-216 - Ningning Zhu, Tzi-cker Chiueh:
Design, Implementation, and Evaluation of Repairable File Service. 217-226 - Dimane Mpoeleng, Paul D. Ezhilchelvan
From Crash Tolerance to Authenticated Byzantine Tolerance: A Structured Approach, the Cost and Benefits. 227-236
Session 7A: Modeling and Formal Methods
- Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi:
Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. 241-248 - Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberdi:
Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. 249-258 - Seth Gilbert
RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks. 259-268
Session 8A: Computer Design
- John G. Dorsey, Daniel P. Siewiorek
The Design of Wearable Systems: A Shift in Development Effort. 273-280 - Daniel J. Sorin, Mark D. Hill, David A. Wood:
Dynamic Verification of End-to-End Multiprocessor Invariants. 281-290 - Wei Zhang, Sudhanva Gurumurthi, Mahmut T. Kandemir, Anand Sivasubramaniam:
ICR: In-Cache Replication for Enhancing Data Cache Reliability. 291-300
Session 9A: Practical Experiences and Demonstrations - 2
- Marco Vieira
Benchmarking the Dependability of Different OLTP Systems. 305-310 - Yi-Min Wang, Chad Verbowski, Daniel R. Simon:
Persistent-State Checkpoint Comparison for Troubleshooting Configuration Failures. 311-316 - Christof Fetzer, Zhen Xiao:
HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications. 317-322 - Ruppert R. Koch, Sanjay Hortikar, Sivaguru Sankaridurg, Paul Ngan, Michael O. Neary, Dirk Wagner:
The Anacapa System. 323-328
Session 9B: Distributed Systems and Services
- José Rufino, Paulo Veríssimo, Guilherme Arroz:
Node Failure Detection and Membership in CANELy. 331-340 - Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. 341-350 - Achour Mostéfaoui, Eric Mourgaya, Michel Raynal:
Asynchronous Implementation of Failure Detectors. 351-360 - Szu-Chi Wang, Sy-Yen Kuo:
Communication Strategies for Heartbeat-Style Failure Detectors in Wireless Ad Hoc Networks. 361-370
Session 10A: TCP Connection Management
- Manish Marwah, Shivakant Mishra, Christof Fetzer:
TCP Server Fault Tolerance Using Connection Migration to a Backup Server. 373-382 - Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith:
Transparent TCP Connection Failover. 383-392 - Dmitrii Zagorodnov, Keith Marzullo, Lorenzo Alvisi, Thomas C. Bressoud:
Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP. 393-402 - Yair Amir, Ryan Caudy, Ashima Munjal, Theo Schlossnagle, Ciprian Tutu:
N-Way Fail-Over Infrastructure for Reliable Servers and Routers. 403-412
Session 10B: Robust Software
- Jonny Vinter
On the Design of Robust Integrators for Fail-Bounded Control Systems. 415-424 - Jeff Napper, Lorenzo Alvisi, Harrick M. Vin:
A Fault-Tolerant Java Virtual Machine. 425-434 - François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian:
Towards Implementing Multi-Layer Reflection for Fault-Tolerance. 435-444 - Christof Fetzer, Karin Högstedt, Pascal Felber
Automatic Detection and Masking of Non-Atomic Exception Handling. 445-454
Session 1C: Measurement-Based System Dependability Evaluation
- Weining Gu, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Zhen-Yu Yang:
Characterization of Linux Kernel Behavior under Errors. 459-468 - Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Roland Karch, Volkmar Sieh, Oliver Tschäche:
Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions. 469-478 - Ali Reza Ejlali, Seyed Ghassem Miremadi, Hamid R. Zarandi, Ghazanfar Asadi
A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation. 479-488
Session 2C: Techniques to Improve System and Network Dependability
- Jayakrishnan Nair, Zahava Koren, Israel Koren, C. Mani Krishna:
Pre-Processing Input Data to Augment Fault Tolerance in Space Applications. 491-500 - Srikant Sharma, Jiawu Chen, Wei Li, Kartik Gopalan
Duplex: A Reusable Fault Tolerance Extension Framework for Network Access Devices. 501-510 - Yair Amir, Claudiu Danilov:
Reliable Communication in Overlay Networks. 511-520 - Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi:
Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques. 521-528
Session 3C: Analysis of Fault-Tolerant Protocols
- Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns
Cost-Optimization of the IPv4 Zeroconf Protocol. 531-540 - Achour Mostéfaoui, Eric Mourgaya, Philippe Raipin Parvédy, Michel Raynal:
Evaluating the Condition-Based Approach to Solve Consensus. 541-550 - Lívia M. R. Sampaio, Francisco Vilar Brasileiro, Walfredo Cirne, Jorge C. A. de Figueiredo:
How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols. 551-560
Session 4C: Analytical Methods
- Doru P. Munteanu, Víctor Suñé, Rosa Rodríguez-Montañés, Juan A. Carrasco:
A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip. 563-572 - Pam Binns:
Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules. 573-582 - Felix Engelhard, Stefan Greiner, Reinhard German:
ParEs - A Parameter-Estimation-Tool. 583-592
Session 5C: Validation of System Security and Timing
- Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, David Wonnacott:
Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services. 595-604 - Shuo Chen, Zbigniew Kalbarczyk, Jun Xu, Ravishankar K. Iyer:
A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities. 605-614 - Sankalp Singh, Michel Cukier, William H. Sanders:
Probabilistic Validation of an Intrusion-Tolerant Replication System. 615-624 - Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand:
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. 625-632
Session 6C: Analysis of Fault-Tolerant Mechanisms
- Marin Bertier, Olivier Marin
Performance Analysis of a Hierarchical Failure Detector. 635-644 - Péter Urbán, Ilya Shnayderman, André Schiper:
Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms. 645-654 - Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders:
Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study. 655-664
Session 7C: Tool Demonstrations
- Regina Lúcia de Oliveira Moraes
Jaca - A Software Fault Injection Tool. 667 - Joakim Aidemark, Jonny Vinter
GOOFI: Generic Object-Oriented Fault Injection Tool. 668 - Pedro Yuste
INERTE: Integrated NExus-Based Real-Time Fault Injection Tool for Embedded Systems. 669 - Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Volkmar Sieh, Oliver Tschäche, Martin Waitz:
Hardware Fault Injection with UMLinux. 670 - Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns
On Integrating the MÖBIUS and MODEST Modeling Tools. 671 - Olivia Das, C. Murray Woodside:
Dependable LQNS: A Performability Modeling Tool for Layered Systems. 672 - Holger Hermanns
ETMCC: Model Checking Performability Properties of Markov Chains. 673-
Session 9C: Dependability and Performance Analysis
- Tianjun Shi, Xudong He:
A Methodology for Dependability and Performability Analysis in SAM. 679-688 - Liudong Xing:
Reliability Analysis of Fault-Tolerant Systems with Common-Cause Failures. 689-698 - Juan A. Carrasco:
Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization. 699-708 - Mohamed Kaâniche, Karama Kanoun, Magnos Martinello:
A User-Perceived Availability Evaluation of a Web Based Travel Agency. 709-718
Session 10C: Techniques for Improving Software Dependability
- Mark Shereshevsky, Jonathan Crowell, Bojan Cukic
Software Aging and Multifractality of Memory Resources. 721-730 - Zeng Fancong:
Deadlock Resolution via Exceptions for Dependable Java Applications. 731-740 - Diganta Roychowdhury, Israel Koren, C. Mani Krishna, Yann-Hang Lee:
A Voltage Scheduling Heuristic for Real-Time Task Graphs. 741-750 - Ali Movaghar
On Dynamic Assignment of Impatient Customers to Parallel Queues. 751-759
Workshops
- Felix C. Gärtner, Klaus Kursawe, Levente Buttyán:
PoDSy 2003: Principles of Dependable Systems. 763 - Edmund M. Clarke, Masahiro Fujita, David P. Gluch:
Model Checking for Dependable Software-Intensive Systems. 764 - Lisa Spainhower, Aad P. A. van Moorsel:
First Workshop on the Design of Self-Managing Systems. 765 - Shing-Tsaan Huang, Ted Herman:
Self-Stabilization Workshop. 766
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.
last updated on 2024-12-19 22:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: