27 citations · 119 across the 14 of their papers we have counts for
15 papers
Proximity-based Self-Federated Learning
Davide Domini, Gianluca Aguzzi, Nicolas Farabegoli +2
In recent advancements in machine learning, federated learning allows a network of distributed clients to collaboratively develop a global model without needing to share their loca…
Software Engineering for Collective Cyber-Physical Ecosystems
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito +5
Today's distributed and pervasive computing addresses large-scale cyber-physical ecosystems, characterised by dense and large networks of devices capable of computation, communicat…
Programming Distributed Collective Processes in the eXchange Calculus
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani +2
Recent trends like the Internet of Things (IoT) suggest a vision of dense and multi-scale deployments of computing devices in nearly all kinds of environments. A prominent engineer…
MacroSwarm: A Field-based Compositional Framework for Swarm Programming
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
Swarm behaviour engineering is an area of research that seeks to investigate methods and techniques for coordinating computation and action within groups of simple agents to achiev…
Space-Fluid Adaptive Sampling by Self-Organisation
Roberto Casadei, Stefano Mariani, Danilo Pianini +2
A recurrent task in coordinated systems is managing (estimating, predicting, or controlling) signals that vary in space, such as distributed sensed data or computation outcomes. Es…
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers
Danilo Pianini, Roberto Casadei, Mirko Viroli +2
Emerging application scenarios, such as cyber-physical systems (CPSs), the Internet of Things (IoT), and edge computing, call for coordination approaches addressing openness, self-…
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani +1
Recent works in contexts like the Internet of Things (IoT) and large-scale Cyber-Physical Systems (CPS) propose the idea of programming distributed systems by focussing on their gl…
Field-based Coordination with the Share Operator
Giorgio Audrito, Jacob Beal, Ferruccio Damiani +2
Field-based coordination has been proposed as a model for coordinating collective adaptive systems, promoting a view of distributed computations as functions manipulating data stru…
On Distributed Runtime Verification by Aggregate Computing
Giorgio Audrito, Ferruccio Damiani, Volker Stolz +1
Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specificat…
Aggregate Graph Statistics
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Collecting statistic from graph-based data is an increasingly studied topic in the data mining community. We argue that these statistics have great value as well in dynamic IoT con…
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
Mirko Viroli, Giorgio Audrito, Jacob Beal +2
Collective adaptive systems are an emerging class of networked computational systems, particularly suited in application domains such as smart cities, complex sensor networks, and…
A Higher-order Calculus of Computational Fields
Mirko Viroli, Giorgio Audrito, Ferruccio Damiani +2
The complexity of large-scale distributed systems, particularly when deployed in physical space, calls for new mechanisms to address composability and reusability of collective ada…
Resiliency with Aggregate Computing: State of the Art and Roadmap
Mirko Viroli, Jacob Beal
One of the difficulties in developing collective adaptive systems is the challenge of simultaneously engineering both the desired resilient behaviour of the collective and the deta…
Type-based Self-stabilisation for Computational Fields
Ferruccio Damiani, Mirko Viroli
Emerging network scenarios require the development of solid large-scale situated systems. Unfortunately, the diffusion/aggregation computational processes therein often introduce a…
Organizing the Aggregate: Languages for Spatial Computing
Jacob Beal, Stefan Dulman, Kyle Usbeck +2
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 th…