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