Abstract is missing.
- Security issues of a phasor data concentrator for smart grid infrastructureSalvatore D'Antonio, Luigi Coppolino, Ivano Alessandro Elia, Valerio Formicola. 3-8 [doi]
- Operational reliability of an aircraft with adaptive missionsKossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos. 9-14 [doi]
- An event correlation approach for fault diagnosis in SCADA infrastructuresMassimo Ficco, Alessandro Daidone, Luigi Coppolino, Luigi Romano, Andrea Bondavalli. 15-20 [doi]
- Coarse-grained resilience benchmarking using logic score of preferences: ad hoc networks as a case studyJesus Friginal, David de Andrés, Juan Carlos Ruiz, Pedro J. Gil. 23-28 [doi]
- Towards benchmarking the trustworthiness of web applications codeAfonso Araújo Neto, Marco Vieira. 29-34 [doi]
- A simulation-driven approach for assessing risks of complex systemsFabrizio Baiardi, Claudio Telmon, Daniele Sgandurra. 35-40 [doi]
- Self-checking widgets for interactive cockpitsA. Tankeu-Choitat, Jean-Charles Fabre, Philippe A. Palanque, David Navarre, Yannick Deleris. 43-48 [doi]
- Towards middleware-based fault-tolerance in RFID systemsMinh Duc Nguyen, Gilles Fritz, Oum-El-Kheir Aktouf, Vincent Beroulle, David Hély. 49-52 [doi]
- An efficient, dynamically adaptive method to tolerate transient faults in multi-core systemsHananeh Aliee, Hamid R. Zarandi. 53-58 [doi]
- Error detection framework for complex software systemsAntonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono, Gabriella Carrozza. 61-66 [doi]
- Inter-domain stealthy port scan detection through complex event processingLeonardo Aniello, Giorgia Lodi, Roberto Baldoni. 67-72 [doi]
- GLIMPSE: a generic and flexible monitoring infrastructureAntonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antonino Sabetta. 73-78 [doi]
- Extensible online log analysis systemMidori Sugaya, Ken Igarashi, Masaaki Goshima, Shinpei Nakata, Kimio Kuramitsu. 79-84 [doi]
- Automatically complementing protocol specifications from network tracesJoão Antunes, Nuno Ferreira Neves. 87-92 [doi]
- Detecting interferences in aspect oriented programsJimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck. 93-98 [doi]
- k-bounded set objects in eventually synchronous distributed systems with churn and continuous accessesRoberto Baldoni, Silvia Bonomi, Michel Raynal. 99-106 [doi]
- Using partial dynamic FPGA reconfiguration to support real-time dependabilityJosé Luís Nunes, João Carlos Cunha, Raul Barbosa, Mário Zenha Rela. 107-108 [doi]
- Towards a formal framework for reasoning about the resilience of dynamic interactive systemsPaolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar. 109-110 [doi]
- Evaluating degree of systems' dependability with semi-structured assurance caseJin Nakazawa, Yutaka Matsuno, Hideyuki Tokuda. 111-112 [doi]