Conferences in DBLP
Jean-Charles Fabre , Tanguy Pérennou Friends - A Flexible Architecture for Implementing Fault Tolerant and Secure Distributed Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Bohne , Reny Grönberg Adaptable Fault Tolerance for Distributed Process Control Using Exclusively Standard Components. [Citation Graph (0, 0)][DBLP ] Conf ] David Powell , Michel Cukier , Jean Arlat On Stratified Sampling for High Coverage Estimations. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Furtado , Henrique Madeira Fault Injection Evaluation of Assigned Signatures in a RISC Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Emmerich Fuchs An Evaluation of the Error Detection Mechanisms in MARS Using Software-Implemented Fault Injection. [Citation Graph (0, 0)][DBLP ] Conf ] Manuela Nelli , Andrea Bondavalli , Luca Simoncini Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. [Citation Graph (0, 0)][DBLP ] Conf ] Peter T. Popov The Effect of Interfailure Time Variability on the Software Reliability Growth Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Silke Draber , Bernhard Eschermann Dependability Evaluation of a Computing System for Traction Control of Electrical Locomotives. [Citation Graph (0, 0)][DBLP ] Conf ] Vicente Santonja , Marina Alonso , Xavier Molero , Juan José Serrano , Pedro J. Gil , Rafael Ors Dependability Models of RAID Using Stochastic Activity Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Wildner Compiler Assisted Self-checking of Structural Integrity Using Return Address Hashing. [Citation Graph (0, 0)][DBLP ] Conf ] Dimiter R. Avresky , Chris M. Cunningham Single Source Fault-Tolerant Broadcasting for Two-Dimensional Meshes Without Virtual Channels. [Citation Graph (0, 0)][DBLP ] Conf ] Fulvio Corno , Paolo Prinetto , Maurizio Rebaudengo , Matteo Sonza Reorda , Maurizio Damiani , Leonardo Impagliazzo , G. Sartore On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Renovell , P. Huc , Yves Bertrand The Logic Threshold Based Voting: A Model for Local Feedback Bridging Fault. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitris Nikolos , Haridimos T. Vergos On the Yield of VLSI Processors with on-chip CPU Cache. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Krasniewski Design of Dependable Hardware: What BIST is most Efficient? [Citation Graph (0, 0)][DBLP ] Conf ] Janusz Sosnowski , A. Kusmierczyk Pseudorandom Testing of Microprocessors an Instruction/Data Flow Level. [Citation Graph (0, 0)][DBLP ] Conf ] Raimund Ubar , Marina Brik Multi-Level Test Generation and Fault Diagnosis for Finite State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Agnès Arnould , Pascale Le Gall , Bruno Marre Dynamic Testing from Bounded Data Type Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Barbey , Didier Buchs , Cécile Péraire A Theory of Specification-Based Testing for Object-Oriented Software. [Citation Graph (0, 0)][DBLP ] Conf ] Cinzia Bernardeschi , Alessandro Fantechi , Stefania Gnesi , Giorgio Mongardi Proving Safety Properties for Embedded Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] François J. N. Cosquer , Pedro Antunes , Paulo Veríssimo Enhancing Dependability of Cooperative Applications in Partitionable Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Achour Mostéfaoui , Michel Raynal Efficient Message Logging for Uncoordinated Checkpointing Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Rachid Guerraoui , Rui Carlos Oliveira , André Schiper Atomic Updates of Replicated Data. [Citation Graph (0, 0)][DBLP ] Conf ] André Postma , Gerie Hartman , Thijs Krol Removal of all Faulty Nodes from a Fault-Tolerant Service by means of Distributed Diagnosis with Imperfect Fault Coverage. [Citation Graph (0, 0)][DBLP ] Conf ] Jörn Altmann , András Pataricza , Tamás Bartha , Péter Urbán , A. Petri Constraint Based System-Level Diagnosis of Multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Guy G. Berthet , Henri J. Nussbaumer A Unified Theory for f1 /f2 -Diagnosable Communication Networks. [Citation Graph (0, 0)][DBLP ] Conf ] 