default search action
8th EDCC 2010: Valencia, Spain
- Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4007-8
Fault Injection
- Daniel Skarin, Raul Barbosa
, Johan Karlsson:
Comparing and Validating Measurements of Dependability Attributes. 3-12 - Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer:
Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing. 13-22 - Roberto Natella
Emulation of Transient Software Faults for Dependability Assessment: A Case Study. 23-32 - Naaliel Mendes, João Durães
Evaluating and Comparing the Impact of Software Faults on Web Servers. 33-42
Middleware and Mechanisms
- Jean-Charles Fabre, Marc-Olivier Killijian, Thomas Pareaud:
Towards On-line Adaptation of Fault Tolerance Mechanisms. 45-54 - Alberto Paz, Francisco Perez-Sorrosal, Marta Patiño-Martínez
Scalability Evaluation of the Replication Support of JOnAS, an Industrial J2EE Application Server. 55-60 - Ruben Alexandersson, Peter Öhman:
On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance. 61-66 - Alfons Crespo
Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach. 67-72
Approaches & Methodologies
- Patrick J. Graydon, John C. Knight:
Software Process Synthesis in Assurance Based Development of Dependable Systems. 75-84 - Matthew Leeke, Arshad Jhumka:
Towards Understanding the Importance of Variables in Dependable Software. 85-94 - Simona Bernardi
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. 95-104
Distributed Protocols
- François Bonnet
Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model. 107-116 - Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri
HP: Hybrid Paxos for WANs. 117-126 - Sara Tucci Piergiovanni
Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency. 127-134 - Marin Bertier, François Bonnet
D2HT: The Best of Both Worlds, Integrating RPS and DHT. 135-144 - Paolo Masci
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. 145-154 - Martin Mitzlaff, Michael Lang, Rüdiger Kapitza, Wolfgang Schröder-Preikschat:
A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay Network. 155-162
Diagnosis and Monitoring
- Jesper Grønbæk, Hans-Peter Schwefel, Jens Kristian Kjaergard, Thomas Skjødeberg Toftegaard:
Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model Approach. 165-174 - Roberto Jung Drebes, Takashi Nanya:
Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels. 175-184 - Satoshi Iwata, Kenji Kono:
Narrowing Down Possible Causes of Performance Anomaly in Web Applications. 185-190 - Julia Lawall, Ben Laurie, René Rydhof Hansen
Finding Error Handling Bugs in OpenSSL Using Coccinelle. 191-196
Dependability Modelling
- Ludovic Piètre-Cambacédès, Marc Bouissou
Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP). 199-208 - Roberto Pietrantuono
Online Monitoring of Software System Reliability. 209-218
Embedded Systems and Hardware
- Jon Pérez
Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC. 221-229 - Matthias Függer, Andreas Dielacher, Ulrich Schmid:
How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining. 230-239
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 2025-03-10 20:32 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: