| 2000 | On the Use of Model Checking Techniques for Dependability Evaluation. | Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | Consistent Detection of Global Predicates under a Weak Fault Assumption. | Felix C. Grtner, Sven Kloppenburg |
| 2000 | A Pragmatic Implementation of e-Transactions. | Svend Frlund, Rachid Guerraoui |
| 2000 | An Evolutionary Algorithm for Identifying Faults in t-Diagnosable Systems. | Mourad Elhadef, Bchir el Ayeb |
| 2000 | Abstractions for Devising Byzantine-Resilient State Machine Replication. | Assia Doudou, Rachid Guerraoui, Benot Garbinato |
| 2000 | Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector. | Ramesh Chandra, Michel Cukier, Ryan M. Lefever, William H. Sanders |
| 2000 | Performance of Mobile, Single-Object, Replication Protocols. | Ugur etintemel, Peter J. Keleher |
| 2000 | Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure. | Jerzy Brzezinski, Michal Sajkowski |
| 2000 | Reliable Broadcast in the Crash-Recovery Model. | Romain Boichat, Rachid Guerraoui |
| 2000 | An Investigation of Membership and Clique Avoidance in TTP/C. | Gnther Bauer, Michael Paulitsch |
| 2000 | Improvement of the QoS via an Adaptive and Dynamic Distribution of Applications in a Mobile Environment. | Franoise Andr, Anne-Marie Kermarrec, Frederic Le Mouel |
| 1999 | Gateways to Overcome Incompatibilities of Security Mechanisms. | Jan Zllner |
| 1999 | View Divergence Control of Replicated Data using Update Delay Estimation. | Takao Yamashita, Satoshi Ono |
| 1999 | A Component-based Approach to Reliability Analysis of Distributed Systems. | Sherif M. Yacoub, Bojan Cukic, Hany H. Ammar |
| 1999 | Resolving Distributed Deadlocks in the OR Request Model. | Jess E. Villadangos, Federico Faria, Jos Ramn Gonzlez de Mendvil, Jos Ramn Garitagoitia, Jos M. Bernabu-Aubn, Gottfried Vossen |
| 1999 | Exactly-Once End-to-End Semantics in CORBA Invocations across Heterogeneous Fault-Tolerant ORBs. | Alexey Vaysburd, Shalini Yajnik |
| 1999 | Fault Tolerance in Three-Tier Applications: Focusing on the Database Tier. | Alexey Vaysburd |
| 1999 | Workshop on Electronic Commerce - Foreword. | Sebastian Staamann, Uwe G. Wilhelm |
| 1999 | An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging. | Kuo-Feng Ssu, Bin Yao, W. Kent Fuchs |
| 1999 | HAMFS File System. | Yoshitake Shinkai, Yoshihiro Tsuchiya, Takeo Murakami, Jim Williams |
| 1999 | An Algorithm for Fault-Tolerant Clock State and Rate Synchronization. | Klaus Schossmaier, Bettina Weiss |
| 1999 | Performance Evaluation of the Circulating Multisequencer and the Consensus Algorithms in a Real-Time Distributed Transactional System. | Lela Azouz Sadane, Farouk Kamoun |
| 1999 | The Usability Risk. | Ann-Byrd Platt |
| 1999 | On the Provision of Replicated Internet Auction Services. | Fabio Panzieri, Santosh K. Shrivastava |
| 1999 | Authorization Methods for E-Commerce Applications. | Rolf Oppliger |