Giorgio Audrito

81 papers A 3B 1C 11Misc 1Journal 38Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels. CoRR Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta, Andrea Basso, Monica Cochi, Lorenzo Gusman, Lorenzo Comba, Paolo Gay, Paola Dal Zovo, Giada Galati, Francesco Gallo, Aljaz Grdadolnik, Massimo Pescarollo, Paola Pisano
2026	J	`jnl`	VinePT-Map: Pole-Trunk Semantic Mapping for Resilient Autonomous Robotics in Vineyards. CoRR Giorgio Audrito, Mauro Martini, Alessandro Navone, Giorgia Galluzzo, Marcello Chiaberge
2025	J	`jnl`	Programming Distributed Collective Processes in the eXchange Calculus. Log. Methods Comput. Sci. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2025	J	`jnl`	Software Engineering for Collective Cyber-Physical Ecosystems. ACM Trans. Softw. Eng. Methodol. Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
2025	—	`conf`	Turing Arena Light: Enhancing Programming Education Through Competitive Environments. From Strings to Graphs, and Back Again Giorgio Audrito, Luigi Laura, Alessio Orlandi, Dario Ostuni, Romeo Rizzi, Luca Versari
2025	—	`conf`	UWB Multi-robot Localization with Gaussian Belief Propagation on Factor Graph. ECMR Giorgio Audrito, Mauro Martini, Umberto Albertin, Marcello Chiaberge
2024	J	`jnl`	A general framework and decentralised algorithms for collective computational processes. Future Gener. Comput. Syst. Giorgio Audrito, Roberto Casadei, Gianluca Torta
2024	C	`conf`	An Enhanced Exchange Operator for XC. COORDINATION Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta
2024	J	`jnl`	FCPP to aggregate them all. Sci. Comput. Program. Giorgio Audrito, Gianluca Torta
2024	—	`conf`	Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties. VORTEX@ISSTA Gianluca Aguzzi, Giorgio Audrito, Mirko Viroli
2024	—	`ed.`	Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2024, Vienna, Austria, 19 September 2024 VORTEX@ISSTA Davide Ancona, Giorgio Audrito
2024	J	`jnl`	Programming Distributed Collective Processes in the eXchange Calculus. CoRR Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2024	—	`conf`	Real-Time Guarantees for SLCS Monitors in XC. VORTEX@ISSTA Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2024	J	`jnl`	Software Engineering for Collective Cyber-Physical Ecosystems. CoRR Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
2024	J	`jnl`	The eXchange Calculus (XC): A functional programming language design for distributed collective systems. J. Syst. Softw. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2024	—	`conf`	Towards Real-Time Aggregate Computing. ISoLA (2) Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2023	J	`jnl`	A field-based computing approach to sensing-driven clustering in robot swarms. Swarm Intell. Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2023	—	`ch.`	Aggregate Programming for Customized Building Management and Users Preference Implementation. IoT Edge Solutions for Cognitive Buildings Giorgio Audrito, Ferruccio Damiani, Stefano Rinaldi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
2023	—	`conf`	Combining Static and Runtime Verification with AC and Coq. VORTEX@ISSTA Giorgio Audrito, Daniel Haures
2023	J	`jnl`	Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala. Log. Methods Comput. Sci. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
2023	J	`jnl`	FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems. IEEE Trans. Parallel Distributed Syst. Giorgio Audrito, Federico Terraneo, William Fornaciari
2023	—	`conf`	Parallelising an Aggregate Programming Framework with Message-Passing Interface. ACSOS-C Giorgio Audrito, Alberto Riccardo Martinelli, Gianluca Torta
2023	J	`jnl`	Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. Sci. Comput. Program. Giorgio Audrito, Omar Inverso, Hugo Torres Vieira
2023	—	`ed.`	Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023 VORTEX@ISSTA Davide Ancona, Giorgio Audrito
2023	C	`conf`	Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2022	—	`conf`	Aggregate Drone Monitoring of Wildfires. DASC/PiCom/CBDCom/CyberSciTech Giorgio Audrito, Marco Ottina
2022	J	`jnl`	Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things. CoRR Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2022	J	`jnl`	Aggregate processes as distributed adaptive services for the Industrial Internet of Things. Pervasive Mob. Comput. Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2022	—	`conf`	Bringing Aggregate Programming Towards the Cloud. ISoLA (3) Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2022	J	`jnl`	Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli
2022	C	`conf`	Extensible 3D Simulation of Aggregated Systems with FCPP. COORDINATION Giorgio Audrito, Luigi Rapetta, Gianluca Torta
2022	J	`jnl`	Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2022	A	`conf`	Functional Programming for Distributed Systems with XC. ECOOP Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2022	J	`jnl`	Near-optimal knowledge-free resilient leader election. Autom. Yuanqiu Mo, Giorgio Audrito, Soura Dasgupta, Jacob Beal
2022	—	`conf`	On the Dynamic Evolution of Distributed Computational Aggregates. ACSOS-C Giorgio Audrito, Roberto Casadei, Gianluca Torta
2022	J	`jnl`	Predictive Semantics for Past-CTL Runtime Monitors. CoRR Giorgio Audrito, Volker Stolz, Gianluca Torta
2022	—	`conf`	Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions. DASC/PiCom/CBDCom/CyberSciTech Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli
2021	J	`jnl`	Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli
2021	J	`jnl`	Aggregate centrality measures for IoT-based coordination. Sci. Comput. Program. Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Mirko Viroli
2021	—	`conf`	Effect of Monotonic Filtering on Graph Collection Dynamics. ACSOS-C Hunza Zainab, Giorgio Audrito, Soura Dasgupta, Jacob Beal
2021	J	`jnl`	Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
2021	—	`conf`	Fostering resilient execution of multi-agent plans through self-organisation. ACSOS-C Giorgio Audrito, Roberto Casadei, Gianluca Torta
2021	J	`jnl`	Monotonic Filtering for Distributed Collection. CoRR Hunza Zainab, Giorgio Audrito, Soura Dasgupta, Jacob Beal
2021	J	`jnl`	Optimal resilient distributed data collection in mobile edge environments. Comput. Electr. Eng. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2021	—	`conf`	RM for users' safety and security in the built environment. VORTEX@ISSTA Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
2021	—	`conf`	Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes. ACSOS-C Giorgio Audrito, Roberto Casadei, Gianluca Torta
2021	—	`conf`	Towards aggregate monitoring of spatio-temporal properties. VORTEX@ISSTA Giorgio Audrito, Gianluca Torta
2021	C	`conf`	Tuple-Based Coordination in Large-Scale Situated Systems. COORDINATION Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito
2020	J	`jnl`	Computation Against a Neighbour. CoRR Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
2020	—	`conf`	FCPP: an efficient and extensible Field Calculus framework. ACSOS Giorgio Audrito
2020	—	`conf`	FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani
2020	J	`jnl`	Field-based Coordination with the Share Operator. Log. Methods Comput. Sci. Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2020	—	`conf`	Improving Collection Dynamics by Monotonic Filtering. ACSOS Companion Hunza Zainab, Giorgio Audrito, Soura Dasgupta, Jacob Beal
2020	C	`conf`	Resilient Distributed Collection Through Information Speed Thresholds. COORDINATION Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
2019	J	`jnl`	A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Log. Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
2019	C	`conf`	Aggregate Processes in Field Calculus. COORDINATION Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
2019	A	`conf`	Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. AAMAS Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
2019	J	`jnl`	Field-based Coordination with the Share Operator. CoRR Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2019	J	`jnl`	From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Methods Program. Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
2019	C	`conf`	On a Higher-Order Calculus of Computational Fields. FORTE Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
2019	Misc	`conf`	Recommending Tasks in Online Judges. MIS4TEL Giorgio Audrito, Tania Di Mascio, Paolo Fantozzi, Luigi Laura, Gemma Martini, Umberto Nanni, Marco Temperini
2019	C	`conf`	The share Operator for Field-Based Coordination. COORDINATION Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2018	A	`conf`	Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
2018	J	`jnl`	Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. ACM Trans. Model. Comput. Simul. Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
2018	C	`conf`	From Field-Based Coordination to Aggregate Computing. COORDINATION Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
2018	—	`conf`	On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
2018	J	`jnl`	Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2018	C	`conf`	Space-Time Universality of Field Calculus. COORDINATION Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
2017	J	`jnl`	Absoluteness via resurrection. J. Math. Log. Giorgio Audrito, Matteo Viale
2017	—	`conf`	Aggregate Graph Statistics. ALP4IoT@iFM Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2017	—	`conf`	Compositional Blocks for Optimal Self-Healing Gradients. SASO Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
2017	J	`jnl`	Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. CoRR Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
2017	J	`jnl`	Generic Large Cardinals and Systems of filters. J. Symb. Log. Giorgio Audrito, Silvia Steila
2017	J	`jnl`	Maximizing the overall end-user satisfaction of data broadcast in wireless mesh networks. J. Discrete Algorithms Giorgio Audrito, Alan A. Bertossi, Alfredo Navarra, Maria Cristina Pinotti
2017	C	`conf`	Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2017	—	`conf`	Resilient Blocks for Summarising Distributed Data. ALP4IoT@iFM Giorgio Audrito, Sergio Bergamini
2016	J	`jnl`	A Higher-order Calculus of Computational Fields. CoRR Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal
2016	B	`conf`	Optimal Skewed Allocation on Multiple Channels for Broadcast in Smart Cities. SMARTCOMP Giorgio Audrito, Daniele Diodati, Cristina M. Pinotti
2016	—	`conf`	Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
2015	J	`jnl`	Enumeration of the adjunctive hierarchy of hereditarily finite sets. J. Log. Comput. Giorgio Audrito, Alexandru I. Tomescu, Stephan G. Wagner
2013	J	`jnl`	Enumeration of the adjunctive hierarchy of hereditarily finite sets. CoRR Giorgio Audrito, Alexandru I. Tomescu