


default search action
13. EWDC 2011: Pisa, Italy
- Felicita Di Giandomenico:
Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011. ACM 2011, ISBN 978-1-4503-0284-5
Critical systems/infrastructures
- Salvatore D'Antonio, Luigi Coppolino, Ivano Alessandro Elia
, Valerio Formicola
:
Security issues of a phasor data concentrator for smart grid infrastructure. 3-8 - Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
:
Operational reliability of an aircraft with adaptive missions. 9-14 - Massimo Ficco, Alessandro Daidone, Luigi Coppolino, Luigi Romano, Andrea Bondavalli
:
An event correlation approach for fault diagnosis in SCADA infrastructures. 15-20
Benchmarking and simulation
- Jesus Friginal
, David de Andrés, Juan-Carlos Ruiz-Garcia
, Pedro J. Gil:
Coarse-grained resilience benchmarking using logic score of preferences: ad hoc networks as a case study. 23-28 - Afonso Araújo Neto, Marco Vieira
:
Towards benchmarking the trustworthiness of web applications code. 29-34 - Fabrizio Baiardi
, Claudio Telmon, Daniele Sgandurra:
A simulation-driven approach for assessing risks of complex systems. 35-40
Fault tolerant systems
- A. Tankeu-Choitat, Jean-Charles Fabre, Philippe A. Palanque, David Navarre
, Yannick Deleris:
Self-checking widgets for interactive cockpits. 43-48 - Minh-Duc Nguyen, Gilles Fritz, Oum-El-Kheir Aktouf, Vincent Beroulle, David Hély
:
Towards middleware-based fault-tolerance in RFID systems. 49-52 - Hananeh Aliee, Hamid R. Zarandi:
An efficient, dynamically adaptive method to tolerate transient faults in multi-core systems. 53-58
Monitoring
- Antonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono
, Gabriella Carrozza:
Error detection framework for complex software systems. 61-66 - Leonardo Aniello, Giorgia Lodi
, Roberto Baldoni:
Inter-domain stealthy port scan detection through complex event processing. 67-72 - Antonia Bertolino
, Antonello Calabrò
, Francesca Lonetti
, Antonino Sabetta:
GLIMPSE: a generic and flexible monitoring infrastructure. 73-78 - Midori Sugaya, Ken Igarashi, Masaaki Goshima, Shinpei Nakata, Kimio Kuramitsu
:
Extensible online log analysis system. 79-84
Distributed systems
- João Antunes, Nuno Ferreira Neves
:
Automatically complementing protocol specifications from network traces. 87-92 - Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck:
Detecting interferences in aspect oriented programs. 93-98 - Roberto Baldoni, Silvia Bonomi
, Michel Raynal:
k-bounded set objects in eventually synchronous distributed systems with churn and continuous accesses. 99-106
Short papers
- José Luís Nunes
, João Carlos Cunha
, Raul Barbosa
, Mário Zenha Rela
:
Using partial dynamic FPGA reconfiguration to support real-time dependability. 107-108 - Paolo Masci
, Paul Curzon
, Huayi Huang, Rimvydas Ruksenas, Ann Blandford
, Dominic Furniss
, Atish Rajkomar:
Towards a formal framework for reasoning about the resilience of dynamic interactive systems. 109-110 - Jin Nakazawa, Yutaka Matsuno, Hideyuki Tokuda:
Evaluating degree of systems' dependability with semi-structured assurance case. 111-112

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.