 | 2010 |
| 12 |  | Paolo Capodieci,
Stefano Diblasi,
Ester Ciancamerla,
Michele Minichino,
Chiara Foglietta,
Davide Lefevre,
Gabriele Oliva,
Stefano Panzieri,
Roberto Setola,
Stefano De Porcellinis,
Francesco Delli Priscoli,
Marco Castrucci,
Vincenzo Suraci,
Leonid Lev,
Yosi Shneck,
Djamel Khadraoui,
Jocelyn Aubert,
Serguei Iassinovski,
Jianmin Jiang,
Paulo Simões,
Filipe Caldeira,
Agnieszka Spronska,
Carlo Harpes,
Matthieu Aubigny:
Improving Resilience of Interdependent Critical Infrastructures via an On-Line Alerting System.
COMPENG 2010: 88-90 |
| 11 |  | Ester Ciancamerla,
Chiara Foglietta,
Davide Lefevre,
Michele Minichino,
Leonid Lev,
Yosi Shneck:
Discrete Event Simulation of QoS of a SCADA System Interconnecting a Power Grid and a Telco Network.
HCC 2010: 350-362 |
| 10 |  | Andrea Bobbio,
G. Bonanni,
Ester Ciancamerla,
R. Clemente,
Alessandro Iacomini,
Michele Minichino,
Alessandro Scarlatti,
Roberta Terruggia,
Emilio Zendri:
Unavailability of critical SCADA communication links interconnecting a power grid and a Telco network.
Rel. Eng. & Sys. Safety 95(12): 1345-1357 (2010) |
| 2009 |
| 9 |  | Andrea Bobbio,
Ester Ciancamerla,
Saverio Di Blasi,
Alessandro Iacomini,
Federico Mari,
Igor Melatti,
Michele Minichino,
Alessandro Scarlatti,
Enrico Tronci,
Roberta Terruggia,
Emilio Zendri:
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks.
CRiSIS 2009: 90-97 |
| 2007 |
| 8 |  | Andrea Bobbio,
Roberta Terruggia,
A. Boellis,
Ester Ciancamerla,
Michele Minichino:
A Tool for Network Reliability Analysis.
SAFECOMP 2007: 417-422 |
| 2005 |
| 7 |  | Edoardo Campagnano,
Ester Ciancamerla,
Michele Minichino,
Enrico Tronci:
Automatic Analysis of a Safety Critical Tele Control System.
SAFECOMP 2005: 94-107 |
| 2004 |
| 6 |  | Ester Ciancamerla,
Michele Minichino:
Performability Measures of the Public Mobile Network of a Tele Control System.
SAFECOMP 2004: 142-154 |
| 2003 |
| 5 |  | Giuseppe Della Penna,
Benedetto Intrigila,
Igor Melatti,
Michele Minichino,
Ester Ciancamerla,
Andrea Parisse,
Enrico Tronci,
Marisa Venturini Zilli:
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.
HSCC 2003: 141-155 |
| 4 |  | Ester Ciancamerla,
Michele Minichino,
S. Serro,
Enrico Tronci:
Automatic Timeliness Verification of a Public Mobile Network.
SAFECOMP 2003: 35-48 |
| 2002 |
| 3 |  | Andrea Bobbio,
Ester Ciancamerla,
Giuliana Franceschinis,
Rossano Gaeta,
Michele Minichino,
Luigi Portinale:
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.
SAFECOMP 2002: 212-223 |
| 2 |  | Marco Gribaudo,
András Horváth,
Andrea Bobbio,
Enrico Tronci,
Ester Ciancamerla,
Michele Minichino:
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
SAFECOMP 2002: 273-283 |
| 1999 |
| 1 |  | Andrea Bobbio,
Luigi Portinale,
Michele Minichino,
Ester Ciancamerla:
Comparing Fault Trees and Bayesian Networks for Dependability Analysis.
SAFECOMP 1999: 310-322 |