| 2002 | Parallel Randomization for Large Structured Markov Chains. | Peter Kemper |
| 2002 | Time-Constrained Failure Diagnosis in Distributed Embedded Systems. | Nagarajan Kandasamy, John P. Hayes, Brian T. Murray |
| 2002 | Model Checking Safety Properties of Servo-Loop Control Systems. | M. Edwin Johnson |
| 2002 | Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems. | Markus Jochim |
| 2002 | A Simple Characterization of Provably Efficient Prefetching Algorithms. | Wei Jin, Rakesh D. Barve, Kishor S. Trivedi |
| 2002 | Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. | Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun |
| 2002 | Joint Panel - IPDS and Workshop on Dependability Benchmarking. | Ravishankar K. Iyer, Zbigniew Kalbarczyk, Philip Koopman, Henrique Madeira, Gunter Heiner, Karama Kanoun, Haim Levendel, Brendan Murphy, Lawrence G. Votta, Don Wilson |
| 2002 | C-Sim - The C Language Enhancement for Discrete-Time Simulations. | Jan Hlavicka, Stanislav Racek |
| 2002 | On the Placement of Software Mechanisms for Detection of Data Errors. | Martin Hiller, Arshad Jhumka, Neeraj Suri |
| 2002 | Model Checking Performability Properties. | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier |
| 2002 | A Portable and Fault-Tolerant Microprocessor Based on the SPARC V8 Architecture. | Jiri Gaisler |
| 2002 | Mr. Fusion: A Programmable Data Fusion Middleware Subsystem with a Tunable Statistical Profiling Service. | Andy A. Franz, Radek Mista, David E. Bakken, Curtis E. Dyreson, Muralidhar Medidi |
| 2002 | DrawNet++: A Flexible Framework for Building Dependability Models. | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, Claudio Bertoncello |
| 2002 | An Adaptive Architecture for Monitoring and Failure Analysis of High-Speed Networks. | Benjamin Floering, B. Brothers, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2002 | An Automated Approach to Increasing the Robustness of C Libraries. | Christof Fetzer, Zhen Xiao |
| 2002 | Probabilistic Multicast. | Patrick Th. Eugster, Rachid Guerraoui |
| 2002 | A Dependable SNMP-based Tool for Distributed Network Management. | Elias Procpio Duarte Jr., Luis Carlos Erpen De Bona |
| 2002 | Robust Software - No More Excuses. | John DeVale, Philip Koopman |
| 2002 | A Realistic Look At Failure Detectors. | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui |
| 2002 | Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed Systems. | Olivia Das, C. Murray Woodside |
| 2002 | SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol. | Abhinandan Das, Indranil Gupta, Ashish Motivala |
| 2002 | Application Performance using End-to-End User Level Monitoring. | Siddhartha R. Dalal, Yu-Yun Ho, Ashish Jain, Allen A. McIntosh |
| 2002 | On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems. | Joo Carlos Cunha, Mrio Zenha Rela |
| 2002 | Distributed Object Middleware to Support Dependable Information Sharing between Organisations. | Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater |
| 2002 | Impact of Deep Submicron Technology on Dependability of VLSI Circuits. | Cristian Constantinescu |