Follow
Massimo Merro
Massimo Merro
Professor of Computer Science, Verona University - Italy
Verified email at univr.it - Homepage
Title
Cited by
Cited by
Year
An observational theory for mobile ad hoc networks (full version)
M Merro
Information and Computation 207 (2), 194-208, 2009
1522009
Bisimulation congruences in safe ambients
M Merro, M Hennessy
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1482002
On asynchrony in name-passing calculi
M Merro, D Sangiorgi
International Colloquium on Automata, Languages, and Programming, 856-867, 1998
1341998
Behavioral theory for mobile ambients
M Merro, FZ Nardelli
Journal of the ACM (JACM) 52 (6), 961-1023, 2005
1032005
On asynchrony in name-passing calculi
M Merro, D Sangiorgi
Mathematical Structures in Computer Science 14 (5), 715-767, 2004
862004
Communication interference in mobile boxed ambients
M Bugliesi, S Crafa, M Merro, V Sassone
FST TCS 2002: Foundations of Software Technology and Theoretical Computer …, 2002
752002
A formal approach to cyber-physical attacks
R Lanotte, M Merro, R Muradore, L Viganò
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 436-450, 2017
612017
Modeling consensus in a process calculus
U Nestmann, R Fuzzati, M Merro
International Conference on Concurrency Theory, 399-414, 2003
602003
Communication and mobility control in boxed ambients
M Bugliesi, S Crafa, M Merro, V Sassone
Information and Computation 202 (1), 39-86, 2005
532005
A formal approach to physics-based attacks in cyber-physical systems
R Lanotte, M Merro, A Munteanu, L Viganò
ACM Transactions on Privacy and Security (TOPS) 23 (1), 1-41, 2020
502020
A semantic theory of the Internet of Things
R Lanotte, M Merro
Information and Computation 259, 72-101, 2018
492018
Typing and Subtyping Mobility in Boxed Ambients*
M Merro, V Sassone
International Conference on Concurrency Theory, 304-320, 2002
492002
Towards a behavioural theory of access and mobility control in distributed systems
M Hennessy, M Merro, J Rathke
Theoretical Computer Science 322 (3), 615-669, 2004
482004
A timed calculus for wireless systems
M Merro, F Ballardin, E Sibilio
Theoretical Computer Science 412 (47), 6585-6611, 2011
472011
Bisimulation proof methods for mobile ambients
M Merro, FZ Nardelli
International Colloquium on Automata, Languages, and Programming, 584-598, 2003
462003
Towards a behavioural theory of access and mobility control in distributed systems
M Hennessy, M Merro, J Rathke
Foundations of Software Science and Computation Structures: 6th …, 2003
432003
Model checking ad hoc network routing protocols: ARAN vs. endairA
D Benetti, M Merro, L Vigano
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
422010
A semantic analysis of key management protocols for wireless sensor networks
D Macedonio, M Merro
Science of Computer Programming 81, 53-78, 2014
412014
A timed calculus for wireless systems
M Merro, E Sibilio
International Conference on Fundamentals of Software Engineering, 228-243, 2009
402009
A bisimulation-based semantic theory of safe ambients
M Merro, M Hennessy
ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (2), 290-330, 2006
342006
The system can't perform the operation now. Try again later.
Articles 1–20