Search filters

List of works by Massimo Merro

A Calculus for the Analysis of Wireless Network Security Protocols

scientific article published in 2011

A Calculus of Trustworthy Ad Hoc Networks

scientific article published in 2010

A Semantic Analysis of Wireless Network Security Protocols

scientific article published in 2012

A Timed Calculus for Wireless Systems

scientific article published in 2010

A calculus of trustworthy ad hoc networks

scientific article published on 16 November 2011

A semantic analysis of key management protocols for wireless sensor networks

scientific article published in February 2014

A timed calculus for wireless systems

scientific article published in November 2011

Aliasing Models for Mobile Objects

scientific article published in May 2002

An Observational Theory for Mobile Ad Hoc Networks

scientific article published in April 2007

An Observational Theory for Mobile Ad Hoc Networks (full version)

scientific article published in February 2009

Behavioral theory for mobile ambients

scientific article published in November 2005

Communication and mobility control in boxed ambients

scientific article published in October 2005

Distributed Consensus, revisited

scientific article published on 4 August 2007

HoneyICS: A High-interaction Physics-aware Honeynet for Industrial Control Systems

scientific article published on 09 August 2023

Industrial Control Systems Security via Runtime Enforcement

scientific article published on 04 July 2022

Mobile Objects as Mobile Processes

scientific article published in December 2002

Mobile Objects as Mobile Processes

scientific article published on 15 September 2002

Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA

scientific article published in September 2010

Modelling MAC-Layer Communications in Wireless Systems

scientific article published on 31 March 2015

Modelling MAC-Layer Communications in Wireless Systems

scientific article published in 2013

On Equators in Asynchronous Name-passing Calculi without Matching – Extended Abstract –

scientific article published in 1999

On the Expressiveness of Chi, Update, and Fusion calculi

scientific article published in 1998

On the Observational Theory of the CPS-calculus

scientific article published in May 2006

On the observational theory of the CPS-calculus

scientific article published on 12 December 2009

Preface

scientific article published in July 2009

Priorities in Statecharts

scientific article published in 1997

Semantic Analysis of Gossip Protocols for Wireless Sensor Networks

scientific article published in 2011

Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks

scientific article published in 2015

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks

scientific article published in 2013

Towards A High-interaction Physics-aware Honeynet for Industrial Control Systems

scientific article published on 07 June 2023

Towards Obfuscation of Programmable Logic Controllers

scientific article published on 09 August 2023

Towards a behavioural theory of access and mobility control in distributed systems

scientific article published in September 2004