| 2003 | 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings |
| 2003 | A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip. Doru P. Munteanu, Víctor Suñé, Rosa Rodríguez-Montañés, Juan A. Carrasco |
| 2003 | A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities. Shuo Chen, Zbigniew Kalbarczyk, Jun Xu, Ravishankar K. Iyer |
| 2003 | A Fault-Tolerant Java Virtual Machine. Jeff Napper, Lorenzo Alvisi, Harrick M. Vin |
| 2003 | A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation. Ali Reza Ejlali, Seyed Ghassem Miremadi, Hamid R. Zarandi, Ghazanfar Asadi, Siavash Bayat Sarmadi |
| 2003 | A Methodology for Dependability and Performability Analysis in SAM. Tianjun Shi, Xudong He |
| 2003 | A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas. Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2003 | A Study of Packet Delivery Performance during Routing Convergence. Dan Pei, Lan Wang, Daniel Massey, Shyhtsun Felix Wu, Lixia Zhang |
| 2003 | A User-Perceived Availability Evaluation of a Web Based Travel Agency. Mohamed Kaâniche, Karama Kanoun, Magnos Martinello |
| 2003 | A Voltage Scheduling Heuristic for Real-Time Task Graphs. Diganta Roychowdhury, Israel Koren, C. Mani Krishna, Yann-Hang Lee |
| 2003 | Adaptive Gossip-Based Broadcast. Luís E. T. Rodrigues, Sidath B. Handurukande, José Pereira, Rachid Guerraoui, Anne-Marie Kermarrec |
| 2003 | Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi |
| 2003 | An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand |
| 2003 | An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel |
| 2003 | Asynchronous Implementation of Failure Detectors. Achour Mostéfaoui, Eric Mourgaya, Michel Raynal |
| 2003 | Automatic Detection and Masking of Non-Atomic Exception Handling. Christof Fetzer, Karin Högstedt, Pascal Felber |
| 2003 | Benchmarking the Dependability of Different OLTP Systems. Marco Vieira, Henrique Madeira |
| 2003 | Building SWIFI Tools from Temporal Logic Specifications. Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat |
| 2003 | Characterization of Linux Kernel Behavior under Errors. Weining Gu, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Zhen-Yu Yang |
| 2003 | Communication Strategies for Heartbeat-Style Failure Detectors in Wireless Ad Hoc Networks. Szu-Chi Wang, Sy-Yen Kuo |
| 2003 | Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms. Péter Urbán, Ilya Shnayderman, André Schiper |
| 2003 | Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services. Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, David Wonnacott |
| 2003 | Cost-Optimization of the IPv4 Zeroconf Protocol. Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager |
| 2003 | Deadlock Resolution via Exceptions for Dependable Java Applications. Zeng Fancong |
| 2003 | Decision-Support for Certification by Calculating the Evidential Volume of a Product. Silke Kuball, Gordon Hughes |
| 2003 | Definition of Software Fault Emulation Operators: A Field Data Study. João Durães, Henrique Madeira |
| 2003 | Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. Thuy Nguyen, Alain Ourghanlian |
| 2003 | Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques. Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi |
| 2003 | Dependable LQNS: A Performability Modeling Tool for Layered Systems. Olivia Das, C. Murray Woodside |
| 2003 | Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks. Stefano Chessa, Piero Maestrini |
| 2003 | Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
| 2003 | Design, Implementation, and Evaluation of Repairable File Service. Ningning Zhu, Tzi-cker Chiueh |
| 2003 | Detection and Handling of MAC Layer Misbehavior in Wireless Networks. Pradeep Kyasanur, Nitin H. Vaidya |
| 2003 | Duplex: A Reusable Fault Tolerance Extension Framework for Network Access Devices. Srikant Sharma, Jiawu Chen, Wei Li, Kartik Gopalan, Tzi-cker Chiueh |
| 2003 | Dynamic Verification of End-to-End Multiprocessor Invariants. Daniel J. Sorin, Mark D. Hill, David A. Wood |
| 2003 | ETMCC: Model Checking Performability Properties of Markov Chains. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 2003 | Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP. Dmitrii Zagorodnov, Keith Marzullo, Lorenzo Alvisi, Thomas C. Bressoud |
| 2003 | Evaluating the Condition-Based Approach to Solve Consensus. Achour Mostéfaoui, Eric Mourgaya, Philippe Raipin Parvédy, Michel Raynal |
| 2003 | Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology. Astrit Ademaj, Håkan Sivencrona, Günther Bauer, Jan Torin |
| 2003 | First Workshop on the Design of Self-Managing Systems. Lisa Spainhower, Aad P. A. van Moorsel |
| 2003 | From Crash Tolerance to Authenticated Byzantine Tolerance: A Structured Approach, the Cost and Benefits. Dimane Mpoeleng, Paul D. Ezhilchelvan, Neil A. Speirs |
| 2003 | GOOFI: Generic Object-Oriented Fault Injection Tool. Joakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson |
| 2003 | HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications. Christof Fetzer, Zhen Xiao |
| 2003 | Hardware Fault Injection with UMLinux. Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Volkmar Sieh, Oliver Tschäche, Martin Waitz |
| 2003 | How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols. Lívia M. R. Sampaio, Francisco Vilar Brasileiro, Walfredo Cirne, Jorge C. A. de Figueiredo |
| 2003 | Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberdi |
| 2003 | ICR: In-Cache Replication for Enhancing Data Cache Reliability. Wei Zhang, Sudhanva Gurumurthi, Mahmut T. Kandemir, Anand Sivasubramaniam |
| 2003 | INERTE: Integrated NExus-Based Real-Time Fault Injection Tool for Embedded Systems. Pedro Yuste, David de Andrés, Lenin Lemus, Juan José Serrano, Pedro J. Gil |
| 2003 | Integrating Recovery Strategies into a Primary Substation Automation System. Geert Deconinck, Vincenzo De Florio, Ronnie Belmans, Giovanna Dondossola, Judit Szanto |
| 2003 | Jaca - A Software Fault Injection Tool. Regina Lúcia de Oliveira Moraes, Eliane Martins |
| 2003 | LSRP: Local Stabilization in Shortest Path Routing. Anish Arora, Hongwei Zhang |
| 2003 | Low Overhead Fault Tolerant Networking in Myrinet. Vijay Lakamraju, Israel Koren, C. Mani Krishna |
| 2003 | Masquerade Detection Using Enriched Command Lines. Roy A. Maxion |
| 2003 | Model Checking for Dependable Software-Intensive Systems. Edmund M. Clarke, Masahiro Fujita, David P. Gluch |
| 2003 | Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. Robin E. Bloomfield, Bev Littlewood |
| 2003 | N-Way Fail-Over Infrastructure for Reliable Servers and Routers. Yair Amir, Ryan Caudy, Ashima Munjal, Theo Schlossnagle, Ciprian Tutu |
| 2003 | Node Failure Detection and Membership in CANELy. José Rufino, Paulo Veríssimo, Guilherme Arroz |
| 2003 | On Dynamic Assignment of Impatient Customers to Parallel Queues. Ali Movaghar |
| 2003 | On Integrating the MÖBIUS and MODEST Modeling Tools. Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders |
| 2003 | On the Design of Robust Integrators for Fail-Bounded Control Systems. Jonny Vinter, Andréas Johansson, Peter Folkesson, Johan Karlsson |
| 2003 | Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study. Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders |
| 2003 | ParEs - A Parameter-Estimation-Tool. Felix Engelhard, Stefan Greiner, Reinhard German |
| 2003 | Performance Analysis of a Hierarchical Failure Detector. Marin Bertier, Olivier Marin, Pierre Sens |
| 2003 | Persistent-State Checkpoint Comparison for Troubleshooting Configuration Failures. Yi-Min Wang, Chad Verbowski, Daniel R. Simon |
| 2003 | PoDSy 2003: Principles of Dependable Systems. Felix C. Gärtner, Klaus Kursawe, Levente Buttyán |
| 2003 | Pragmatic Fault Tolerance for Railway Control and Safety Protection of the Channel Tunnel. Simon Pugh, Eric Aliot |
| 2003 | Pre-Processing Input Data to Augment Fault Tolerance in Space Applications. Jayakrishnan Nair, Zahava Koren, Israel Koren, C. Mani Krishna |
| 2003 | Probabilistic Validation of an Intrusion-Tolerant Replication System. Sankalp Singh, Michel Cukier, William H. Sanders |
| 2003 | RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks. Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman |
| 2003 | Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules. Pam Binns |
| 2003 | Reliability Analysis of Fault-Tolerant Systems with Common-Cause Failures. Liudong Xing |
| 2003 | Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries. Michael Backes, Christian Cachin |
| 2003 | Reliable Communication in Overlay Networks. Yair Amir, Claudiu Danilov |
| 2003 | Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions. Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Roland Karch, Volkmar Sieh, Oliver Tschäche |
| 2003 | Robustness Benchmarking for Hardware Maintenance Events. Ji Zhu, James Mauro, Ira Pramanick |
| 2003 | Scalably Supporting Durable Subscriptions in a Publish/Subscribe System. Sumeer Bhola, Yuanyuan Zhao, Joshua S. Auerbach |
| 2003 | Self-Stabilization Workshop. Shing-Tsaan Huang, Ted Herman |
| 2003 | Software Aging and Multifractality of Memory Resources. Mark Shereshevsky, Jonathan Crowell, Bojan Cukic, Vijai Gandikota, Yan Liu |
| 2003 | TCP Server Fault Tolerance Using Connection Migration to a Backup Server. Manish Marwah, Shivakant Mishra, Christof Fetzer |
| 2003 | The Anacapa System. Ruppert R. Koch, Sanjay Hortikar, Sivaguru Sankaridurg, Paul Ngan, Michael O. Neary, Dirk Wagner |
| 2003 | The Design of Wearable Systems: A Shift in Development Effort. John G. Dorsey, Daniel P. Siewiorek |
| 2003 | The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments. Henrique Madeira, João Pedro Costa, Marco Vieira |
| 2003 | Towards Implementing Multi-Layer Reflection for Fault-Tolerance. François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian |
| 2003 | Transparent TCP Connection Failover. Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith |
| 2003 | Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization. Juan A. Carrasco |