[HTML][HTML] From distributed coordination to field calculus and aggregate computing

M Viroli, J Beal, F Damiani, G Audrito, R Casadei… - Journal of Logical and …, 2019 - Elsevier
Aggregate computing is an emerging approach to the engineering of complex coordination
for distributed systems, based on viewing system interactions in terms of information …

Engineering resilient collective adaptive systems by self-stabilisation

M Viroli, G Audrito, J Beal, F Damiani… - ACM Transactions on …, 2018 - dl.acm.org
Collective adaptive systems are an emerging class of networked computational systems
particularly suited for application domains such as smart cities, complex sensor networks …

Organizing the aggregate: Languages for spatial computing

J Beal, S Dulman, K Usbeck, M Viroli… - Formal and Practical …, 2013 - igi-global.com
As the number of computing devices embedded into engineered systems continues to rise,
there is a widening gap between the needs of the user to control aggregates of devices and …

Engineering collective intelligence at the edge with aggregate processes

R Casadei, M Viroli, G Audrito, D Pianini… - … Applications of Artificial …, 2021 - Elsevier
Edge computing promotes the execution of complex computational processes without the
cloud, ie, on top of the heterogeneous, articulated, and possibly mobile systems composed …

Space–time programming

J Beal, M Viroli - … Transactions of the Royal Society A …, 2015 - royalsocietypublishing.org
Computation increasingly takes place not on an individual device, but distributed throughout
a material or environment, whether it be a silicon surface, a network of wireless devices, a …

Adaptive distributed monitors of spatial properties for cyber–physical systems

G Audrito, R Casadei, F Damiani, V Stolz… - Journal of Systems and …, 2021 - Elsevier
Cyber–physical systems increasingly feature highly-distributed and mobile deployments of
devices spread over large physical environments: in these contexts, it is generally very …

FScaFi : A Core Calculus for Collective Adaptive Systems Programming

R Casadei, M Viroli, G Audrito, F Damiani - International Symposium on …, 2020 - Springer
A recently proposed approach to the rigorous engineering of collective adaptive systems is
the aggregate computing paradigm, which operationalises the idea of expressing collective …

Distributed runtime verification by past-ctl and the field calculus

G Audrito, F Damiani, V Stolz, G Torta… - Journal of Systems and …, 2022 - Elsevier
Recent trends in the engineering of software-intensive systems increasingly promote the
adoption of computation at the edge of the network, in the proximity of where sensing and …

Self-adaptation to device distribution in the Internet of Things

J Beal, M Viroli, D Pianini, F Damiani - ACM Transactions on …, 2017 - dl.acm.org
A key problem when coordinating the behaviour of spatially situated networks, like those
typically found in the Internet of Things (IoT), is adaptation to changes impacting network …

Efficient engineering of complex self-organising systems by self-stabilising fields

M Viroli, J Beal, F Damiani… - 2015 IEEE 9th …, 2015 - ieeexplore.ieee.org
Self-organising systems are notoriously difficult to engineer, particularly due to the
interactions between complex specifications and the simultaneous need for efficiency and …