| 2002 | 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings |
| 2002 | 32-Bit Cyclic Redundancy Codes for Internet Applications. Philip Koopman |
| 2002 | A Compositional Approach to Monitoring Distributed Systems. Mohammad Zulkernine, Rudolph E. Seviora |
| 2002 | A Dependable SNMP-based Tool for Distributed Network Management. Elias Procópio Duarte Jr., Luis Carlos Erpen De Bona |
| 2002 | A Portable and Fault-Tolerant Microprocessor Based on the SPARC V8 Architecture. Jiri Gaisler |
| 2002 | A Realistic Look At Failure Detectors. Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui |
| 2002 | A Simple Characterization of Provably Efficient Prefetching Algorithms. Wei Jin, Rakesh D. Barve, Kishor S. Trivedi |
| 2002 | A Validation of the Pseudo Self-Similar Traffic Model. Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort |
| 2002 | A Versatile and Modular Consensus Protoco. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
| 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 | An Adaptive Architecture for Monitoring and Failure Analysis of High-Speed Networks. Benjamin Floering, B. Brothers, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2002 | An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. Peter Buchholz |
| 2002 | An Adaptive Framework for Tunable Consistency and Timeliness Using Replication. Sudha Krishnamurthy, William H. Sanders, Michel Cukier |
| 2002 | An Automated Approach to Increasing the Robustness of C Libraries. Christof Fetzer, Zhen Xiao |
| 2002 | An Evaluation of Connectivity in Mobile Wireless Ad Hoc Networks. Paolo Santi, Douglas M. Blough |
| 2002 | An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications. Keith Whisnant, Ravishankar K. Iyer, P. Jones, Raphael R. Some, David A. Rennels |
| 2002 | Analysis of Failure and Recovery Rates in a Wireless Telecommunications System. Steven M. Matz, Lawrence G. Votta, Mohammad Malkawi |
| 2002 | Application Performance using End-to-End User Level Monitoring. Siddhartha R. Dalal, Yu-Yun Ho, Ashish Jain, Allen A. McIntosh |
| 2002 | Automatic Generation of Availability Models in RAScad. Dong Tang, Ji Zhu, Roy Andrada |
| 2002 | C-Sim - The C Language Enhancement for Discrete-Time Simulations. Jan Hlavicka, Stanislav Racek |
| 2002 | CAVEAT: A Tool for Software Validation. Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams |
| 2002 | CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs. Adriana Carloganu, Jacques Raguideau |
| 2002 | Coordination of Mobile Processes with Mobile Groups. Raimundo José de Araújo Macêdo, Flávio Morais de Assis Silva |
| 2002 | Dependability and the Grid: Issues and Challenges. Richard D. Schlichting, Andrew A. Chien, Carl Kesselman, Keith Marzullo, James S. Plank, Santosh K. Shrivastava |
| 2002 | Dependability of E-Commerce Systems. Lisa Spainhower, Nicholas S. Bowen, Steven Hunter |
| 2002 | Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems. Markus Jochim |
| 2002 | Detection of Invalid Routing Announcement in the Internet. Xiaoliang Zhao, Dan Pei, Lan Wang, Daniel Massey, Allison Mankin, Shyhtsun Felix Wu, Lixia Zhang |
| 2002 | Developing a Heterogeneous Intrusion Tolerant CORBA System. David Sames, Brian Matt, Brian Niebuhr, Gregg Tally, Brent Whitmore, David E. Bakken |
| 2002 | Distributed Object Middleware to Support Dependable Information Sharing between Organisations. Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater |
| 2002 | Ditto Processor. Shih-Chang Lai, Shih-Lien Lu, Jih-Kwon Peir |
| 2002 | DrawNet++: A Flexible Framework for Building Dependability Models. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, Claudio Bertoncello |
| 2002 | Edge-Based Fault Detection in a DiffServ Network. Aaron Striegel, G. Manimaran |
| 2002 | Efficient State Space Generation of GSPNs using Decision Diagrams. Andrew S. Miner |
| 2002 | Evaluating the Impact of Different Document Types on the Performance of Web Cache Replacement Schemes. Christoph Lindemann, Oliver P. Waldhorst |
| 2002 | Evaluating the Security Threat of Firewall Data Corruption Caused by Transient Errors. Shuo Chen, Jun Xu, Ravishankar K. Iyer, Keith Whisnant |
| 2002 | Evaluation of the Maximum Level Reached by a Queue Over a Finite Period. Gerardo Rubino |
| 2002 | Exactly-once Delivery in a Content-based Publish-Subscribe System. Sumeer Bhola, Robert E. Strom, Saurabh Bagchi, Yuanyuan Zhao, Joshua S. Auerbach |
| 2002 | Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun |
| 2002 | Experimental Evaluation of Time-redundant Execution for a Brake-by-wire Application. Joakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson |
| 2002 | Experimental Evaluation of a COTS System for Space Application. Henrique Madeira, Raphael R. Some, Francisco Moreira, Diamantino Costa, David A. Rennels |
| 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. António Casimiro, Paulo Veríssimo |
| 2002 | Impact of Deep Submicron Technology on Dependability of VLSI Circuits. Cristian Constantinescu |
| 2002 | Impact of Fault Management Server and Its Failure-related Parameters on High-Availability Communication Systems. Hairong Sun, James J. Han, Isaac Levendel |
| 2002 | Implementation and Performance Evaluation of an Adaptable Failure Detector. Marin Bertier, Olivier Marin, Pierre Sens |
| 2002 | Intrusion Tolerant Systems Workshop. Carl E. Landwehr, Steven M. Bellovin |
| 2002 | Jaca: A Reflective Fault Injection Tool Based on Patterns. Eliane Martins, Cecília M. F. Rubira, Nelson G. M. Leme |
| 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 | Lessons Learned in Building a Fault-Tolerant CORBA System. Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
| 2002 | Libsafe: Transparent System-wide Protection Against Buffer Overflow Attacks. Timothy K. Tsai, Navjot Singh |
| 2002 | MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. Manuel Rodríguez, Arnaud Albinet, Jean Arlat |
| 2002 | Masquerade Detection Using Truncated Command Lines. Roy A. Maxion, Tahlia N. Townsend |
| 2002 | Measuring End-User Availability on the Web: Practical Experience. Matthew Merzbacher, Dan Patterson |
| 2002 | Model Checking Performability Properties. Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier |
| 2002 | Model Checking Safety Properties of Servo-Loop Control Systems. M. Edwin Johnson |
| 2002 | Modeling and Quantification of Security Attributes of Software Systems. Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi |
| 2002 | Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed Systems. Olivia Das, C. Murray Woodside |
| 2002 | Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic. Premkishore Shivakumar, Michael Kistler, Stephen W. Keckler, Doug Burger, Lorenzo Alvisi |
| 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 | NFTAPE: Networked Fault Tolerance and Performance Evaluator. David T. Stott, Phillip H. Jones III, M. Hamman, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2002 | On the Placement of Software Mechanisms for Detection of Data Errors. Martin Hiller, Arshad Jhumka, Neeraj Suri |
| 2002 | On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems. João Carlos Cunha, Mário Zenha Rela |
| 2002 | Optimizing Buffer Management for Reliable Multicast. Zhen Xiao, Kenneth P. Birman, Robbert van Renesse |
| 2002 | Parallel Randomization for Large Structured Markov Chains. Peter Kemper |
| 2002 | Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach. Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso |
| 2002 | Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements. Andrea Coccoli, Péter Urbán, Andrea Bondavalli |
| 2002 | PhFit: A General Phase-type Fitting Tool. Andrea Bobbio, András Horváth, Miklós Telek |
| 2002 | Pinpoint: Problem Determination in Large, Dynamic Internet Services. Mike Y. Chen, Emre Kiciman, Eugene Fratkin, Armando Fox, Eric A. Brewer |
| 2002 | Probabilistic Multicast. Patrick Th. Eugster, Rachid Guerraoui |
| 2002 | Process Modelling to Support Dependability Arguments. Robin E. Bloomfield, Sofia Guerra |
| 2002 | Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems. Harigovind V. Ramasamy, Prashant Pandey, James Lyons, Michel Cukier, William H. Sanders |
| 2002 | Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults. Marco Vieira, Henrique Madeira |
| 2002 | Reducing Recovery Time in a Small Recursively Restartable System. George Candea, James W. Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda |
| 2002 | Reducing the Cost of Group Communication with Semantic View Synchrony. José Pereira, Luís E. T. Rodrigues, Rui Oliveira |
| 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 | Reliability and Survivability in the Reduced Ship?s Crew by Virtual Presence System. Gary Schwartz |
| 2002 | Resource Management Policies in GPRS Wireless Internet Access Systems. Michela Meo, Marco Ajmone Marsan, Cecilia Batetta |
| 2002 | Robust Software - No More Excuses. John DeVale, Philip Koopman |
| 2002 | SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator. Kishor S. Trivedi |
| 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 | SREPT: A Tool for Software Reliability Estimation and Prediction. Kishor S. Trivedi |
| 2002 | SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol. Abhinandan Das, Indranil Gupta, Ashish Motivala |
| 2002 | Scalable, Uniterruptible Computin. Dimiter R. Avresky |
| 2002 | Secure Intrusion-tolerant Replication on the Internet. Christian Cachin, Jonathan A. Poritz |
| 2002 | Self-Organizing Systems with Self-Diagnosability. Kiyoaki Yoshida, Tohru Kohda, Yasumasa Sujaku |
| 2002 | Small Byzantine Quorum Systems. Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin |
| 2002 | Soft Error Sensitivity Characterization for Microprocessor Dependability Enhancement Strategy. Seongwoo Kim, Arun K. Somani |
| 2002 | Stepwise Construction and Refinement of Dependability Models. Cláudia Betous-Almeida, Karama Kanoun |
| 2002 | Test and Development Process Retrospective - A Case Study using ODC Triggers. Ram Chillarege, Kothanda Ram Prasad |
| 2002 | The Design and Implementation of an Intrusion Tolerant System. James C. Reynolds, James E. Just, Ed Lawson, Larry A. Clough, Ryan Maglich, Karl N. Levitt |
| 2002 | The Scale Factor: A New Degree of Freedom in Phase Type Approximation. Andrea Bobbio, András Horváth, Miklós Telek |
| 2002 | Time-Constrained Failure Diagnosis in Distributed Embedded Systems. Nagarajan Kandasamy, John P. Hayes, Brian T. Murray |
| 2002 | Track-Based Disk Logging. Tzi-cker Chiueh, Lan Huang |
| 2002 | Transactional Rollback for Language-Based Systems. Algis Rudys, Dan S. Wallach |
| 2002 | Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. Paolo Ballarini, Simona Bernardi, Susanna Donatelli |
| 2002 | Workshop on Dependability Benchmarking. Philip Koopman, Henrique Madeira |
| 2002 | Workshop on Dependability and Robotics. Raja Chatila, Jean-Claude Laprie |
| 2002 | Workshop on Dependable Middleware-Based Systems. Priya Narasimhan, Pascal Felber |
| 2002 | Xception? - Enhanced Automated Fault-Injection Environment. Ricardo Maia, Luis Henriques, Diamantino Costa, Henrique Madeira |