Mirko Viroli

ORCID

Publication Activity (10 Years)

Years Active: 2000-2025
Publications (10 Years): 110

Top Venues

COORDINATION

CoRR

Sci. Comput. Program.

Log. Methods Comput. Sci.

Publications

Gianluca Aguzzi, Mirko Viroli
MacroSwarm: A scala framework for swarm programming. Sci. Comput. Program. 239 (2025)
Davide Domini, Gianluca Aguzzi, Nicolas Farabegoli, Mirko Viroli, Lukas Esterle
Proximity-based Self-Federated Learning. CoRR (2024)
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)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
MacroSwarm: A Field-based Compositional Framework for Swarm Programming. CoRR (2024)
Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime. Future Gener. Comput. Syst. 161 (2024)
Davide Domini, Nicolas Farabegoli, Gianluca Aguzzi, Mirko Viroli
Towards Intelligent Pulverized Systems: a Modern Approach for Edge-Cloud Services. WOA (2024)
Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design. 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)
Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli
ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent reinforcement learning. Sci. Comput. Program. 238 (2024)
Davide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli
Field-Based Coordination for Federated Learning. COORDINATION (2024)
Gianluca Aguzzi, Mirko Viroli, Lukas Esterle
Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks. ACSOS (2023)
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
Space-Fluid Adaptive Sampling by Self-Organisation. Log. Methods Comput. Sci. 19 (4) (2023)
Roberto Casadei, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli
Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More. ACSOS-C (2023)
Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala. COORDINATION (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)
Roberto Casadei, Francesco L. De Angelis, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli
Self-Organisation Programming: A Functional Reactive Macro Approach. ACSOS (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)
Claudio Savaglio, Roberto Casadei, Pietro Manzoni, Mirko Viroli, Giancarlo Fortino
Towards Collective Sentiment Analysis in IoT-Enabled Scenarios. DCOSS-IoT (2023)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. COORDINATION (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)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach. ACSOS (2022)
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge. IEEE Internet Things J. 9 (20) (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)
Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli
Dynamic Decentralization Domains for the Internet of Things. IEEE Internet Comput. 26 (6) (2022)
Danilo Pianini, Roberto Casadei, Mirko Viroli
Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning. ACSOS (2022)
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
Space-fluid Adaptive Sampling by Self-Organisation. CoRR (2022)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
Machine Learning for Aggregate Computing: a Research Roadmap. ICDCS Workshops (2022)
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. COORDINATION (2022)
Roberto Casadei, Mirko Viroli, Gianluca Aguzzi, Danilo Pianini
ScaFi: A Scala DSL and Toolkit for Aggregate Programming. SoftwareX 20 (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)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
Towards Reinforcement Learning-based Aggregate Computing. COORDINATION (2022)
Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Mirko Viroli
Aggregate centrality measures for IoT-based coordination. Sci. Comput. Program. 203 (2021)
Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
Partitioned integration and coordination via the self-organising coordination regions pattern. Future Gener. Comput. Syst. 114 (2021)
Roberto Casadei, Gianluca Aguzzi, Mirko Viroli
A Programming Approach to Collective Autonomy. J. Sens. Actuator Networks 10 (2) (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)
Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini, Mirko Viroli
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming. COORDINATION (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)
Roberto Casadei, Andrea Placuzzi, Mirko Viroli, Danny Weyns
Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems. ACSOS-C (2021)
Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming. 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)
Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers. Log. Methods Comput. Sci. 17 (4) (2021)
Roberto Casadei, Mirko Viroli, Alessandro Ricci
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time. ACSOS Companion (2020)
Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers. CoRR (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)
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Time-Fluid Field-Based Coordination. COORDINATION (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)
Antonio Bucchiarone, Mirko D'Angelo, Danilo Pianini, Giacomo Cabri, Martina De Sanctis, Mirko Viroli, Roberto Casadei, Simon Dobson
On the Social Implications of Collective Adaptive Systems. IEEE Technol. Soc. Mag. 39 (3) (2020)
Roberto Casadei, Danilo Pianini, Andrea Placuzzi, Mirko Viroli, Danny Weyns
Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment. Future Internet 12 (11) (2020)
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing. Future Gener. Comput. Syst. 91 (2019)
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)
Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT. Models, Languages, and Tools for Concurrent and Distributed Programming (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)
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Engineering Resilient Collaborative Edge-Enabled IoT. SCC (2019)
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
The share Operator for Field-Based Coordination. COORDINATION (2019)
Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach. PerCom Workshops (2019)
Danilo Pianini, Roberto Casadei, Mirko Viroli
Security in Collective Adaptive Systems: A Roadmap. FAS*W@SASO/ICAC (2019)
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Self-organising Coordination Regions: A Pattern for Edge Computing. COORDINATION (2019)
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On Context-Orientation in Aggregate Programming. FAS*W@SASO/ICAC (2019)
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
A development approach for collective opportunistic Edge-of-Things services. Inf. Sci. 498 (2019)
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Case Studies for a New IoT Programming Paradigm: Fluidware. AI&IoT@AI*IA (2019)
Roberto Casadei, Mirko Viroli
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach. FMEC (2019)
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Big data from the cloud to the edge: the aggregate computing solution. ECSA (Companion) (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)
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms. Sci. Comput. Program. 167 (2018)
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things. WF-IoT (2018)
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)
Roberto Casadei, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT. FAS*W@SASO/ICAC (2018)
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting reality with tuples. Expert Syst. J. Knowl. Eng. 35 (5) (2018)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS (2018)
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain. GOODTECHS (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)
Danilo Pianini, Jacob Beal, Mirko Viroli
Practical Aggregate Programming with Protelis. FAS*W@SASO/ICCAC (2017)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION (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)
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Combining Trust and Aggregate Computing. SEFM Workshops (2017)
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. CoRR (2017)
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Aggregate plans for multiagent systems. Int. J. Agent Oriented Softw. Eng. 5 (4) (2017)
Danilo Pianini, Simon Dobson, Mirko Viroli
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration. SASO (2017)
Angelo Croatti, Alessandro Ricci, Mirko Viroli
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE. Int. J. Distributed Syst. Technol. 8 (1) (2017)
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-Adaptation to Device Distribution in the Internet of Things. ACM Trans. Auton. Adapt. Syst. 12 (3) (2017)
Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
Towards a Foundational API for Resilient Distributed Systems Design. FAS*W@SASO/ICCAC (2017)
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Modeling Opportunistic IoT Services in Open IoT Ecosystems. WOA (2017)
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces. IDC (2016)
Mirko Viroli, Ada Diaconescu, Nagarajan Kandasamy
SASO 2014: Selected, Revised, and Extended Best Papers. ACM Trans. Auton. Adapt. Syst. 11 (2) (2016)
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE. FAS*W@SASO/ICCAC (2016)
Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-order Calculus of Computational Fields. CoRR (2016)
Mirko Viroli, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap. FORECAST@STAF (2016)

Mirko Viroli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mirko Viroli