| 1994 | Test Generation for Digital Systems Based on Alternative Graphs. | Raimund Ubar |
| 1994 | On Statistical Structural Testing of Synchronous Data Flow Programs. | Pascale Thvenod-Fosse, Christine Mazuet, Yves Crouzet |
| 1994 | Concurrent Error Detection in Fast FNT Networks. | Jamel M. Tahir, Satnam Singh Dlay, Raouf N. Gorgui-Naguib, Oliver R. Hinton |
| 1994 | A Hierarchical Membership Protocol for Synchronous Distributed Systems. | P. D. V. van der Stok, M. M. M. P. J. Claessen, Dick Alstein |
| 1994 | A Fault-Tolerant Mechanism for Simple Controllers. | Joo Gabriel Silva, Lus Moura Silva, Henrique Madeira, Jorge Bernardino |
| 1994 | Dependable Computing and its Industrial Use. | Ernst Schmitter |
| 1994 | The Configuration Ratio: A Model for Simulating CMOS Intra-Gate Bridge with Variable Logic Thresholds. | Michel Renovell, P. Huc, Yves Bertrand |
| 1994 | Some Lessons from the SW2000 Workshop. | Brian Randell |
| 1994 | Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. | Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska |
| 1994 | Ring-Banyan Network: A Faul Tolerant Multistage Interconnection Network and its Fault Diagnosis. | Jae-Hyun Park, Heung-Kyu Lee, Ju-Hyun Cho |
| 1994 | Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. | Gilles Muller, Mireille Hue, Nadine Peyrouze |
| 1994 | Position Paper. | Michele Morganti |
| 1994 | Hierarchical Test Analysis of VLSI Circuits for Random BIST. | G. Masseboeuf, J. Pulou, J. L. Rainard |
| 1994 | Hierarchical Checking of Multiprocessors Using Watchdog Processors. | Istvn Majzik, Andrs Pataricza, Mario Dal Cin, Wolfgang Hohl, Joachim Hnig, Volkmar Sieh |
| 1994 | RIFLE: A General Purpose Pin-level Fault Injector. | Henrique Madeira, Mrio Zenha Rela, Francisco Moreira, Joo Gabriel Silva |
| 1994 | Systematic and Design Diversity - Software Techniques for Hardware Fault Detection. | Tomislav Lovric |
| 1994 | Relative Signatures for Fault Tolerance and their Implementation. | Martin Leu |
| 1994 | Dependability: The Challenge for the Future of Computing and Communication Technologies. | Jean-Claude Laprie |
| 1994 | Feasible Regions Quantify the Configuration Power of Arrays with Multiple Fault Types. | Laurence E. LaForge |
| 1994 | Coverage of Delay Faults: When 13% and 99% Mean the Same. | Andrzej Krasniewski, Leszek B. Wronski |
| 1994 | Software Reliability Analysis of Three Successive Generations of a Switching System. | Mohamed Kaniche, Karama Kanoun, Michel Cukier, Marta Rettelbusch de Bastos Martini |
| 1994 | On Single Event Upset Error Manifestation. | Rolf Johansson |
| 1994 | Position Paper. | Jan Hlavicka |
| 1994 | A Model for Adaptive Fault-Tolerant Systems. | Matti A. Hiltunen, Richard D. Schlichting |
| 1994 | Detection of Permanent Hardware Faults of a Floating Point Adder by Pseudoduplication. | Stefan Gerber, Michael Gssel |