4. EDCC 2002: Toulouse, France

@proceedings{DBLP:conf/edcc/2002,
  editor    = {Fabrizio Grandoni 0002 and
               Pascale Th{\'e}venod-Fosse},
  title     = {Dependable Computing - EDCC-4, 4th European Dependable Computing
               Conference, Toulouse, France, October 23-25, 2002, Proceedings},
  booktitle = {EDCC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2485},
  year      = {2002},
  isbn      = {3-540-00012-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Talk

• Rene Amalberti:
  Use and Misuse of Safety Models in Design. 1
  Electronic Edition (Springer LINK) BibTeX

Modeling and Evaluation

• Stefano Porcarelli, Felicita Di Giandomenico:
  On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations. 2-18
  Electronic Edition (Springer LINK) BibTeX
• Pierre Bieber, Charles Castel, Christel Seguin:
  Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. 19-31
  Electronic Edition (Springer LINK) BibTeX
• György Csertán, András Pataricza, Péter Harang, Orsolya Dobán, Gabor Biros, András Dancsecz, Ferenc Friedler:
  BPM Based Robust E-business Application Development (Practical Experience Report). 32-43
  Electronic Edition (Springer LINK) BibTeX

Agreement Protocols

• Fernando Pedone, André Schiper, Péter Urbán, David Cavin:
  Solving Agreement Problems with Weak Ordering Oracles. 44-61
  Electronic Edition (Springer LINK) BibTeX
• Emmanuelle Anceaume, Michel Hurfin, Philippe Raipin Parvédy:
  An Efficient Solution to the k-Set Agreement Problem. 62-78
  Electronic Edition (Springer LINK) BibTeX

Panel: Novel Approaches for Dependable Computing

• Rogério de Lemos:
  Novel Approaches in Dependable Computing. 79-80
  Electronic Edition (Springer LINK) BibTeX
• Algirdas Avizienis:
  An Immune System Paradigm for the Design of Fault Tolerant Systems. 81-83
  Electronic Edition (Springer LINK) BibTeX
• John Bigham:
  Security and Survivability of Large Scale Critical Infrastructures. 84-85
  Electronic Edition (Springer LINK) BibTeX
• José Luiz Fiadeiro:
  An Architectural Approach to Fault Treatment in Critical Infrastructures. 86-87
  Electronic Edition (Springer LINK) BibTeX
• Andrew M. Tyrrell:
  Biologically Inspired Fault-Tolerant Computer Systems. 88-89
  Electronic Edition (Springer LINK) BibTeX

Error Detection and Fault Tolerance

• Maciej Bellos, Dimitrios Kagaris, Dimitris Nikolos:
  Test Set Embedding Based on Phase Shifters. 90-101
  Electronic Edition (Springer LINK) BibTeX
• João Carlos Cunha, António Correia, Jorge Henriques, Mário Zenha Rela, João Gabriel Silva:
  Reset-Driven Fault Tolerance. 102-120
  Electronic Edition (Springer LINK) BibTeX
• István Majzik, Gábor Huszerl:
  Towards Dependability Modeling of FT-CORBA Architectures. 121-139
  Electronic Edition (Springer LINK) BibTeX

Experimental Validation

• Kaustubh R. Joshi, Michel Cukier, William H. Sanders:
  Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. 140-158
  Electronic Edition (Springer LINK) BibTeX
• Volkmar Sieh, Kerstin Buchacker:
  UMLinux - A Versatile SWIFI Tool. 159-171
  Electronic Edition (Springer LINK) BibTeX
• Astrit Ademaj:
  A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection. 172-190
  Electronic Edition (Springer LINK) BibTeX

Distributed Algorithms

• Partha Dutta, Rachid Guerraoui:
  Fast Indulgent Consensus with Zero Degradation. 191-208
  Electronic Edition (Springer LINK) BibTeX
• Fernando Pedone, Nelson L. Duarte, Mario Goulart:
  Probabilistic Queries in Large-Scale Networks. 209-226
  Electronic Edition (Springer LINK) BibTeX

Panel

• Luca Simoncini:
  Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. 227-233
  Electronic Edition (Springer LINK) BibTeX

Real-Time

• Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves:
  The Design of a COTSReal-Time Distributed Security Kernel. 234-252
  Electronic Edition (Springer LINK) BibTeX
• Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
  Wrapping Real-Time Systems from Temporal Logic Specifications. 253-270
  Electronic Edition (Springer LINK) BibTeX
• Pavel Herout, Stanislav Racek, Jan Hlavicka:
  Model-Based Dependability Evaluation Method for TTP/C Based Systems. 271-282
  Electronic Edition (Springer LINK) BibTeX