5. EDCC 2005:
Budapest,
Hungary
Mario Dal Cin, Mohamed Kaâniche, András Pataricza (Eds.):
Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings.
Lecture Notes in Computer Science 3463 Springer 2005, ISBN 3-540-25723-3 BibTeX
Keynote I
Distributed Algorithms
Fault Tolerant Design and Protocols
Practical Experience Reports and Tools I
- Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Gérard Le Lann, Eric Bornschlegl:
Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems.
140-153
Electronic Edition (link) BibTeX
- A. V. Singh, Louise E. Moser, P. M. Melliar-Smith:
Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA.
154-166
Electronic Edition (link) BibTeX
- Namyoon Woo, Hyungsoo Jung, Dongin Shin, Hyuck Han, Heon Young Yeom, Taesoon Park:
Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF.
167-178
Electronic Edition (link) BibTeX
Assessment and Analysis
Panel
Keynote II
Measurement
- David de Andrés, José Albaladejo, Lenin Lemus, Pedro J. Gil:
Fast Run-Time Reconfiguration for SEU Injection.
230-245
Electronic Edition (link) BibTeX
- Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson:
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency.
246-262
Electronic Edition (link) BibTeX
- Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza:
A Data Mining Approach to Identify Key Factors in Dependability Experiments.
263-280
Electronic Edition (link) BibTeX
Practical Experience Reports and Tools II
- Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger:
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.
281-292
Electronic Edition (link) BibTeX
- Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola:
A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems.
293-304
Electronic Edition (link) BibTeX
- Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Pietro Marmo, Antonio Orazzo:
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.
305-317
Electronic Edition (link) BibTeX
Hardware Verification
Dependable Networking
Practical Experience Reports and Tools III
Reliability Engineering and Testing
Copyright © Sat May 16 23:08:31 2009
by Michael Ley (ley@uni-trier.de)