Segui
Massimo Merro
Massimo Merro
Professor of Computer Science, Verona University - Italy
Email verificata su univr.it - Home page
Titolo
Citata da
Citata da
Anno
An observational theory for mobile ad hoc networks (full version)
M Merro
Information and Computation 207 (2), 194-208, 2009
1492009
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
1341998
Behavioral theory for mobile ambients
M Merro, FZ Nardelli
Journal of the ACM (JACM) 52 (6), 961-1023, 2005
1062005
On asynchrony in name-passing calculi
M Merro, D Sangiorgi
Mathematical Structures in Computer Science 14 (5), 715-767, 2004
882004
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
762002
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
632017
Modeling consensus in a process calculus
U Nestmann, R Fuzzati, M Merro
International Conference on Concurrency Theory, 399-414, 2003
602003
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
562020
Communication and mobility control in boxed ambients
M Bugliesi, S Crafa, M Merro, V Sassone
Information and Computation 202 (1), 39-86, 2005
562005
A semantic theory of the Internet of Things
R Lanotte, M Merro
Information and Computation 259, 72-101, 2018
512018
Typing and Subtyping Mobility in Boxed Ambients*
M Merro, V Sassone
International Conference on Concurrency Theory, 304-320, 2002
502002
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
472004
A timed calculus for wireless systems
M Merro, F Ballardin, E Sibilio
Theoretical Computer Science 412 (47), 6585-6611, 2011
462011
Bisimulation proof methods for mobile ambients
M Merro, FZ Nardelli
International Colloquium on Automata, Languages, and Programming, 584-598, 2003
452003
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
452003
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
432010
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
392009
A calculus of cyber-physical systems
R Lanotte, M Merro
Language and Automata Theory and Applications: 11th International Conference …, 2017
352017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20