23 citations · 100 across the 15 of their papers we have counts for
16 papers
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
Jian Xiang, Ruggero Lanotte, Simone Tini +2
This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a…
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems
Valentina Castiglioni, Michele Loreti, Simone Tini
We propose the Robustness Temporal Logic (RobTL), a novel temporal logic for the specification and analysis of distances between the behaviours of Cyber-Physical Systems (CPSs) ove…
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems
Valentina Castiglioni, Michele Loreti, Simone Tini
The behaviour of systems characterised by a closed interaction of software components with the environment is inevitably subject to perturbations and uncertainties. In this paper w…
A framework to measure the robustness of programs in the unpredictable environment
Valentina Castiglioni, Michele Loreti, Simone Tini
Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient b…
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics
Jorge A. Pérez, Simone Tini
This volume contains the proceedings of the Combined 25th International Workshop on Expressiveness in Concurrency and the 15th Workshop on Structural Operational Semantics (EXPRESS…
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…