Massimo Merro

Registered user since Wed 9 Mar 2022

Name:Massimo Merro
Country:Italy
Affiliation:University of Verona
Research interests:Concurrency theory, Formal verification and Cyber-physical systems security

Contributions

VORTEX 2022 PC Member in VORTEX 2022 Workshop Organizers within the VORTEX 2022-track
FormaliSE 2020 Author of Security Analysis of a Quadruple-tank Water System via Statistical Model Checking within the FormaliSE 2020-track