


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

, Domenico Cotroneo:
Emulation of Transient Software Faults for Dependability Assessment: A Case Study. 23-32 - Naaliel Mendes, João Durães

, Henrique Madeira
:
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

, Ricardo Jiménez-Peris:
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

, Ismael Ripoll
, Miguel Masmano:
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

, José Merseguer
, Robyn R. Lutz
:
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. 95-104
Distributed Protocols
- François Bonnet

, Michel Raynal:
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

, Roberto Baldoni:
Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency. 127-134 - Marin Bertier, François Bonnet

, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal:
D2HT: The Best of Both Worlds, Integrating RPS and DHT. 135-144 - Paolo Masci

, Silvano Chiaradonna, Felicita Di Giandomenico:
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

, Nicolas Palix
, Gilles Muller:
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

, Stefano Russo
, Kishor S. Trivedi:
Online Monitoring of Software System Reliability. 209-218
Embedded Systems and Hardware
- Jon Pérez

, Mikel Azkarate-askasua
, Antonio Perez:
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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














