Michele Minichino

According to our database, Michele Minichino authored at least 20 papers between 1999 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

2014

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

Proceedings of the International Carnahan Conference on Security Technology, 2014

2013

Modelling SCADA and Corporate Network of a Medium Voltage Power Grid under Cyber Attacks.

Ester Ciancamerla, Michele Minichino, S. Palmieri

Proceedings of the SECRYPT 2013, 2013

Modeling cyber attacks on a critical infrastructure scenario.

Ester Ciancamerla, Michele Minichino, S. Palmieri

Proceedings of the 4th International Conference on Information, 2013

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

MICIE: An Alerting Framework for Interdependent Critical Infrastructures.

Paolo Capodieci, Michele Minichino, Stefano Panzieri, Marco Castrucci, Alessandro Neri, Leonid Lev, Paulo Simões

Proceedings of the Towards a Service-Based Internet - Third European Conference, 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

Proceedings of the What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience, 2010

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, 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

Proceedings of the Complexity in Engineering, 2010

2009

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

Proceedings of the CRiSIS 2009, 2009

2007

A Tool for Network Reliability Analysis.

Andrea Bobbio, Roberta Terruggia, A. Boellis, Ester Ciancamerla, Michele Minichino

Proceedings of the Computer Safety, 2007

2005

Automatic Analysis of a Safety Critical Tele Control System.

Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci

Proceedings of the Computer Safety, 2005

2004

Performability Measures of the Public Mobile Network of a Tele Control System.

Ester Ciancamerla, Michele Minichino

Proceedings of the Computer Safety, 2004

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

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

Automatic Timeliness Verification of a Public Mobile Network.

Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci

Proceedings of the Computer Safety, 2003

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

Proceedings of the Hybrid Systems: Computation and Control, 2003

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

Proceedings of the Computer Safety, 2002

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

Proceedings of the Computer Safety, 2002

2001

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

1999

Comparing Fault Trees and Bayesian Networks for Dependability Analysis.

Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla

Proceedings of the Computer Safety, 1999