MERRO, Massimo
MERRO, Massimo
DIPARTIMENTO DI INFORMATICA
A Bisimulation-based semantic theory of safe ambients
2006-01-01 Merro, Massimo; Hennessy, Matthew
A calculus of trustworthy ad hoc networks
2013-01-01 Merro, Massimo; Sibilio, Eleonora
A Formal Approach to Physics-based Attacks in Cyber-physical Systems
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca
A probabilistic calculus of cyber-physical systems
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A process calculus approach to detection and mitigation of PLC malware
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A semantic analysis of key management protocols for wireless sensor networks
2014-01-01 D., Macedonio; Merro, Massimo
A Semantic Theory of the Internet of Things
2018-01-01 Lanotte, R.; Merro, M.
A Timed calculus of wireless systems
2011-01-01 Merro, Massimo; F., Ballardin; Sibilio, Eleonora
Aliasing models for mobile objects
2002-01-01 Nestmann, Uwe; Huttel, Hans; Kleist, Josva; Merro, Massimo
An observational theory for mobile ad hoc networks (full version)
2009-01-01 Merro, Massimo
Behavioural theory for Mobile Ambients
2005-01-01 Merro, Massimo; Zappa Nardelli, Francesco
Communication and mobility control in Boxed Ambients
2005-01-01 Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
Distributed consensus, revisited
2007-01-01 Fuzzati, Rachele; Merro, Massimo; Nestmann, Uwe
Equational Reasonings in Wireless Network Gossip Protocols
2018-01-01 Lanotte, R.; Merro, M.; Tini, S.
Friendly Fire: Cross-App Interactions in IoT Platforms
2021-01-01 Balliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail
Industrial Control Systems Security via Runtime Enforcement
2023-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
Mobile objects as mobile processes
2002-01-01 Merro, Massimo; Kleist, Josva; Nestmann, Uwe
Modelling MAC-Layer Communications in Wireless Systems
2015-01-01 Cerone, Andrea; Hennessy, Matthew; Merro, Massimo
On asynchrony in name-passing calculi
2004-01-01 Merro, Massimo; Sangiorgi, Davide
On the observational theory of the CPS-calculus
2010-01-01 Merro, Massimo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Bisimulation-based semantic theory of safe ambients | 1-gen-2006 | Merro, Massimo; Hennessy, Matthew | |
| A calculus of trustworthy ad hoc networks | 1-gen-2013 | Merro, Massimo; Sibilio, Eleonora | |
| A Formal Approach to Physics-based Attacks in Cyber-physical Systems | 1-gen-2020 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca | |
| A probabilistic calculus of cyber-physical systems | 1-gen-2021 | Lanotte, Ruggero; Merro, Massimo; Tini, Simone | |
| A process calculus approach to detection and mitigation of PLC malware | 1-gen-2021 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei | |
| A semantic analysis of key management protocols for wireless sensor networks | 1-gen-2014 | D., Macedonio; Merro, Massimo | |
| A Semantic Theory of the Internet of Things | 1-gen-2018 | Lanotte, R.; Merro, M. | |
| A Timed calculus of wireless systems | 1-gen-2011 | Merro, Massimo; F., Ballardin; Sibilio, Eleonora | |
| Aliasing models for mobile objects | 1-gen-2002 | Nestmann, Uwe; Huttel, Hans; Kleist, Josva; Merro, Massimo | |
| An observational theory for mobile ad hoc networks (full version) | 1-gen-2009 | Merro, Massimo | |
| Behavioural theory for Mobile Ambients | 1-gen-2005 | Merro, Massimo; Zappa Nardelli, Francesco | |
| Communication and mobility control in Boxed Ambients | 1-gen-2005 | Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro | |
| Distributed consensus, revisited | 1-gen-2007 | Fuzzati, Rachele; Merro, Massimo; Nestmann, Uwe | |
| Equational Reasonings in Wireless Network Gossip Protocols | 1-gen-2018 | Lanotte, R.; Merro, M.; Tini, S. | |
| Friendly Fire: Cross-App Interactions in IoT Platforms | 1-gen-2021 | Balliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail | |
| Industrial Control Systems Security via Runtime Enforcement | 1-gen-2023 | Lanotte, R.; Merro, M.; Munteanu, A. | |
| Mobile objects as mobile processes | 1-gen-2002 | Merro, Massimo; Kleist, Josva; Nestmann, Uwe | |
| Modelling MAC-Layer Communications in Wireless Systems | 1-gen-2015 | Cerone, Andrea; Hennessy, Matthew; Merro, Massimo | |
| On asynchrony in name-passing calculi | 1-gen-2004 | Merro, Massimo; Sangiorgi, Davide | |
| On the observational theory of the CPS-calculus | 1-gen-2010 | Merro, Massimo |