Michele Minichino

	2010
13		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
12		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
11		Paolo Capodieci, Michele Minichino, Stefano Panzieri, Marco Castrucci, Alessandro Neri, Leonid Lev, Paulo Simões: MICIE: An Alerting Framework for Interdependent Critical Infrastructures. ServiceWave 2010: 207-208
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

Coauthor Index

1	Jocelyn Aubert	[13]
2	Matthieu Aubigny	[13]
3	Saverio Di Blasi	[9]
4	Andrea Bobbio	[1] [2] [3] [8] [9] [10]
5	A. Boellis	[8]
6	G. Bonanni	[10]
7	Filipe Caldeira	[13]
8	Edoardo Campagnano	[7]
9	Paolo Capodieci	[11] [13]
10	Marco Castrucci	[11] [13]
11	Ester Ciancamerla	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13]
12	R. Clemente	[10]
13	Stefano Diblasi	[13]
14	Chiara Foglietta	[12] [13]
15	Giuliana Franceschinis	[3]
16	Rossano Gaeta	[3]
17	Marco Gribaudo	[2]
18	Carlo Harpes	[13]
19	András Horváth	[2]
20	Alessandro Iacomini	[9] [10]
21	Serguei Iassinovski	[13]
22	Benedetto Intrigila	[5]
23	Jianmin Jiang	[13]
24	Djamel Khadraoui	[13]
25	Davide Lefevre	[12] [13]
26	Leonid Lev	[11] [12] [13]
27	Federico Mari	[9]
28	Igor Melatti	[5] [9]
29	Alessandro Neri	[11]
30	Gabriele Oliva	[13]
31	Stefano Panzieri	[11] [13]
32	Andrea Parisse	[5]
33	Giuseppe Della Penna	[5]
34	Stefano De Porcellinis	[13]
35	Luigi Portinale	[1] [3]
36	Francesco Delli Priscoli	[13]
37	Alessandro Scarlatti	[9] [10]
38	S. Serro	[4]
39	Roberto Setola	[13]
40	Yosi Shneck	[12] [13]
41	Paulo Simões	[11] [13]
42	Agnieszka Spronska	[13]
43	Vincenzo Suraci	[13]
44	Roberta Terruggia	[8] [9] [10]
45	Enrico Tronci	[2] [4] [5] [7] [9]
46	Emilio Zendri	[9] [10]
47	Marisa Venturini Zilli	[5]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page