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 BibTeX
@proceedings{DBLP:conf/dsn/2003,
title = {2003 International Conference on Dependable Systems and Networks
(DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
booktitle = {DSN},
publisher = {IEEE Computer Society},
year = {2003},
isbn = {0-7695-1952-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1A:
Safety and Security
Session 1B:
Broadcast and Publish/Subscribe
Session 2A:
Practical Experience and Demonstrations - 1
Session 2B:
Dependability Evaluation
Session 4A:
Dependability Algorithms
Session 5A:
Network Fault Tolerance
Session 6A:
Services for Distributed Computing
Session 7A:
Modeling and Formal Methods
Session 8A:
Computer Design
Session 9A:
Practical Experiences and Demonstrations - 2
Session 9B:
Distributed Systems and Services
Session 10A:
TCP Connection Management
- Manish Marwah, Shivakant Mishra, Christof Fetzer:
TCP Server Fault Tolerance Using Connection Migration to a Backup Server.
373-382
Electronic Edition (link) BibTeX
- Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith:
Transparent TCP Connection Failover.
383-392
Electronic Edition (link) BibTeX
- Dmitrii Zagorodnov, Keith Marzullo, Lorenzo Alvisi, Thomas C. Bressoud:
Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP.
393-402
Electronic Edition (link) BibTeX
- Yair Amir, Ryan Caudy, Ashima Munjal, Theo Schlossnagle, Ciprian Tutu:
N-Way Fail-Over Infrastructure for Reliable Servers and Routers.
403-
Electronic Edition (link) BibTeX
Session 10B:
Robust Software
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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ali Reza Ejlali, Seyed Ghassem Miremadi, Hamid R. Zarandi, Ghazanfar Asadi, Siavash Bayat Sarmadi:
A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation.
479-
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Srikant Sharma, Jiawu Chen, Wei Li, Kartik Gopalan, Tzi-cker Chiueh:
Duplex: A Reusable Fault Tolerance Extension Framework for Network Access Devices.
501-510
Electronic Edition (link) BibTeX
- Yair Amir, Claudiu Danilov:
Reliable Communication in Overlay Networks.
511-520
Electronic Edition (link) BibTeX
- Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi:
Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques.
521-
Electronic Edition (link) BibTeX
Session 3C:
Analysis of Fault-Tolerant Protocols
Session 4C:
Analytical Methods
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
Electronic Edition (link) BibTeX
- Shuo Chen, Zbigniew Kalbarczyk, Jun Xu, Ravishankar K. Iyer:
A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities.
605-614
Electronic Edition (link) BibTeX
- Sankalp Singh, Michel Cukier, William H. Sanders:
Probabilistic Validation of an Intrusion-Tolerant Replication System.
615-624
Electronic Edition (link) BibTeX
- 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-
Electronic Edition (link) BibTeX
Session 6C:
Analysis of Fault-Tolerant Mechanisms
Session 7C:
Tool Demonstrations
- Regina Lúcia de Oliveira Moraes, Eliane Martins:
Jaca - A Software Fault Injection Tool.
667
Electronic Edition (link) BibTeX
- Joakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson:
GOOFI: Generic Object-Oriented Fault Injection Tool.
668
Electronic Edition (link) BibTeX
- Pedro Yuste, David de Andrés, Lenin Lemus, Juan José Serrano, Pedro J. Gil:
INERTE: Integrated NExus-Based Real-Time Fault Injection Tool for Embedded Systems.
669
Electronic Edition (link) BibTeX
- Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Volkmar Sieh, Oliver Tschäche, Martin Waitz:
Hardware Fault Injection with UMLinux.
670
Electronic Edition (link) BibTeX
- Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders:
On Integrating the MÖBIUS and MODEST Modeling Tools.
671
Electronic Edition (link) BibTeX
- Olivia Das, C. Murray Woodside:
Dependable LQNS: A Performability Modeling Tool for Layered Systems.
672
Electronic Edition (link) BibTeX
- Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle:
ETMCC: Model Checking Performability Properties of Markov Chains.
673-
Electronic Edition (link) BibTeX
Session 9C:
Dependability and Performance Analysis
Session 10C:
Techniques for Improving Software Dependability
Workshops
Copyright © Sat May 16 23:07:32 2009
by Michael Ley (ley@uni-trier.de)
