research
∙
09/01/2022
Predictive Semantics for Past-CTL Runtime Monitors
The distributed monitoring of swarms of devices cooperating to common gl...
share
research
∙
04/01/2022
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things
The Industrial Internet of Things (IIoT) promises to bring many benefits...
research
∙
07/13/2021
Monotonic Filtering for Distributed Collection
Distributed data collection is a fundamental task in open systems. In su...
research
∙
12/15/2020
Computation Against a Neighbour
Recent works in contexts like the Internet of Things (IoT) and large-sca...
research
∙
10/07/2019
Field-based Coordination with the Share Operator
Field-based coordination has been proposed as a model for coordinating c...
research
∙
08/27/2019
On Distributed Runtime Verification by Aggregate Computing
Runtime verification is a computing analysis paradigm based on observing...
research
∙
02/06/2018
Resilient Blocks for Summarising Distributed Data
Summarising distributed data is a central routine for parallel programmi...
research
∙
02/06/2018
Aggregate Graph Statistics
Collecting statistic from graph-based data is an increasingly studied to...
research
∙
11/22/2017