4 citations · 15 across the 9 of their papers we have counts for
8 papers · 1 filter
A process calculus approach to correctness enforcement of PLCs (full version)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
We define a simple process calculus, based on Hennessy and Regan's Timed Process Language, for specifying networks of communicating programmable logic controllers (PLCs) enriched w…
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu +1
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devi…
Towards a formal notion of impact metric for cyber-physical attacks (full version)
Ruggero Lanotte, Massimo Merro, Simone Tini
Industrial facilities and critical infrastructures are transforming into "smart" environments that dynamically adapt to external events. The result is an ecosystem of heterogeneous…
Equational Reasonings in Wireless Network Gossip Protocols
Ruggero Lanotte, Massimo Merro, Simone Tini
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout large-scale networks. In this paper, we propose a compositional analys…
A Probabilistic Calculus of Cyber-Physical Systems
Ruggero Lanotte, Massimo Merro, Simone Tini
We propose a hybrid probabilistic process calculus for modelling and reasoning on cyber-physical systems (CPSs). The dynamics of the calculus is expressed in terms of a probabilist…
A Calculus of Cyber-Physical Systems
Ruggero Lanotte, Massimo Merro
We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPS{s}). The dynamics of the calculus is expressed in terms of a labelled transition sys…