[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 …

Enhanced mechanical properties and durability of coal gangue reinforced cement-soil mixture for foundation treatments

G Long, L Li, W Li, K Ma, W Dong, C Bai… - Journal of cleaner …, 2019 - Elsevier
High-speed railways with high load capacity and long-term performance have been
developed by the aid of high-performance construction materials for foundation treatments …

Partitioned integration and coordination via the self-organising coordination regions pattern

D Pianini, R Casadei, M Viroli, A Natali - Future Generation Computer …, 2021 - Elsevier
In software engineering, knowledge about recurrent problems, along with blueprints of
associated solutions for diverse design contexts, are often captured in so-called design …

[HTML][HTML] ScaFi: A Scala DSL and toolkit for aggregate programming

R Casadei, M Viroli, G Aguzzi, D Pianini - SoftwareX, 2022 - Elsevier
Supported by current socio-scientific trends, programming the global behaviour of whole
computational collectives makes for great opportunities, but also significant challenges …

Pulverization in cyber-physical systems: Engineering the self-organizing logic separated from deployment

R Casadei, D Pianini, A Placuzzi, M Viroli, D Weyns - Future Internet, 2020 - mdpi.com
Emerging cyber-physical systems, such as robot swarms, crowds of augmented people, and
smart cities, require well-crafted self-organizing behavior to properly deal with dynamic …

Research directions for aggregate computing with machine learning

G Aguzzi - 2021 IEEE International Conference on Autonomic …, 2021 - ieeexplore.ieee.org
Collective adaptive systems are challenging from the engineering perspective. Different
approaches aim at taming these systems either by specifying the behaviour …

Self-organising coordination regions: A pattern for edge computing

R Casadei, D Pianini, M Viroli, A Natali - … and Languages: 21st IFIP WG 6.1 …, 2019 - Springer
Abstract Design patterns are key in software engineering, for they capture the knowledge of
recurrent problems and associated solutions in specific design contexts. Emerging …

A collective adaptive approach to decentralised k-coverage in multi-robot systems

D Pianini, F Pettinari, R Casadei, L Esterle - ACM Transactions on …, 2022 - dl.acm.org
We focus on the online multi-object k-coverage problem (OMOkC), where mobile robots are
required to sense a mobile target from k diverse points of view, coordinating themselves in a …

TruSD: Trust framework for service discovery among IoT devices

K Kalkan, K Rasmussen - Computer Networks, 2020 - Elsevier
IoT provides an environment which enables access to a plethora of different services. In
order to reach these services, devices need to decide if the providers are trustable or not …

Engineering resilient collaborative edge-enabled IoT

R Casadei, C Tsigkanos, M Viroli… - 2019 IEEE International …, 2019 - ieeexplore.ieee.org
Novel scenarios like IoT and smart cities promote a vision of computational ecosystems
whereby heterogeneous collectives of humans, devices and computing infrastructure …