research
∙
12/21/2022
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems
We propose the Robustness Temporal Logic (RobTL), a novel temporal logic...
share
research
∙
04/28/2022
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems
The behaviour of systems characterised by a closed interaction of softwa...
research
∙
11/30/2021
A framework to measure the robustness of programs in the unpredictable environment
Due to the diffusion of IoT, modern software systems are often thought t...
research
∙
08/24/2018
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics
This volume contains the proceedings of the Combined 25th International ...
research
∙
06/27/2018
Towards a formal notion of impact metric for cyber-physical attacks (full version)
Industrial facilities and critical infrastructures are transforming into...
research
∙
08/31/2017
