Davide Pezzuti

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Heterogeneous Networks

Data Management

Top Venues

Publications

Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto, Davide Pezzuti
Design of decentralized critical observers for networks of finite state machines: A formal method approach. Autom. 86 (2017)
Davide Pezzuti, Sina Lessanibahri, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
Critical observability of networks of Finite State Machines. ECC (2015)
Davide Pezzuti, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems. CDC (2013)