| 2002 | Solving Agreement Problems with Weak Ordering Oracles. | Fernando Pedone, Andr Schiper, Pter Urbn, David Cavin |
| 2002 | Probabilistic Queries in Large-Scale Networks. | Fernando Pedone, Nelson L. Duarte, Mario Goulart |
| 2002 | Towards Dependability Modeling of FT-CORBA Architectures. | Istvn Majzik, Gbor Huszerl |
| 2002 | Novel Approaches in Dependable Computing. | Rogrio de Lemos |
| 2002 | Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. | Kaustubh R. Joshi, Michel Cukier, William H. Sanders |
| 2002 | Model-Based Dependability Evaluation Method for TTP/C Based Systems. | Pavel Herout, Stanislav Racek, Jan Hlavicka |
| 2002 | An Architectural Approach to Fault Treatment in Critical Infrastructures. | Jos Luiz Fiadeiro |
| 2002 | Fast Indulgent Consensus with Zero Degradation. | Partha Dutta, Rachid Guerraoui |
| 2002 | Reset-Driven Fault Tolerance. | Joo Carlos Cunha, Antnio Correia, Jorge Henriques, Mrio Zenha Rela, Joo Gabriel Silva |
| 2002 | BPM Based Robust E-business Application Development (Practical Experience Report). | Gyrgy Csertn, Andrs Pataricza, Pter Harang, Orsolya Dobn, Gabor Biros, Andrs Dancsecz, Ferenc Friedler |
| 2002 | The Design of a COTSReal-Time Distributed Security Kernel. | Miguel Correia, Paulo Verssimo, Nuno Ferreira Neves |
| 2002 | Security and Survivability of Large Scale Critical Infrastructures. | John Bigham |
| 2002 | Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. | Pierre Bieber, Charles Castel, Christel Seguin |
| 2002 | Test Set Embedding Based on Phase Shifters. | Maciej Bellos, Dimitrios Kagaris, Dimitris Nikolos |
| 2002 | An Immune System Paradigm for the Design of Fault Tolerant Systems. | Algirdas Avizienis |
| 2002 | An Efficient Solution to the k-Set Agreement Problem. | Emmanuelle Anceaume, Michel Hurfin, Philippe Raipin Parvdy |
| 2002 | Use and Misuse of Safety Models in Design. | Ren Amalberti |
| 2002 | A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection. | Astrit Ademaj |
| 1999 | Transparent Word-Oriented Memory BIST Based on Symmetric March Algorithms. | Vyacheslav N. Yarmolik, I. V. Bykov, Sybille Hellebrand, Hans-Joachim Wunderlich |
| 1999 | A Case Study in Statistical Testing of Reusable Concurrent Objects. | Hlne Waeselynck, Pascale Thvenod-Fosse |
| 1999 | An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine. | Lus Moura Silva, Joo Gabriel Silva |
| 1999 | A Method for Implementing a Safety Control System Based on Its Separation into Safety-Related and Non-Safety-Related Parts. | Toshihito Shirai, Masayoshi Sakai, Koichi Futsuhara, Masao Mukaidono |
| 1999 | MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. | Manuel Rodrguez, Frdric Salles, Jean-Charles Fabre, Jean Arlat |
| 1999 | Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. | Mourad Rabah, Karama Kanoun |
| 1999 | Fault-Detection by Result-Checking for the Eigenproblem. | Paula Prata, Joo Gabriel Silva |