Comparing Fault Trees and Bayesian Networks for Dependability Analysis. - Andrea Bobbio; Luigi Portinale; Michele Minichino; Ester Ciancamerla (SAFECOMP, 1999)

Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. - Andrea Bobbio; Luigi Portinale; Michele Minichino; Ester Ciancamerla (Reliab. Eng. Syst. Saf., 2001)

Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. - Andrea Bobbio; Ester Ciancamerla; Giuliana Franceschinis; Rossano Gaeta; Michele Minichino; Luigi Portinale (SAFECOMP, 2002)

Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. - Marco Gribaudo; András Horváth; Andrea Bobbio; Enrico Tronci; Ester Ciancamerla; Michele Minichino (SAFECOMP, 2002)

Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Michele Minichino; Ester Ciancamerla; Andrea Parisse; Enrico Tronci; Marisa Venturini Zilli (HSCC, 2003)

Automatic Timeliness Verification of a Public Mobile Network. - Ester Ciancamerla; Michele Minichino; S. Serro; Enrico Tronci (SAFECOMP, 2003)

Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study. - Andrea Bobbio; Ester Ciancamerla; Giuliana Franceschinis; Rossano Gaeta; Michele Minichino; Luigi Portinale (Reliab. Eng. Syst. Saf., 2003)

Fluid Petri Nets and hybrid model-checking: a comparative case study. - Marco Gribaudo; András Horváth; Andrea Bobbio; Enrico Tronci; Ester Ciancamerla; Michele Minichino (Reliab. Eng. Syst. Saf., 2003)

Performability Measures of the Public Mobile Network of a Tele Control System. - Ester Ciancamerla; Michele Minichino (SAFECOMP, 2004)

Automatic Analysis of a Safety Critical Tele Control System. - Edoardo Campagnano; Ester Ciancamerla; Michele Minichino; Enrico Tronci (SAFECOMP, 2005)

A Tool for Network Reliability Analysis. - Andrea Bobbio; Roberta Terruggia; A. Boellis; Ester Ciancamerla; Michele Minichino (SAFECOMP, 2007)

Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. - Andrea Bobbio; Ester Ciancamerla; Saverio Di Blasi; Alessandro Iacomini; Federico Mari; Igor Melatti; Michele Minichino; Alessandro Scarlatti; Enrico Tronci; Roberta Terruggia; Emilio Zendri (CRiSIS, 2009)

Improving Resilience of Interdependent Critical Infrastructures via an On-Line Alerting System. - 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; et al. (COMPENG, 2010)

Discrete Event Simulation of QoS of a SCADA System Interconnecting a Power Grid and a Telco Network. - Ester Ciancamerla; Chiara Foglietta; Davide Lefevre; Michele Minichino; Leonid Lev; Yosi Shneck (HCC, 2010)

Unavailability of critical SCADA communication links interconnecting a power grid and a Telco network. - Andrea Bobbio; G. Bonanni; Ester Ciancamerla; R. Clemente; Alessandro Iacomini; Michele Minichino; Alessandro Scarlatti; Roberta Terruggia; Emilio Zendri (Reliab. Eng. Syst. Saf., 2010)

Modeling cyber attacks on a critical infrastructure scenario. - Ester Ciancamerla; Michele Minichino; S. Palmieri (IISA, 2013)

Modelling SCADA and Corporate Network of a Medium Voltage Power Grid under Cyber Attacks. - Ester Ciancamerla; Michele Minichino; S. Palmieri (SECRYPT, 2013)

An electrical grid and its SCADA under cyber attacks: Modelling versus a Hybrid Test Bed. - Ester Ciancamerla; B. Fresilli; Michele Minichino; Tatiana Patriarca; Serguei Iassinovski (ICCST, 2014)

Towards energy efficiency of interdependent urban networks. - Giuseppe Alonge; Ester Ciancamerla; Alberto Mastrilli; Michele Minichino; Angelo Nicotra; Marco Ranno; Maurizio Reali; Pasquale Regina (Int. J. Simul. Process. Model., 2016)

Simulation-Based Analysis of a Real Water Distribution Network to Support Emergency Management. - Luisa Lavalle; Tatiana Patriarca; Bernard Daulne; Olivier Hautier; Alberto Tofani; Ester Ciancamerla (IEEE Trans. Engineering Management, 2020)