Massimo Merro
Massimo Merro
Professor of Computer Science, Verona University - Italy
Verified email at univr.it - Homepage
Title
Cited by
Cited by
Year
Bisimulation congruences in safe ambients
M Merro, M Hennessy
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1462002
On asynchrony in name-passing calculi
M Merro, D Sangiorgi
International Colloquium on Automata, Languages, and Programming, 856-867, 1998
1311998
Behavioral theory for mobile ambients
M Merro, FZ Nardelli
Journal of the ACM (JACM) 52 (6), 961-1023, 2005
972005
An observational theory for mobile ad hoc networks (full version)
M Merro
Information and Computation 207 (2), 194-208, 2009
942009
Communication interference in mobile boxed ambients
M Bugliesi, S Crafa, M Merro, V Sassone
International Conference on Foundations of Software Technology and …, 2002
752002
On asynchrony in name-passing calculi
M Merro, D Sangiorgi
Mathematical Structures in Computer Science 14 (5), 715, 2004
732004
Modeling consensus in a process calculus
U Nestmann, R Fuzzati, M Merro
International Conference on Concurrency Theory, 399-414, 2003
592003
Communication and mobility control in boxed ambients
M Bugliesi, S Crafa, M Merro, V Sassone
Information and Computation 202 (1), 39-86, 2005
542005
Bisimulation proof methods for mobile ambients
M Merro, FZ Nardelli
International Colloquium on Automata, Languages, and Programming, 584-598, 2003
522003
Typing and Subtyping Mobility in Boxed Ambients*
M Merro, V Sassone
International Conference on Concurrency Theory, 304-320, 2002
502002
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
482017
A semantic theory of the Internet of Things
R Lanotte, M Merro
Information and Computation 259, 72-101, 2018
472018
Towards a behavioural theory of access and mobility control in distributed systems
M Hennessy, M Merro, J Rathke
International Conference on Foundations of Software Science and Computation …, 2003
452003
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
442004
A timed calculus for wireless systems
M Merro, F Ballardin, E Sibilio
Theoretical Computer Science 412 (47), 6585-6611, 2011
422011
An observational theory for mobile ad hoc networks
M Merro
Electronic Notes in Theoretical Computer Science 173, 275-293, 2007
422007
A semantic analysis of key management protocols for wireless sensor networks
D Macedonio, M Merro
Science of Computer Programming 81, 53-78, 2014
402014
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
392010
A timed calculus for wireless systems
M Merro, E Sibilio
International Conference on Fundamentals of Software Engineering, 228-243, 2009
382009
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
352006
The system can't perform the operation now. Try again later.
Articles 1–20