research
∙
08/28/2023
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Self-adaptation is a crucial feature of autonomous systems that must cop...
share
research
∙
05/12/2023
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
Cloud computing has radically changed the way organisations operate thei...
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
∙
12/15/2020
Computation Against a Neighbour
Recent works in contexts like the Internet of Things (IoT) and large-sca...
research
∙
03/16/2020
Lazy Product Discovery in Huge Configuration Spaces
Highly-configurable software systems can have thousands of interdependen...
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
Aggregate Graph Statistics
Collecting statistic from graph-based data is an increasingly studied to...
research
∙
11/22/2017