Davide Pezzuti

Safety Criticality Analysis of Air Traffic Management Systems : A Compositional Bisimulation Approach

Maria Domenica Di Benedetto, Giordano Pola, Elena De Santis, 2013 .

Design of decentralized critical observers for networks of finite state machines: A formal method approach

Maria Domenica Di Benedetto, Giordano Pola, Elena De Santis, 2017, Autom..

Critical observability of networks of Finite State Machines

Maria Domenica Di Benedetto, Giordano Pola, Elena De Santis, 2015, 2015 European Control Conference (ECC).

A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems

Maria Domenica Di Benedetto, Giordano Pola, Elena De Santis, 2013, 52nd IEEE Conference on Decision and Control.