| 1996 | The Logic Threshold Based Voting: A Model for Local Feedback Bridging Fault. | Michel Renovell, P. Huc, Yves Bertrand |
| 1996 | On Stratified Sampling for High Coverage Estimations. | David Powell, Michel Cukier, Jean Arlat |
| 1996 | Removal of all Faulty Nodes from a Fault-Tolerant Service by means of Distributed Diagnosis with Imperfect Fault Coverage. | Andr Postma, Gerie Hartman, Thijs Krol |
| 1996 | The Effect of Interfailure Time Variability on the Software Reliability Growth Modelling. | Peter T. Popov |
| 1996 | On the Yield of VLSI Processors with on-chip CPU Cache. | Dimitris Nikolos, Haridimos T. Vergos |
| 1996 | Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. | Manuela Nelli, Andrea Bondavalli, Luca Simoncini |
| 1996 | Efficient Message Logging for Uncoordinated Checkpointing Protocols. | Achour Mostfaoui, Michel Raynal |
| 1996 | Design of Dependable Hardware: What BIST is most Efficient? | Andrzej Krasniewski |
| 1996 | Atomic Updates of Replicated Data. | Rachid Guerraoui, Rui Oliveira, Andr Schiper |
| 1996 | Fault Injection Evaluation of Assigned Signatures in a RISC Processor. | Pedro Furtado, Henrique Madeira |
| 1996 | An Evaluation of the Error Detection Mechanisms in MARS Using Software-Implemented Fault Injection. | Emmerich Fuchs |
| 1996 | Friends - A Flexible Architecture for Implementing Fault Tolerant and Secure Distributed Applications. | Jean-Charles Fabre, Tanguy Prennou |
| 1996 | Dependability Evaluation of a Computing System for Traction Control of Electrical Locomotives. | Silke Draber, Bernhard Eschermann |
| 1996 | Enhancing Dependability of Cooperative Applications in Partitionable Environments. | Franois J. N. Cosquer, Pedro Antunes, Paulo Verssimo |
| 1996 | On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications. | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Maurizio Damiani, Leonardo Impagliazzo, G. Sartore |
| 1996 | Adaptable Fault Tolerance for Distributed Process Control Using Exclusively Standard Components. | Jrgen Bohne, Reny Grnberg |
| 1996 | A Unified Theory for f | Guy G. Berthet, Henri J. Nussbaumer |
| 1996 | Proving Safety Properties for Embedded Control Systems. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi |
| 1996 | A Theory of Specification-Based Testing for Object-Oriented Software. | Stphane Barbey, Didier Buchs, Ccile Praire |
| 1996 | Single Source Fault-Tolerant Broadcasting for Two-Dimensional Meshes Without Virtual Channels. | Dimiter R. Avresky, Chris M. Cunningham |
| 1996 | Dynamic Testing from Bounded Data Type Specifications. | Agns Arnould, Pascale Le Gall, Bruno Marre |
| 1996 | Constraint Based System-Level Diagnosis of Multiprocessors. | Jrn Altmann, Andrs Pataricza, Tams Bartha, Pter Urbn, A. Petri |
| 1994 | Injecting Faults into Environment Simulators for Testing Safety Critical Software. | Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram |
| 1994 | Fault-Tolerance on Boolean n-Cube Architectures. | Chu-Sing Yang, Shun-Yue Wu |
| 1994 | MLDD (Multi Layered Design Diversity) Architecture for Achieving High Design Fault Tolerance Capabilities. | Aki Watanabe, Ken Sakamura |