3. EDCC 1999: Prague, Czech Republic

@proceedings{DBLP:conf/edcc/1999,
  editor    = {Jan Hlavicka and
               Erik Maehle and
               Andr{\'a}s Pataricza},
  title     = {Dependable Computing - EDCC-3, Third European Dependable Computing
               Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings},
  booktitle = {EDCC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1667},
  year      = {1999},
  isbn      = {3-540-66483-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Dependability Modelling

• Horst H. Henn:
  Reliable and Secure Operation of Smart Cards. 3-6
  Electronic Edition (Springer LINK) BibTeX
• Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi:
  Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. 7-23
  Electronic Edition (Springer LINK) BibTeX
• Klaus D. Heidtmann:
  Evaluation of Video Communication over Packet Switching Networks. 24-41
  Electronic Edition (Springer LINK) BibTeX
• Mourad Rabah, Karama Kanoun:
  Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. 42-62
  Electronic Edition (Springer LINK) BibTeX

Panel

• Fevzi Belli:
  Software Reliability Engineering - Risk Management for the New Millenium. 63-66
  Electronic Edition (Springer LINK) BibTeX

Fast Abstracts

Protocols

• Assia Doudou, Benoît Garbinato, Rachid Guerraoui, André Schiper:
  Muteness Failure Detectors: Specification and Implementation. 71-87
  Electronic Edition (Springer LINK) BibTeX
• Henrik Lönn:
  A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators. 88-105
  Electronic Edition (Springer LINK) BibTeX
• Klaus Echtle:
  Avoiding Malicious Byzantine Faults by a New Signature Generation Technique. 106-123
  Electronic Edition (Springer LINK) BibTeX
• Luís Moura Silva, João Gabriel Silva:
  An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine. 124-142
  Electronic Edition (Springer LINK) BibTeX

Fault Injection 1

• Manuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat:
  MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. 143-160
  Electronic Edition (Springer LINK) BibTeX
• Cristian Constantinescu:
  Assessing Error Detection Coverage by Simulated Fault Injection. 161-170
  Electronic Edition (Springer LINK) BibTeX
• Peter Folkesson, Johan Karlsson:
  Considering Workload Input Variations in Error Coverage Estimation. 171-190
  Electronic Edition (Springer LINK) BibTeX

Fault Injection 2

• Daniel Gil, R. Martínez, J. V. Busquets, Juan Carlos Baraza, Pedro J. Gil:
  Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System. 191-208
  Electronic Edition (Springer LINK) BibTeX
• João Carlos Cunha, Mário Zenha Rela, João Gabriel Silva:
  Can Software Implemented Fault-Injection Be Used on Real-Time Systems?. 209-228
  Electronic Edition (Springer LINK) BibTeX

Safety

• Ralf Apfeld, M. Umbreit:
  Integrated Safety in Flexible Manufacturing Systems. 229-238
  Electronic Edition (Springer LINK) BibTeX
• Toshihito Shirai, Masayoshi Sakai, Koichi Futsuhara, Masao Mukaidono:
  A Method for Implementing a Safety Control System Based on Its Separation into Safety-Related and Non-Safety-Related Parts. 239-250
  Electronic Edition (Springer LINK) BibTeX

Hardware Testing

• Jerzy W. Greblicki, Stanislaw J. Piestrak:
  Design of Totally Self-Checking Code-Disjoint Synchronous Sequential Circuits. 251-266
  Electronic Edition (Springer LINK) BibTeX
• Maciej Bellos, Dimitris Nikolos, Haridimos T. Vergos:
  Path Delay Fault Testing of a Class of Circuit-Switched Multistage Interconnection Networks. 267-282
  Electronic Edition (Springer LINK) BibTeX
• Stefano Chessa, B. Sallay, Piero Maestrini:
  Diagnostic Model and Diagnosis Algorithm of a SIMD Computer. 283-302
  Electronic Edition (Springer LINK) BibTeX

Built-In Self-Test

• Ondrej Novák:
  Pseudorandom, Weighted Random and Pseudoexhaustive Test Patterns Generated in Universal Cellular Automata. 303-320
  Electronic Edition (Springer LINK) BibTeX
• Tomasz Garbolino, Andrzej Hlawiczka:
  A New LFSR with D and T Flip-Flops as an Effective Test Pattern Generator for VLSI Circuits. 321-338
  Electronic Edition (Springer LINK) BibTeX
• Vyacheslav N. Yarmolik, I. V. Bykov, Sybille Hellebrand, Hans-Joachim Wunderlich:
  Transparent Word-Oriented Memory BIST Based on Symmetric March Algorithms. 339-350
  Electronic Edition (Springer LINK) BibTeX

Networks and Distributed Systems

• Jörg Kaiser, Mohammad Ali Livani:
  Achieving Fault-Tolerant Ordered Broadcasts in CAN. 351-363
  Electronic Edition (Springer LINK) BibTeX
• Meng-Jang Lin, Keith Marzullo:
  Directional Gossip: Gossip in a Wide Area Network. 364-379
  Electronic Edition (Springer LINK) BibTeX
• Michael Mock, Edgar Nett, Stefan Schemmer:
  Efficient Reliable Real-Time Group Communication for Wireless Local Area Networks. 380-400
  Electronic Edition (Springer LINK) BibTeX

Software Testing and Self-Checking

• Hélène Waeselynck, Pascale Thévenod-Fosse:
  A Case Study in Statistical Testing of Reusable Concurrent Objects. 401-418
  Electronic Edition (Springer LINK) BibTeX
• Paula Prata, João Gabriel Silva:
  Fault-Detection by Result-Checking for the Eigenproblem. 419-436
  Electronic Edition (Springer LINK) BibTeX
• Yung-Yuan Chen:
  Concurrent Detection of Processor Control Errors by Hybrid Signature Monitoring. 437-454
  Electronic Edition (Springer LINK) BibTeX