Giorgio Audrito

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 67

Top Topics

Functional Programming

Temporal Properties

Distributed Data

Collective Intelligence

Top Venues

Sci. Comput. Program.

Publications

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
The eXchange Calculus (XC): A functional programming language design for distributed collective systems. J. Syst. Softw. 210 (2024)
Giorgio Audrito, Gianluca Torta
FCPP to aggregate them all. Sci. Comput. Program. 231 (2024)
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta
An Enhanced Exchange Operator for XC. COORDINATION (2024)
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
Software Engineering for Collective Cyber-Physical Ecosystems. CoRR (2024)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
Programming Distributed Collective Processes in the eXchange Calculus. CoRR (2024)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
A general framework and decentralised algorithms for collective computational processes. Future Gener. Comput. Syst. 158 (2024)
Giorgio Audrito, Federico Terraneo, William Fornaciari
FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems. IEEE Trans. Parallel Distributed Syst. 34 (3) (2023)
Giorgio Audrito, Omar Inverso, Hugo Torres Vieira
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. Sci. Comput. Program. 225 (2023)
Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
A field-based computing approach to sensing-driven clustering in robot swarms. Swarm Intell. 17 (1) (2023)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION (2023)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala. Log. Methods Comput. Sci. 19 (1) (2023)
Giorgio Audrito, Alberto Riccardo Martinelli, Gianluca Torta
Parallelising an Aggregate Programming Framework with Message-Passing Interface. ACSOS-C (2023)
Giorgio Audrito, Daniel Haures
Combining Static and Runtime Verification with AC and Coq. VORTEX@ISSTA (2023)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Functional Programming for Distributed Systems with XC. ECOOP (2022)
Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions. DASC/PiCom/CBDCom/CyberSciTech (2022)
Giorgio Audrito, Marco Ottina
Aggregate Drone Monitoring of Wildfires. DASC/PiCom/CBDCom/CyberSciTech (2022)
Giorgio Audrito, Luigi Rapetta, Gianluca Torta
Extensible 3D Simulation of Aggregated Systems with FCPP. COORDINATION (2022)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
Aggregate processes as distributed adaptive services for the Industrial Internet of Things. Pervasive Mob. Comput. 85 (2022)
Yuanqiu Mo, Giorgio Audrito, Soura Dasgupta, Jacob Beal
Near-optimal knowledge-free resilient leader election. Autom. 146 (2022)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
On the Dynamic Evolution of Distributed Computational Aggregates. ACSOS-C (2022)
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things. CoRR (2022)
Giorgio Audrito, Volker Stolz, Gianluca Torta
Predictive Semantics for Past-CTL Runtime Monitors. CoRR (2022)
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
Bringing Aggregate Programming Towards the Cloud. ISoLA (3) (2022)
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli
Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. 187 (2022)
Giorgio Audrito, Gianluca Torta
Towards aggregate monitoring of spatio-temporal properties. VORTEX@ISSTA (2021)
Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Mirko Viroli
Aggregate centrality measures for IoT-based coordination. Sci. Comput. Program. 203 (2021)
Hunza Zainab, Giorgio Audrito, Soura Dasgupta, Jacob Beal
Monotonic Filtering for Distributed Collection. CoRR (2021)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. 97 (2021)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
Fostering resilient execution of multi-agent plans through self-organisation. ACSOS-C (2021)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli
Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. 175 (2021)
Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito
Tuple-Based Coordination in Large-Scale Situated Systems. COORDINATION (2021)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes. ACSOS-C (2021)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Optimal resilient distributed data collection in mobile edge environments. Comput. Electr. Eng. 96 (Part) (2021)
Hunza Zainab, Giorgio Audrito, Soura Dasgupta, Jacob Beal
Effect of Monotonic Filtering on Graph Collection Dynamics. ACSOS-C (2021)
Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
RM for users' safety and security in the built environment. VORTEX@ISSTA (2021)
Hunza Zainab, Giorgio Audrito, Soura Dasgupta, Jacob Beal
Improving Collection Dynamics by Monotonic Filtering. ACSOS Companion (2020)
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Field-based Coordination with the Share Operator. Log. Methods Comput. Sci. 16 (4) (2020)
Giorgio Audrito
FCPP: an efficient and extensible Field Calculus framework. ACSOS (2020)
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Resilient Distributed Collection Through Information Speed Thresholds. COORDINATION (2020)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) (2020)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Computation Against a Neighbour. CoRR (2020)
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Field-based Coordination with the Share Operator. CoRR (2019)
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. AAMAS (2019)
Giorgio Audrito, Tania Di Mascio, Paolo Fantozzi, Luigi Laura, Gemma Martini, Umberto Nanni, Marco Temperini
Recommending Tasks in Online Judges. MIS4TEL (2019)
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
On a Higher-Order Calculus of Computational Fields. FORTE (2019)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Aggregate Processes in Field Calculus. COORDINATION (2019)
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
The share Operator for Field-Based Coordination. COORDINATION (2019)
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Log. 20 (1) (2019)
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Methods Program. 109 (2019)
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA (2018)
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Space-Time Universality of Field Calculus. COORDINATION (2018)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS (2018)
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. ACM Trans. Model. Comput. Simul. 28 (2) (2018)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166 (2018)
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From Field-Based Coordination to Aggregate Computing. COORDINATION (2018)
Giorgio Audrito, Matteo Viale
Absoluteness via resurrection. J. Math. Log. 17 (2) (2017)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION (2017)
Giorgio Audrito, Sergio Bergamini
Resilient Blocks for Summarising Distributed Data. ALP4IoT@iFM (2017)
Giorgio Audrito, Alan A. Bertossi, Alfredo Navarra, Maria Cristina Pinotti
Maximizing the overall end-user satisfaction of data broadcast in wireless mesh networks. J. Discrete Algorithms 45 (2017)
Giorgio Audrito, Silvia Steila
Generic Large Cardinals and Systems of filters. J. Symb. Log. 82 (3) (2017)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate Graph Statistics. ALP4IoT@iFM (2017)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients. SASO (2017)
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. CoRR (2017)
Giorgio Audrito, Daniele Diodati, Cristina M. Pinotti
Optimal Skewed Allocation on Multiple Channels for Broadcast in Smart Cities. SMARTCOMP (2016)
Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-order Calculus of Computational Fields. CoRR (2016)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC (2016)
Giorgio Audrito, Alexandru I. Tomescu, Stephan G. Wagner
Enumeration of the adjunctive hierarchy of hereditarily finite sets. J. Log. Comput. 25 (3) (2015)
Giorgio Audrito, Alexandru I. Tomescu
Enumeration of the adjunctive hierarchy of hereditarily finite sets. CoRR (2013)