Searching...
Advanced Search
E
EDCC
2012
2012 Ninth European Dependable Computing Conference
This Publication
Digital Library
Advanced Search
This Publication
Purchase Instant Conference Download
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
2012 Ninth European Dependable Computing Conference
Sibiu, Romania
May 08-May 11
ISBN: 978-0-7695-4671-1
Table of Contents
Papers
Cover Art
(PDF)
pp. C4,C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Copyright Page
(PDF)
pp. iv
ABSTRACT
PDF
Table of Contents
(PDF)
pp. v-vii
ABSTRACT
PDF
Message from the General Chair
(PDF)
pp. viii
ABSTRACT
PDF
Message from the Program Committee Chair
(PDF)
pp. ix-x
ABSTRACT
PDF
Committees
(PDF)
pp. xi-xiii
ABSTRACT
PDF
External Reviewers
(PDF)
pp. xiv-xv
ABSTRACT
PDF
CADA: Collaborative Auditing for Distributed Aggregation
(Abstract)
José Valerio
Pascal Felber
Martin Rajman
Etienne Rivière
pp. 1-12
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Swarm Synthesis of Convergence for Symmetric Protocols
(Abstract)
Ali Ebnenasir
Aly Farahat
pp. 13-24
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Eventual alpha Partition-Participant Detector for MANETs
(Abstract)
Léon Lim
Denis Conan
pp. 25-36
ABSTRACT
PDF
PURCHASE ARTICLE: $19
From Byzantine Consensus to BFT State Machine Replication: A Latency-Optimal Transformation
(Abstract)
João Sousa
Alysson Bessani
pp. 37-48
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Eliminating Single Points of Failure in Software-Based Redundancy
(Abstract)
Peter Ulbrich
Martin Hoffmann
Rüdiger Kapitza
Daniel Lohmann
Wolfgang Schröder-Preikschat
Reiner Schmid
pp. 49-60
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Mirrored Data Structures Approach to Diverse Partial Memory Replication
(Abstract)
Ryan M. Lefever
Vikram S. Adve
William H. Sanders
pp. 61-72
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems
(Abstract)
David Powell
Jean Arlat
Hoang Nam Chu
Félix Ingrand
Marc-Olivier Killijian
pp. 73-83
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios
(Abstract)
Silvano Chiaradonna
Felicita Di Giandomenico
Nicola Nostro
pp. 84-93
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Log Analytics for Dependable Enterprise Telephony
(Abstract)
Chaunwen Chen
Navjot Singh
Shalini Yajnik
pp. 94-101
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Security of Electrostatic Field Persistent Routing: Attacks and Defense Mechanisms
(Abstract)
Oliviu C. Ghica
Cristina Nita-Rotaru
Goce Trajcevski
Peter Scheuermann
pp. 102-113
ABSTRACT
PDF
PURCHASE ARTICLE: $19
AnKLe: Detecting Attacks in Large Scale Systems via Information Divergence
(Abstract)
Emmanuelle Anceaume
Yann Busnel
Sébastien Gambs
pp. 114-125
ABSTRACT
PDF
PURCHASE ARTICLE: $19
The Provenance of WINE
(Abstract)
Tudor Dumitras
Petros Efstathopoulos
pp. 126-131
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Leveraging Multi-core Computing Architectures in Avionics
(Abstract)
Jan Nowotsch
Michael Paulitsch
pp. 132-143
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems
(Abstract)
B. Malinowsky
J. Grønbæk
H.P. Schwefel
A. Ceccarelli
A. Bondavalli
E. Nett
pp. 144-155
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Formal Development of Critical Multi-agent Systems: A Refinement Approach
(Abstract)
Inna Pereverzeva
Elena Troubitsyna
Linas Laibinis
pp. 156-161
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Experimental Analysis of Binary-Level Software Fault Injection in Complex Software
(Abstract)
Domenico Cotroneo
Anna Lanzaro
Roberto Natella
Ricardo Barbosa
pp. 162-172
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Changeloads for Resilience Benchmarking of Self-Adaptive Systems: A Risk-Based Approach
(Abstract)
Raquel Almeida
Marco Vieira
pp. 173-184
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time
(Abstract)
Anatoliy Gorbenko
Vyacheslav Kharchenko
Seyran Mamutov
Olga Tarasyuk
Alexander Romanovsky
pp. 185-190
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Time-Free Byzantine Failure Detector for Dynamic Networks
(Abstract)
Fabíola Greve
Murilo Santos de Lima
Luciana Arantes
Pierre Sens
pp. 191-202
ABSTRACT
PDF
PURCHASE ARTICLE: $19
MultiPathPrivacy: Enhanced Privacy in Fault Replication
(Abstract)
Pedro Louro
João Garcia
Paolo Romano
pp. 203-211
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Applying Data Mining for Detecting Anomalies in Satellites
(Abstract)
Denise Rotondi Azevedo
Ana Maria Ambrósio
Marco Vieira
pp. 212-217
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Memory Mapped SPM: Protecting Instruction Scratchpad Memory in Embedded Systems against Soft Errors
(Abstract)
Hamed Farbeh
Mahdi Fazeli
Faramarz Khosravi
Seyed Ghassem Miremadi
pp. 218-226
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Designing Robust GALS Circuits with Triple Modular Redundancy
(Abstract)
Jakob Lechner
pp. 227-236
ABSTRACT
PDF
PURCHASE ARTICLE: $19
On the Development of a Real-Time Ethernet Switch for Ultra-highly Dependable Applications
(Abstract)
Dumitru-Mircea Chimerel
Costel Patrascu
Sabina Anghel
Yuval Katz
Wilfried Steiner
pp. 237-242
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 243
ABSTRACT
PDF
Publisher's Information
(PDF)
pp. 244
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
