default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th EDCC 2005: Budapest, Hungary
- Mario Dal Cin, Mohamed Kaâniche, András Pataricza:
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
Keynote I
- Pascal Traverse, Isabelle Lacaze, Jean Souyris:
A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. 1
Distributed Algorithms
- Roy Friedman, Achour Mostéfaoui, Michel Raynal:
Building and Using Quorums Despite any Number of Process of Crashes. 2-19 - Josef Widder, Gérard Le Lann, Ulrich Schmid:
Failure Detection with Booting in Partially Synchronous Systems. 20-37 - Roberto Baldoni, Stefano Cimmino, Carlo Marchetti:
Total Order Communications: A Practical Analysis. 38-54 - Gildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic:
Gracefully Degrading Fair Exchange with Security Modules. 55-71
Fault Tolerant Design and Protocols
- Sandeep S. Kulkarni, Ali Ebnenasir:
Adding Fault-Tolerance Using Pre-synthesized Components. 72-90 - Jens Chr. Lisner:
Efficiency of Dynamic Arbitration in TDMA Protocols. 91-102 - Nithin Nakka, Giacinto Paolo Saggese, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
An Architectural Framework for Detecting Process Hangs/Crashes. 103-121 - Dakai Zhu, Rami G. Melhem, Daniel Mossé:
Energy Efficient Configuration for QoS in Reliable Parallel Servers. 122-139
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 - A. V. Singh, Louise E. Moser, P. M. Melliar-Smith:
Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. 154-166 - Namyoon Woo, Hyungsoo Jung, Dongin Shin, Hyuck Han, Heon Young Yeom, Taesoon Park:
Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF. 167-178
Assessment and Analysis
- Bjarne E. Helvik
, Hein Meling, Alberto Montresor:
An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. 179-198 - Meine van der Meulen, Miguel A. Revilla:
The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision. 199-209 - Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). 210-224
Panel
- Henrique Madeira:
Dependability Challenges and Education Perspectives. 225-225
Keynote II
- Manfred Reitenspieß:
Availability in Industry and Science - A Business Perspective -. 226-229
Measurement
- David de Andrés, José Albaladejo, Lenin Lemus, Pedro J. Gil:
Fast Run-Time Reconfiguration for SEU Injection. 230-245 - Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson:
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. 246-262 - 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
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 - 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 - 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
Hardware Verification
- Maciej Bellos, Dimitris Nikolos:
Deterministic Test Vector Compression / Decompression Using an Embedded Processor. 318-331 - Jaan Raik, Raimund Ubar, Sergei Devadze, Artur Jutman:
Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs. 332-344
Dependable Networking
- Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly:
Structure-Based Resilience Metrics for Service-Oriented Networks. 345-362 - Miklós Molnár, Alexandre Guitton, Bernard Cousin, Raymond A. Marie:
Efficient Protection of Many-to-One Communications. 363-378
Practical Experience Reports and Tools III
- Daniel Gil, Joaquin Gracia, Juan Carlos Baraza, Pedro J. Gil:
Impact of Faults in Combinational Logic of Commercial Microcontrollers. 379-390 - Tamás Bartha, István Varga, Alexandros Soumelidis, Géza Szabé:
Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System. 391-402 - Ondrej Novák, Jirí Zahrádka, Zdenek Plíva:
COMPAS - Compressed Test Pattern Sequencer for Scan Based Circuits. 403-414
Reliability Engineering and Testing
- Jane Huffman Hayes, Inies C. M. Raphael, Vinod Kumar Surisetty, Anneliese Amschler Andrews:
Fault Links: Exploring the Relationship Between Module and Fault Types. 415-434 - Stefan Wagner, Jan Jürjens:
Model-Based Identification of Fault-Prone Components. 435-452 - Eliane Martins, Vanessa Gindri Vieira:
Regression Test Selection for Testable Classes. 453-470
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 18:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
