Massimo Merro

Associate Professor
Dept. of Computer Science
University of Verona, Italy

Fields of interest

  • Semantics and foundations of concurrent, distributed, and mobile systems;
  • High-level programming languages for specifying and programming concurrent activities;
  • Program and system verification and model checking;
  • Language-based security;
  • Semantics and security foundations of the Internet of Things.

Recent publications

[CHM15] Andrea, Cerone, Matthew Hennessy and Massimo Merro. Modelling MAC-Layer Communications in Wireless Systems. Logical Methods in Computer Science, vol. 1, issue 1, paper 18, pages 59, 2015.

[DMM15] Alice Dal Corso, Damiano Macedonio and Massimo Merro. Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks. In Proc. 7th NASA Formal Methods Symposium (NFM’15). Volume 9058 of Lecture Notes in Computer Science, pp. 112-126, Springer 2015.

[MaMe14] Damiano Macedonio and Massimo Merro. A semantic analysis of key management protocols for wireless sensor networks. Science of Computer Programming, 81: 53-78, 2014.

[MBS11] Massimo Merro, Francesco Ballardin and Eleonora Sibilio. A Timed Calculus for Wireless Systems. Theoretical Computer Science 412(47):6585-6611, 2011.

[LaMe11] Ruggero Lanotte and Massimo Merro. Semantic Analysis of Gossip Protocols for Wire- less Sensor Networks. In Proc. 22nd International Conference on Concurrency Theory (CONCUR’11). Volume 6901 of Lecture Notes in Computer Science, pp. 156-170, Springer 2011.

[Mer10] Massimo Merro. An Observational Theory of the CPS-calculus. Acta Informatica 47(2):111-132, 2010.

[BMV10] Davide Benetti, Massimo Merro and Luca Vigan`o. Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. In Proc. 8th IEEE Conference on Software Engineering and Formal Methods (SEFM’10), IEEE Computer Society Press, pp. 191-202, 2010.

[Mer09] Massimo Merro. An Observational Theory for Mobile Ad Hoc Networks (full paper). Information & Computation 207(2):194-208, 2009.

[FMN07] Rachele Fuzzati, Massimo Merro and Uwe Nestmann. Distributed Consensus, Revisited. Acta Informatica 44(26):377-425, 2007.

[MeZa05] Massimo Merro and Francesco Zappa Nardelli. Behavioural Theory for Mobile Ambients. Journal of the ACM 52(6):961-1023, Novembre 2005.