79 citations · 389 across the 22 of their papers we have counts for
5 papers · 1 filter
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…
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals
Ennio Visconti, Ezio Bartocci, Michele Loreti +1
From biological systems to cyber-physical systems, monitoring the behavior of such dynamical systems often requires to reason about complex spatio-temporal properties of physical a…
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
L. Nenzi, E. Bartocci, L. Bortolussi +1
Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and physical components interacting through sensors and/or actuators. Computational elements are networked…
A Spatial Logic for Simplicial Models
Michele Loreti, Michela Quadrini
Collective Adaptive Systems often consist of many heterogeneous components typically organised in groups. These entities interact with each other by adapting their behaviour to pur…
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Ezio Bartocci, Luca Bortolussi, Michele Loreti +2
We present MoonLight, a tool for monitoring temporal and spatio-temporal properties of mobile and spatially distributed cyber-physical systems (CPS). In the proposed framework, spa…