12 citations · 66 across the 17 of their papers we have counts for
20 papers
Exploiting Aggregate Programming in a Multi-Robot Service Prototype
Giorgio Audrito, Andrea Basso, Daniele Bortoluzzi +3
Multi-robot systems are becoming increasingly relevant within diverse application domains, such as healthcare, exploration, and rescue missions. However, building such systems is s…
VinePT-Map: Pole-Trunk Semantic Mapping for Resilient Autonomous Robotics in Vineyards
Giorgio Audrito, Mauro Martini, Alessandro Navone +2
Reliable long-term deployment of autonomous robots in agricultural environments remains challenging due to perceptual aliasing, seasonal variability, and the dynamic nature of crop…
Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani +13
Aggregate Programming (AP) is a paradigm for programming the collective behaviour of sets of distributed devices, possibly situated at the network far edge, by relying on asynchron…
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…
Predictive Semantics for Past-CTL Runtime Monitors
Giorgio Audrito, Volker Stolz, Gianluca Torta
The distributed monitoring of swarms of devices cooperating to common global goals is becoming increasingly important, as such systems are employed for critical applications, e.g.,…
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani +1
The Industrial Internet of Things (IIoT) promises to bring many benefits, including increased productivity, reduced costs, and increased safety to new generation manufacturing plan…
Monotonic Filtering for Distributed Collection
Hunza Zainab, Giorgio Audrito, Soura Dasgupta +1
Distributed data collection is a fundamental task in open systems. In such networks, data is aggregated across a network to produce a single aggregated result at a source device. T…
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…
Resilient Blocks for Summarising Distributed Data
Giorgio Audrito, Sergio Bergamini
Summarising distributed data is a central routine for parallel programming, lying at the core of widely used frameworks such as the map/reduce paradigm. In the IoT context it is ev…
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…
Generic Large Cardinals and Systems of Filters
Giorgio Audrito, Silvia Steila
We introduce the notion of -system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develo…
An introduction to forcing axioms, SRP and OCA
Giorgio Audrito, Gemma Carotenuto
These notes are extracted from the lectures on forcing axioms and applications held by professor Matteo Viale at the University of Turin in the academic year 2011-2012. Our purpose…
Absoluteness via Resurrection
Giorgio Audrito, Matteo Viale
The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velicković. We introduce a stronger form of resurrection…
A Boolean Algebraic Approach to Semiproper Iterations
Matteo Viale, Giorgio Audrito, Silvia Steila
These notes present a compact and self-contained approach to iterated forcing with a particular emphasis on semiproper forcing. We tried to make our presentation accessible to any…
Enumeration of the adjunctive hierarchy of hereditarily finite sets
Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner
Hereditarily finite sets (sets which are finite and have only hereditarily finite sets as members) are basic mathematical and computational objects, and also stand at the basis of…