| 2002 | Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements. | Andrea Coccoli, Pter Urbn, Andrea Bondavalli |
| 2002 | SMART: Stochastic Model-checking Analyzer for Reliability and Timing. | Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu |
| 2002 | Track-Based Disk Logging. | Tzi-cker Chiueh, Lan Huang |
| 2002 | Test and Development Process Retrospective - A Case Study using ODC Triggers. | Ram Chillarege, Kothanda Ram Prasad |
| 2002 | Evaluating the Security Threat of Firewall Data Corruption Caused by Transient Errors. | Shuo Chen, Jun Xu, Ravishankar K. Iyer, Keith Whisnant |
| 2002 | Pinpoint: Problem Determination in Large, Dynamic Internet Services. | Mike Y. Chen, Emre Kiciman, Eugene Fratkin, Armando Fox, Eric A. Brewer |
| 2002 | Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System. | Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora |
| 2002 | Workshop on Dependability and Robotics. | Raja Chatila, Jean-Claude Laprie |
| 2002 | Advanced Pattern Recognition for Detection of Complex Software Aging Phenomena in Online Transaction Processing Servers. | Karen J. Cassidy, Kenny C. Gross, Amir Malekpour |
| 2002 | Formal Development of an Embedded Verifier for Java Card Byte Code. | Ludovic Casset, Lilian Burdy, Antoine Requet |
| 2002 | Generic Timing Fault Tolerance using a Timely Computing Base. | Antnio Casimiro, Paulo Verssimo |
| 2002 | CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs. | Adriana Carloganu, Jacques Raguideau |
| 2002 | Reducing Recovery Time in a Small Recursively Restartable System. | George Candea, James W. Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda |
| 2002 | Secure Intrusion-tolerant Replication on the Internet. | Christian Cachin, Jonathan A. Poritz |
| 2002 | An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. | Peter Buchholz |
| 2002 | The Scale Factor: A New Degree of Freedom in Phase Type Approximation. | Andrea Bobbio, Andrs Horvth, Mikls Telek |
| 2002 | PhFit: A General Phase-type Fitting Tool. | Andrea Bobbio, Andrs Horvth, Mikls Telek |
| 2002 | Process Modelling to Support Dependability Arguments. | Robin E. Bloomfield, Sofia Guerra |
| 2002 | Exactly-once Delivery in a Content-based Publish-Subscribe System. | Sumeer Bhola, Robert E. Strom, Saurabh Bagchi, Yuanyuan Zhao, Joshua S. Auerbach |
| 2002 | Stepwise Construction and Refinement of Dependability Models. | Cludia Betous-Almeida, Karama Kanoun |
| 2002 | Implementation and Performance Evaluation of an Adaptable Failure Detector. | Marin Bertier, Olivier Marin, Pierre Sens |
| 2002 | CAVEAT: A Tool for Software Validation. | Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams |
| 2002 | Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. | Paolo Ballarini, Simona Bernardi, Susanna Donatelli |
| 2002 | Scalable, Uniterruptible Computin. | Dimiter R. Avresky |
| 2002 | Experimental Evaluation of Time-redundant Execution for a Brake-by-wire Application. | Joakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson |