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
∙
09/16/2021
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals
From biological systems to cyber-physical systems, monitoring the behavi...
research
∙
05/18/2021
A Spatial Logic for a Simplicial Complex Model
Collective adaptive systems (CAS) consist of many heterogeneous componen...
research
∙
04/29/2021
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
We present MoonLight, a tool for monitoring temporal and spatio-temporal...
research
∙
04/15/2019
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Cyber-Physical Systems (CPS) consist of collaborative, networked and tig...
research
∙
11/23/2017
A Behavioural Theory for Interactions in Collective-Adaptive Systems
We propose a process calculus, named AbC, to study the behavioural theor...
research
∙
10/26/2017