Dependable Computing — EDCC-2 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540617723, 9783540706779

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dependability modeling and analysis of complex control systems: An application to railway interlocking

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_32 ◽

1996 ◽

pp. 91-110 ◽

Cited By ~ 8

Author(s):

Manuela Nelli ◽

Andrea Bondavalli ◽

Luca Simoncini

Keyword(s):

Control Systems ◽

Modeling And Analysis ◽

Complex Control

Download Full-text

Enhancing dependability of cooperative applications in partitionable environments

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_47 ◽

1996 ◽

pp. 333-352 ◽

Cited By ~ 4

Author(s):

François J. N. Cosquer ◽

Pedro Antunes ◽

Paulo Veríssimo

Download Full-text

Pseudorandom testing of microprocessors at instruction/data flow level

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_42 ◽

1996 ◽

pp. 246-263 ◽

Cited By ~ 2

Author(s):

Janusz Sosnowski ◽

A. Kuśmierczyk

Keyword(s):

Data Flow

Download Full-text

Compiler assisted self-checking of structural integrity using return address hashing

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_36 ◽

1996 ◽

pp. 159-177

Author(s):

Uwe Wildner

Keyword(s):

Structural Integrity ◽

Return Address

Download Full-text

Constraint based system-level diagnosis of multiprocessors

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_51 ◽

1996 ◽

pp. 403-420 ◽

Cited By ~ 1

Author(s):

J. Altmann ◽

T. Bartha ◽

A. Pataricza ◽

A. Petri ◽

P. Urbán

Keyword(s):

System Level

Download Full-text

Removal of all faulty nodes from a fault-tolerant service by means of distributed diagnosis with imperfect fault coverage

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_50 ◽

1996 ◽

pp. 383-402

Author(s):

André Postma ◽

Gerie Hartman ◽

Thijs Krol

Keyword(s):

Fault Tolerant ◽

Fault Coverage ◽

Distributed Diagnosis

Download Full-text

On stratified sampling for high coverage estimations

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_29 ◽

1996 ◽

pp. 35-54 ◽

Cited By ~ 4

Author(s):

David Powell ◽

Michel Cukier ◽

Jean Arlat

Keyword(s):

Stratified Sampling ◽

High Coverage

Download Full-text

Dependability evaluation of a computing system for traction control of electrical locomotives

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_34 ◽

1996 ◽

pp. 129-140 ◽

Cited By ~ 2

Author(s):

Silke Draber ◽

Bernhard Eschermann

Keyword(s):

Computing System ◽

Traction Control ◽

Dependability Evaluation

Download Full-text

Fault injection evaluation of assigned signatures in a RISC processor

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_30 ◽

1996 ◽

pp. 55-72 ◽

Cited By ~ 3

Author(s):

Pedro Furtado ◽

Henrique Madeira

Keyword(s):

Fault Injection ◽

Risc Processor

Download Full-text

Multi-level test generation and fault diagnosis for finite state machines

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science ◽

10.1007/3-540-61772-8_43 ◽

1996 ◽

pp. 264-281 ◽

Cited By ~ 3

Author(s):

R. Ubar ◽

M. Brik

Keyword(s):

Fault Diagnosis ◽

Test Generation ◽

Finite State Machines ◽

State Machines ◽

Finite State ◽

Multi Level

Download Full-text

Dependable Computing — EDCC-2 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Dependability modeling and analysis of complex control systems: An application to railway interlocking

Enhancing dependability of cooperative applications in partitionable environments

Pseudorandom testing of microprocessors at instruction/data flow level

Compiler assisted self-checking of structural integrity using return address hashing

Constraint based system-level diagnosis of multiprocessors

Removal of all faulty nodes from a fault-tolerant service by means of distributed diagnosis with imperfect fault coverage

On stratified sampling for high coverage estimations

Dependability evaluation of a computing system for traction control of electrical locomotives

Fault injection evaluation of assigned signatures in a RISC processor

Multi-level test generation and fault diagnosis for finite state machines

Dependable Computing — EDCC-2 - Lecture Notes in Computer Science
Latest Publications