1. Home
  2. Proceedings
  3. EDCC
  4. EDCC 2010
Default Cover Image

European Dependable Computing Conference

Apr. 28 2010 to Apr. 30 2010

Valencia, Spain

ISBN: 978-0-7695-4007-8

Table of Contents

Papers
Keynote AbstractsFull-text access may be available. Sign in or learn about subscription options.pp. xvii-xviii
Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Message from the General ChairFreely available from IEEE.pp. viii
Table of contentsFreely available from IEEE.pp. v-vii
Papers
Message from the Program ChairFreely available from IEEE.pp. ix
Papers
Organizing CommitteeFreely available from IEEE.pp. x
Papers
Program CommitteeFreely available from IEEE.pp. xi-xiii
Papers
Steering CommitteeFreely available from IEEE.pp. xiv-xiv
Papers
list-reviewerFreely available from IEEE.pp. xv-xvi
Papers
Comparing and Validating Measurements of Dependability AttributesFull-text access may be available. Sign in or learn about subscription options.pp. 3-12
by Daniel Skarin, Raul Barbosa, Johan Karlsson
Papers
Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection SlicingFull-text access may be available. Sign in or learn about subscription options.pp. 13-22
by Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer
Papers
Emulation of Transient Software Faults for Dependability Assessment: A Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 23-32
by Roberto Natella, Domenico Cotroneo
Papers
Evaluating and Comparing the Impact of Software Faults on Web ServersFull-text access may be available. Sign in or learn about subscription options.pp. 33-42
by Naaliel Mendes, Joao Duraes, Henrique Madeira
Papers
Towards On-line Adaptation of Fault Tolerance MechanismsFull-text access may be available. Sign in or learn about subscription options.pp. 45-54
by Jean-Charles Fabre, Marc-Olivier Killijian, Thomas Pareaud
Papers
Scalability Evaluation of the Replication Support of JOnAS, an Industrial J2EE Application ServerFull-text access may be available. Sign in or learn about subscription options.pp. 55-60
by Alberto Paz, Francisco Perez-Sorrosal, Marta Patiño-Martinez, Ricardo Jimenez-Peris
Papers
On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault ToleranceFull-text access may be available. Sign in or learn about subscription options.pp. 61-66
by Ruben Alexandersson, Peter Öhman
Papers
Partitioned Embedded Architecture Based on Hypervisor: The XtratuM ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 67-72
by A. Crespo, I. Ripoll, M. Masmano
Papers
Software Process Synthesis in Assurance Based Development of Dependable SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 75-84
by Patrick J. Graydon, John C. Knight
Papers
Towards Understanding the Importance of Variables in Dependable SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 85-94
by Matthew Leeke, Arshad Jhumka
Papers
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling ProfileFull-text access may be available. Sign in or learn about subscription options.pp. 95-104
by Simona Bernardi, José Merseguer, Robyn R. Lutz
Papers
Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta ModelFull-text access may be available. Sign in or learn about subscription options.pp. 107-116
by François Bonnet, Michel Raynal
Papers
HP: Hybrid Paxos for WANsFull-text access may be available. Sign in or learn about subscription options.pp. 117-126
by Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri
Papers
Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded ConcurrencyFull-text access may be available. Sign in or learn about subscription options.pp. 127-134
by Sara Tucci-Piergiovanni, Roberto Baldoni
Papers
D2HT: The Best of Both Worlds, Integrating RPS and DHTFull-text access may be available. Sign in or learn about subscription options.pp. 135-144
by Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node CapabilitiesFull-text access may be available. Sign in or learn about subscription options.pp. 145-154
by Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico
Papers
A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 155-162
by Martin Mitzlaff, Michael Lang, Rüdiger Kapitza, Wolfgang Schröder-Preikschat
Papers
Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 165-174
by Jesper Grønbæk, Hans-Peter Schwefel, Jens Kristian Kjærgârd, Thomas S. Toftegaard
Papers
Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System KernelsFull-text access may be available. Sign in or learn about subscription options.pp. 175-184
by Roberto Jung Drebes, Takashi Nanya
Papers
Narrowing Down Possible Causes of Performance Anomaly in Web ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 185-190
by Satoshi Iwata, Kenji Kono
Papers
Finding Error Handling Bugs in OpenSSL Using CoccinelleFull-text access may be available. Sign in or learn about subscription options.pp. 191-196
by Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller
Papers
Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP)Full-text access may be available. Sign in or learn about subscription options.pp. 199-208
by Ludovic Piètre-Cambacédès, Marc Bouissou
Papers
Online Monitoring of Software System ReliabilityFull-text access may be available. Sign in or learn about subscription options.pp. 209-218
by R. Pietrantuono, S. Russo, K. S. Trivedi
Papers
Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemCFull-text access may be available. Sign in or learn about subscription options.pp. 221-229
by Jon Perez, Mikel Azkarate-askasua, Antonio Perez
Papers
How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via PipeliningFull-text access may be available. Sign in or learn about subscription options.pp. 230-239
by Matthias Függer, Andreas Dielacher, Ulrich Schmid
Papers
Author IndexFreely available from IEEE.pp. 241
Papers
[Publisher's information]Freely available from IEEE.pp. 242
Showing 38 out of 38