MERRO, Massimo

MERRO, Massimo  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 64 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autore(i) File
Aliasing models for mobile objects 1-gen-2002 Nestmann, Uwe; Huttel, Hans; Kleist, Josva; Merro, Massimo
Aliasing models for object migration 1-gen-1999 Huttel, Hans; Kleist, Josva; Merro, Massimo; Nestmann, Uwe
AODVv2: performance vs. loop freedom 1-gen-2018 Kamali, M.; Merro, M.; Dal Corso, A.
Behavioural theory for Mobile Ambients 1-gen-2005 Merro, Massimo; Zappa Nardelli, Francesco
Behavioural theory for mobile ambients 1-gen-2004 Merro, Massimo; Zappa Nardelli, Francesco
Bisimulation congruences in safe ambients 1-gen-2002 Merro, Massimo; Hennessy, Matthew
Bisimulation proof methods for mobile ambients 1-gen-2003 Merro, Massimo; Zappa Nardelli, Francesco
A Bisimulation-based semantic theory of safe ambients 1-gen-2006 Merro, Massimo; Hennessy, Matthew
A Calculus for the analysis of wireless network security protocols 1-gen-2010 F., Ballardin; Merro, Massimo
A Calculus of Cyber-Physical Systems 1-gen-2017 Lanotte, Ruggero; Merro, Massimo
A calculus of trustworthy ad hoc networks 1-gen-2013 Merro, Massimo; Sibilio, Eleonora
A calculus of trustworthy ad hoc networks 1-gen-2010 Merro, Massimo; Sibilio, Eleonora
Communication and mobility control in Boxed Ambients 1-gen-2005 Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
Communication interference in mobile boxed ambients 1-gen-2002 Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
Compositional weak metrics for group key update 1-gen-2017 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
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.
A Formal Approach to Cyber-Physical Attacks 1-gen-2017 Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca
A Formal Approach to Physics-based Attacks in Cyber-physical Systems 1-gen-2020 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca
Formal Impact Metrics for Cyber-physical Attacks 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Tini, Simone