Model-Based Evaluation of the Availability of a CBTC System. - Alessio Ferrari 001; Massimiliano Leone Itria; Silvano Chiaradonna; Giorgio Oronzo Spagnolo (SERENE, 2012)

Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. - Felicita Di Giandomenico; Alessandro Fantechi; Stefania Gnesi; Massimiliano Leone Itria (SERENE, 2013)

A Complex Event Processing Approach for Crisis-Management Systems. - Massimiliano Leone Itria; Alessandro Daidone; Andrea Ceccarelli (CoRR, 2014)

Automated synthesis of dependable mediators for heterogeneous interoperable systems. - Felicita Di Giandomenico; Massimiliano Leone Itria; Paolo Masci 001; Nicola Nostro (Reliab. Eng. Syst. Saf., 2014)

A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. - Andrea Ceccarelli; Tommaso Zoppi; Massimiliano Leone Itria; Andrea Bondavalli (SAFECOMP, 2015)

Identification of critical situations via Event Processing and Event Trust Analysis. - Massimiliano Leone Itria; Melinda Kocsis-Magyar; Andrea Ceccarelli; Paolo Lollini; Gabriele Giunta; Andrea Bondavalli (Knowl. Inf. Syst., 2017)

Media trustworthiness verification and event assessment through an integrated framework: a case-study. - Irene Amerini; Rudy Becarelli; Francesco Brancati; Roberto Caldelli; Gabriele Giunta; Massimiliano Leone Itria (Multim. Tools Appl., 2017)

Twitter Stream Event Detection for Critical Situation Management. - Irene Bicchierai; Francesco Brancati; Massimiliano Leone Itria; Gabriele Giunta; Massimo Magaldi (Intelligent Environments (Workshops), 2018)

Towards anomaly detection in smart grids by combining Complex Events Processing and SNMP objects. - Massimiliano Leone Itria; Enrico Schiavone; Nicola Nostro (CSR, 2021)

A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices. - Irene Bicchierai; Enrico Schiavone; Massimiliano Leone Itria; Andrea Bondavalli; Lorenzo Falai (SAFECOMP Workshops, 2023)