Abstract is missing.
- Friends - A Flexible Architecture for Implementing Fault Tolerant and Secure Distributed ApplicationsJean-Charles Fabre, Tanguy Pérennou. 3-20
- Adaptable Fault Tolerance for Distributed Process Control Using Exclusively Standard ComponentsJürgen Bohne, Reny Grönberg. 21-34
- On Stratified Sampling for High Coverage EstimationsDavid Powell, Michel Cukier, Jean Arlat. 37-54
- Fault Injection Evaluation of Assigned Signatures in a RISC ProcessorPedro Furtado, Henrique Madeira. 55-72
- An Evaluation of the Error Detection Mechanisms in MARS Using Software-Implemented Fault InjectionEmmerich Fuchs. 73-90
- Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway InterlockingManuela Nelli, Andrea Bondavalli, Luca Simoncini. 93-110
- The Effect of Interfailure Time Variability on the Software Reliability Growth ModellingPeter T. Popov. 111-128
- Dependability Evaluation of a Computing System for Traction Control of Electrical LocomotivesSilke Draber, Bernhard Eschermann. 129-140
- Dependability Models of RAID Using Stochastic Activity NetworksVicente Santonja, Marina Alonso, Xavier Molero, Juan José Serrano, Pedro J. Gil, Rafael Ors. 141-158
- Compiler Assisted Self-checking of Structural Integrity Using Return Address HashingUwe Wildner. 161-177
- Single Source Fault-Tolerant Broadcasting for Two-Dimensional Meshes Without Virtual ChannelsDimiter R. Avresky, Chris M. Cunningham. 178-189
- On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical ApplicationsFulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Maurizio Damiani, Leonardo Impagliazzo, G. Sartore. 190-202
- The Logic Threshold Based Voting: A Model for Local Feedback Bridging FaultMichel Renovell, P. Huc, Yves Bertrand. 205-213
- On the Yield of VLSI Processors with on-chip CPU CacheDimitris Nikolos, Haridimos T. Vergos. 214-230
- Design of Dependable Hardware: What BIST is most Efficient?Andrzej Krasniewski. 233-245
- Pseudorandom Testing of Microprocessors an Instruction/Data Flow LevelJanusz Sosnowski, A. Kusmierczyk. 246-263
- Multi-Level Test Generation and Fault Diagnosis for Finite State MachinesRaimund Ubar, Marina Brik. 264-282
- Dynamic Testing from Bounded Data Type SpecificationsAgnès Arnould, Pascale Le Gall, Bruno Marre. 285-302
- A Theory of Specification-Based Testing for Object-Oriented SoftwareStéphane Barbey, Didier Buchs, Cécile Péraire. 303-320
- Proving Safety Properties for Embedded Control SystemsCinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi. 321-332
- Enhancing Dependability of Cooperative Applications in Partitionable EnvironmentsFrançois J. N. Cosquer, Pedro Antunes, Paulo Veríssimo. 335-352
- Efficient Message Logging for Uncoordinated Checkpointing ProtocolsAchour Mostéfaoui, Michel Raynal. 353-364
- Atomic Updates of Replicated DataRachid Guerraoui, Rui Carlos Oliveira, André Schiper. 365-382
- Removal of all Faulty Nodes from a Fault-Tolerant Service by means of Distributed Diagnosis with Imperfect Fault CoverageAndré Postma, Gerie Hartman, Thijs Krol. 385-402
- Constraint Based System-Level Diagnosis of MultiprocessorsJörn Altmann, András Pataricza, Tamás Bartha, Péter Urbán, A. Petri. 403-420
- A Unified Theory for f::1::/f::2::-Diagnosable Communication NetworksGuy G. Berthet, Henri J. Nussbaumer. 421-438