Sfoglia per Autore
On the observational theory of the CPS-calculus (extended abstract)
2006-01-01 Merro, Massimo; Biasi, Corrado
A Bisimulation-based semantic theory of safe ambients
2006-01-01 Merro, Massimo; Hennessy, Matthew
Distributed consensus, revisited
2007-01-01 Fuzzati, Rachele; Merro, Massimo; Nestmann, Uwe
An observational theory for mobile ad-hoc networks
2007-01-01 Merro, Massimo
An observational theory for mobile ad hoc networks (full version)
2009-01-01 Merro, Massimo
A calculus of trustworthy ad hoc networks
2010-01-01 Merro, Massimo; Sibilio, Eleonora
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA
2010-01-01 Benetti, Davide; Merro, Massimo; Vigano', Luca
A Calculus for the analysis of wireless network security protocols
2010-01-01 F., Ballardin; Merro, Massimo
A timed calculus for wireless systems
2010-01-01 Merro, Massimo; Sibilio, Eleonora
On the observational theory of the CPS-calculus
2010-01-01 Merro, Massimo
A Timed calculus of wireless systems
2011-01-01 Merro, Massimo; F., Ballardin; Sibilio, Eleonora
Semantic analysis of gossip protocols for wireless sensor networks
2011-01-01 R., Lanotte; Merro, Massimo
A Semantic Analysis of Wireless Network Security Protocols
2012-01-01 Macedonio, Damiano; Merro, Massimo
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks
2013-01-01 Battisti, L.; Macedonio, D.; Merro, M.
Modelling MAC-Layer Communications in Wireless Systems
2013-01-01 A., Cerone; M., Hennessy; Merro, Massimo
A calculus of trustworthy ad hoc networks
2013-01-01 Merro, Massimo; Sibilio, Eleonora
A semantic analysis of key management protocols for wireless sensor networks
2014-01-01 D., Macedonio; Merro, Massimo
Modelling MAC-Layer Communications in Wireless Systems
2015-01-01 Cerone, Andrea; Hennessy, Matthew; Merro, Massimo
Statistical model checking of ad hoc routing protocols in lossy grid networks
2015-01-01 Dal Corso, Alice; Macedonio, Damiano; Merro, Massimo
A Semantic Theory of the Internet of Things (extended abstract)
2016-01-01 Ruggero, Lanotte; Merro, Massimo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile