VIROLI, MIRKO
VIROLI, MIRKO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Software
In corso di stampa MIRKO VIROLI
The Knowledge Engineering Review
In corso di stampa Mirko Viroli
Actor-Based Designs for Distributed Self-organisation Programming
2024 Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime
2024 Farabegoli N.; Pianini D.; Casadei R.; Viroli M.
The eXchange Calculus (XC): A functional programming language design for distributed collective systems
2024 Audrito G.; Casadei R.; Damiani F.; Salvaneschi G.; Viroli M.
A field-based computing approach to sensing-driven clustering in robot swarms
2023 Aguzzi G.; Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M.
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
2023 Audrito G.; Casadei R.; Damiani F.; Viroli M.
Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks
2023 Aguzzi, Gianluca; Viroli, Mirko; Esterle, Lukas
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming
2023 Aguzzi G.; Casadei R.; Viroli M.
Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More
2023 Casadei, Roberto; Aguzzi, Gianluca; Pianini, Danilo; Viroli, Mirko
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks
2023 Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M.
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala
2023 Davide Domini; Filippo Cavallari; Gianluca Aguzzi; Mirko Viroli
Self-Organisation Programming: A Functional Reactive Macro Approach
2023 Casadei, Roberto; Dente, Francesco; Aguzzi, Gianluca; Pianini, Danilo; Viroli, Mirko
Space-Fluid Adaptive Sampling by Self-Organisation
2023 Casadei, Roberto; Mariani, Stefano; Pianini, Danilo; Viroli, Mirko; Zambonelli, Franco
Towards Collective Sentiment Analysis in IoT-Enabled Scenarios
2023 Savaglio C.; Casadei R.; Manzoni P.; Viroli M.; Fortino G.
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge
2022 Casadei R.; Fortino G.; Pianini D.; Placuzzi A.; Savaglio C.; Viroli M.
Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach
2022 Aguzzi, Gianluca; Casadei, Roberto; Viroli, Mirko
Digital twins, virtual devices, and augmentations for self-organising cyber-physical collectives
2022 Casadei R.; Pianini D.; Viroli M.; Weyns D.
Distributed runtime verification by past-CTL and the field calculus
2022 Giorgio Audrito; Ferruccio Damiani; Volker Stolz; Gianluca Torta; Mirko Viroli
Dynamic Decentralization Domains for the Internet of Things
2022 Aguzzi, Gianluca; Casadei, Roberto; Pianini, Danilo; Viroli, Mirko
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Software | MIRKO VIROLI | 9999-01-01 | IEEE SOFTWARE | - | 8.01 Ruolo editoriale in rivista | - |
| The Knowledge Engineering Review | Mirko Viroli | 9999-01-01 | KNOWLEDGE ENGINEERING REVIEW | - | 8.01 Ruolo editoriale in rivista | - |
| Actor-Based Designs for Distributed Self-organisation Programming | Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli | 2024-01-01 | - | Springer Nature | 2.01 Capitolo / saggio in libro | paper-2023-lncs-active-objects-ac.pdf; paper-2023-lncs-active-objects-ac.pdf |
| Scalability through Pulverisation: Declarative deployment reconfiguration at runtime | Farabegoli N.; Pianini D.; Casadei R.; Viroli M. | 2024-01-01 | FUTURE GENERATION COMPUTER SYSTEMS | - | 1.01 Articolo in rivista | 2024-fgcs-pulverisation-dynamic-reconfig-OA.pdf |
| The eXchange Calculus (XC): A functional programming language design for distributed collective systems | Audrito G.; Casadei R.; Damiani F.; Salvaneschi G.; Viroli M. | 2024-01-01 | THE JOURNAL OF SYSTEMS AND SOFTWARE | - | 1.01 Articolo in rivista | 2024-jss-xc-calculus.pdf |
| A field-based computing approach to sensing-driven clustering in robot swarms | Aguzzi G.; Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M. | 2023-01-01 | SWARM INTELLIGENCE | - | 1.01 Articolo in rivista | s11721-022-00215-y.pdf |
| Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala | Audrito G.; Casadei R.; Damiani F.; Viroli M. | 2023-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 2012.08626.pdf |
| Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks | Aguzzi, Gianluca; Viroli, Mirko; Esterle, Lukas | 2023-01-01 | - | IEEE COMPUTER SOC | 4.01 Contributo in Atti di convegno | paper.pdf |
| MacroSwarm: A Field-Based Compositional Framework for Swarm Programming | Aguzzi G.; Casadei R.; Viroli M. | 2023-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper-2023-coordination-swarm-behaviour.pdf |
| Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More | Casadei, Roberto; Aguzzi, Gianluca; Pianini, Danilo; Viroli, Mirko | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks | Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M. | 2023-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper23-coord-xc-processes.pdf |
| ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala | Davide Domini; Filippo Cavallari; Gianluca Aguzzi; Mirko Viroli | 2023-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| Self-Organisation Programming: A Functional Reactive Macro Approach | Casadei, Roberto; Dente, Francesco; Aguzzi, Gianluca; Pianini, Danilo; Viroli, Mirko | 2023-01-01 | - | IEEE COMPUTER SOC | 4.01 Contributo in Atti di convegno | - |
| Space-Fluid Adaptive Sampling by Self-Organisation | Casadei, Roberto; Mariani, Stefano; Pianini, Danilo; Viroli, Mirko; Zambonelli, Franco | 2023-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | output.pdf |
| Towards Collective Sentiment Analysis in IoT-Enabled Scenarios | Savaglio C.; Casadei R.; Manzoni P.; Viroli M.; Fortino G. | 2023-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | main.pdf |
| A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge | Casadei R.; Fortino G.; Pianini D.; Placuzzi A.; Savaglio C.; Viroli M. | 2022-01-01 | IEEE INTERNET OF THINGS JOURNAL | - | 1.01 Articolo in rivista | A_Methodology_and_Simulation-Based_Toolchain_for_Estimating_Deployment_Performance_of_Smart_Collective_Services_at_the_Edge.pdf |
| Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach | Aguzzi, Gianluca; Casadei, Roberto; Viroli, Mirko | 2022-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | paper22-acsos-selfstab-leader-election.pdf |
| Digital twins, virtual devices, and augmentations for self-organising cyber-physical collectives | Casadei R.; Pianini D.; Viroli M.; Weyns D. | 2022-01-01 | APPLIED SCIENCES | - | 1.01 Articolo in rivista | applsci-12-00349-v4.pdf |
| Distributed runtime verification by past-CTL and the field calculus | Giorgio Audrito; Ferruccio Damiani; Volker Stolz; Gianluca Torta; Mirko Viroli | 2022-01-01 | THE JOURNAL OF SYSTEMS AND SOFTWARE | - | 1.01 Articolo in rivista | main.pdf |
| Dynamic Decentralization Domains for the Internet of Things | Aguzzi, Gianluca; Casadei, Roberto; Pianini, Danilo; Viroli, Mirko | 2022-01-01 | IEEE INTERNET COMPUTING | - | 1.01 Articolo in rivista | 09927406.pdf |