Michele Minichino

20 papers B 7C 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2016 J jnl
Towards energy efficiency of interdependent urban networks.
Int. J. Simul. Process. Model.
Giuseppe Alonge, Ester Ciancamerla, Alberto Mastrilli, Michele Minichino, Angelo Nicotra, Marco Ranno, Maurizio Reali, Pasquale Regina
2014 — conf
An electrical grid and its SCADA under cyber attacks: Modelling versus a Hybrid Test Bed.
ICCST
Ester Ciancamerla, B. Fresilli, Michele Minichino, Tatiana Patriarca, Serguei Iassinovski
2013 — conf
Modeling cyber attacks on a critical infrastructure scenario.
IISA
Ester Ciancamerla, Michele Minichino, S. Palmieri
2013 C conf
Modelling SCADA and Corporate Network of a Medium Voltage Power Grid under Cyber Attacks.
SECRYPT
Ester Ciancamerla, Michele Minichino, S. Palmieri
2010 — conf
Discrete Event Simulation of QoS of a SCADA System Interconnecting a Power Grid and a Telco Network.
HCC
Ester Ciancamerla, Chiara Foglietta, Davide Lefevre, Michele Minichino, Leonid Lev, Yosi Shneck
2010 — conf
Improving Resilience of Interdependent Critical Infrastructures via an On-Line Alerting System.
COMPENG
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
2010 — conf
MICIE: An Alerting Framework for Interdependent Critical Infrastructures.
ServiceWave
Paolo Capodieci, Michele Minichino, Stefano Panzieri, Marco Castrucci, Alessandro Neri, Leonid Lev, Paulo Simões
2010 J jnl
Unavailability of critical SCADA communication links interconnecting a power grid and a Telco network.
Reliab. Eng. Syst. Saf.
Andrea Bobbio, G. Bonanni, Ester Ciancamerla, R. Clemente, Alessandro Iacomini, Michele Minichino, Alessandro Scarlatti, Roberta Terruggia, Emilio Zendri
2009 C conf
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks.
CRiSIS
Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini, Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri
2007 B conf
A Tool for Network Reliability Analysis.
SAFECOMP
Andrea Bobbio, Roberta Terruggia, A. Boellis, Ester Ciancamerla, Michele Minichino
2005 B conf
Automatic Analysis of a Safety Critical Tele Control System.
SAFECOMP
Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci
2004 B conf
Performability Measures of the Public Mobile Network of a Tele Control System.
SAFECOMP
Ester Ciancamerla, Michele Minichino
2003 B conf
Automatic Timeliness Verification of a Public Mobile Network.
SAFECOMP
Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci
2003 — conf
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.
HSCC
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
2003 J jnl
Fluid Petri Nets and hybrid model-checking: a comparative case study.
Reliab. Eng. Syst. Saf.
Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
2003 J jnl
Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study.
Reliab. Eng. Syst. Saf.
Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
2002 B conf
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.
SAFECOMP
Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
2002 B conf
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
SAFECOMP
Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
2001 J jnl
Improving the analysis of dependable systems by mapping fault trees into Bayesian networks.
Reliab. Eng. Syst. Saf.
Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla
1999 B conf
Comparing Fault Trees and Bayesian Networks for Dependability Analysis.
SAFECOMP
Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla