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.