Mirko Viroli

347 papers A 13B 6C 35Misc 31Journal 111Unranked 137
YearRankTypeTitle / Venue / Authors
2026 J jnl
Decentralized proximity-aware clustering for collective self-federated learning.
Internet Things
Davide Domini, Nicolas Farabegoli, Gianluca Aguzzi, Mirko Viroli, Lukas Esterle
2026 J jnl
FBFL: A Field-Based Coordination Approach for Data Heterogeneity in Federated Learning.
Log. Methods Comput. Sci.
Davide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli
2026 — conf
HarmoniKt: a Unifying Middleware for Heterogeneous Robot Fleets.
CCNC
Manuel Andruccioli, Angela Cortecchia, Davide Domini, Nicolas Farabegoli, Giovanni Delnevo, Danilo Pianini, Riccardo Venanzi, Mirko Viroli
2026 J jnl
Low-code design of collective systems with ScaFi-Blocks.
Sci. Comput. Program.
Gianluca Aguzzi, Matteo Cerioni, Mirko Viroli
2026 J jnl
Phyelds: A Pythonic Framework for Aggregate Computing.
CoRR
Gianluca Aguzzi, Davide Domini, Nicolas Farabegoli, Mirko Viroli
2025 C conf
A Demonstrator for Self-organizing Robot Teams.
COORDINATION
Gianluca Aguzzi, Lorenzo Bacchini, Martina Baiardi, Roberto Casadei, Angela Cortecchia, Davide Domini, Nicolas Farabegoli, Danilo Pianini, Mirko Viroli
2025 — conf
A Field-Based Approach for Runtime Replanning in Swarm Robotics Missions.
ACSOS
Gianluca Aguzzi, Martina Baiardi, Angela Cortecchia, Branko Miloradovic, Alessandro Papadopoulos, Danilo Pianini, Mirko Viroli
2025 — conf
A Fine-Tuning Pipeline with Small Conversational Data for Healthcare Chatbot.
AIME (2)
Gianluca Aguzzi, Matteo Magnini, Martino Francesco Pengo, Mirko Viroli, Sara Montagna
2025 J jnl
A Language-based Approach to Macroprogramming for IoT Systems through Large Language Models.
ACM Trans. Internet Things
Gianluca Aguzzi, Nicolas Farabegoli, Mirko Viroli
2025 — conf
Aggregate Runtime Verification for Emergency Healthcare in Crowded Events.
ICHMS
Gianluca Torta, Gianluca Aguzzi, Ferruccio Damiani, Mirko Viroli
2025 C conf
Declarative Deployment Planning for Green Pulverised Collective Computational Systems.
COORDINATION
Antonio Brogi, Roberto Casadei, Nicolas Farabegoli, Stefano Forti, Mirko Viroli
2025 J jnl
FBFL: A Field-Based Coordination Approach for Data Heterogeneity in Federated Learning.
CoRR
Davide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli
2025 J jnl
MacroSwarm: A Field-based Compositional Framework for Swarm Programming.
Log. Methods Comput. Sci.
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2025 J jnl
MacroSwarm: A scala framework for swarm programming.
Sci. Comput. Program.
Gianluca Aguzzi, Mirko Viroli
2025 Misc conf
Neighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning.
SAC
Nicolò Malucelli, Davide Domini, Gianluca Aguzzi, Mirko Viroli
2025 J jnl
New Editor-in-Chief of Software.
Softw.
Mirko Viroli
2025 J jnl
ProFed: a Benchmark for Proximity-based non-IID Federated Learning.
CoRR
Davide Domini, Gianluca Aguzzi, Mirko Viroli
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 A conf
SHAC++: A Neural Network to Rule All Differentiable Simulators.
ECAI
Francesco Bertolotti, Gianluca Aguzzi, Walter Cazzola, 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 B conf
Sparse Self-Federated Learning for Energy Efficient Cooperative Intelligence in Society 5.0.
IJCNN
Davide Domini, Laura Erhan, Gianluca Aguzzi, Lucia Cavallaro, Amirhossein Douzandeh Zenoozi, Antonio Liotta, Mirko Viroli
2025 J jnl
Sparse Self-Federated Learning for Energy Efficient Cooperative Intelligence in Society 5.0.
CoRR
Davide Domini, Laura Erhan, Gianluca Aguzzi, Lucia Cavallaro, Amirhossein Douzandeh Zenoozi, Antonio Liotta, Mirko Viroli
2024 C conf
A Reusable Simulation Pipeline for Many-Agent Reinforcement Learning.
DS-RT
Davide Domini, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli
2024 — ch.
Actor-Based Designs for Distributed Self-organisation Programming.
Active Object Languages: Current Research Trends
Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2024 C conf
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report.
PPDP
Roberto Casadei, Mirko Viroli
2024 J jnl
Dynamic IoT deployment reconfiguration: A global-level self-organisation approach.
Internet Things
Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli
2024 C conf
Field-Based Coordination for Federated Learning.
COORDINATION
Davide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli
2024 — conf
Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach.
ACSOS
Nicolas Farabegoli, Mirko Viroli, Roberto Casadei
2024 J jnl
MacroSwarm: A Field-based Compositional Framework for Swarm Programming.
CoRR
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2024 — conf
Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties.
VORTEX@ISSTA
Gianluca Aguzzi, Giorgio Audrito, Mirko Viroli
2024 J jnl
Programming Distributed Collective Processes in the eXchange Calculus.
CoRR
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2024 — conf
Proximity-based Self-Federated Learning.
ACSOS
Davide Domini, Gianluca Aguzzi, Nicolas Farabegoli, Mirko Viroli, Lukas Esterle
2024 J jnl
Proximity-based Self-Federated Learning.
CoRR
Davide Domini, Gianluca Aguzzi, Nicolas Farabegoli, Mirko Viroli, Lukas Esterle
2024 C conf
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design.
COORDINATION
Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli
2024 J jnl
ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent reinforcement learning.
Sci. Comput. Program.
Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli
2024 J jnl
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime.
Future Gener. Comput. Syst.
Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli
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 Intelligent Pulverized Systems: a Modern Approach for Edge-Cloud Services.
WOA
Davide Domini, Nicolas Farabegoli, Gianluca Aguzzi, Mirko Viroli
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 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 — conf
Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks.
ACSOS
Gianluca Aguzzi, Mirko Viroli, Lukas Esterle
2023 C conf
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming.
COORDINATION
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2023 — conf
Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More.
ACSOS-C
Roberto Casadei, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli
2023 C conf
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.
COORDINATION
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2023 C conf
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala.
COORDINATION
Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli
2023 — conf
Self-Organisation Programming: A Functional Reactive Macro Approach.
ACSOS
Roberto Casadei, Francesco Dente, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli
2023 J jnl
Space-Fluid Adaptive Sampling by Self-Organisation.
Log. Methods Comput. Sci.
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
2023 — conf
Towards Collective Sentiment Analysis in IoT-Enabled Scenarios.
DCOSS-IoT
Claudio Savaglio, Roberto Casadei, Pietro Manzoni, Mirko Viroli, Giancarlo Fortino
2022 J jnl
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge.
IEEE Internet Things J.
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
2022 — conf
Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach.
ACSOS
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
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 J jnl
Dynamic Decentralization Domains for the Internet of Things.
IEEE Internet Comput.
Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli
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 — conf
Machine Learning for Aggregate Computing: a Research Roadmap.
ICDCS Workshops
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2022 J jnl
ScaFi: A Scala DSL and Toolkit for Aggregate Programming.
SoftwareX
Roberto Casadei, Mirko Viroli, Gianluca Aguzzi, Danilo Pianini
2022 — conf
Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning.
ACSOS
Danilo Pianini, Roberto Casadei, Mirko Viroli
2022 C conf
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach.
COORDINATION
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
2022 J jnl
Space-fluid Adaptive Sampling by Self-Organisation.
CoRR
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
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
2022 C conf
Towards Reinforcement Learning-based Aggregate Computing.
COORDINATION
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2021 J jnl
A Programming Approach to Collective Autonomy.
J. Sens. Actuator Networks
Roberto Casadei, Gianluca Aguzzi, 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
Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems.
ACSOS-C
Roberto Casadei, Andrea Placuzzi, Mirko Viroli, Danny Weyns
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 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 J jnl
Partitioned integration and coordination via the self-organising coordination regions pattern.
Future Gener. Comput. Syst.
Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
2021 C conf
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming.
COORDINATION
Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini, Mirko Viroli
2021 J jnl
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers.
Log. Methods Comput. Sci.
Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
2021 — conf
Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming.
ACSOS-C
Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
2021 C conf
Tuple-Based Coordination in Large-Scale Situated Systems.
COORDINATION
Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito
2020 — conf
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time.
ACSOS Companion
Roberto Casadei, Mirko Viroli, Alessandro Ricci
2020 J jnl
Computation Against a Neighbour.
CoRR
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
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 J jnl
On the Social Implications of Collective Adaptive Systems.
IEEE Technol. Soc. Mag.
Antonio Bucchiarone, Mirko D'Angelo, Danilo Pianini, Giacomo Cabri, Martina De Sanctis, Mirko Viroli, Roberto Casadei, Simon Dobson
2020 J jnl
Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment.
Future Internet
Roberto Casadei, Danilo Pianini, Andrea Placuzzi, Mirko Viroli, Danny Weyns
2020 C conf
Resilient Distributed Collection Through Information Speed Thresholds.
COORDINATION
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
2020 J jnl
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers.
CoRR
Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
2020 C conf
Time-Fluid Field-Based Coordination.
COORDINATION
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
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 J jnl
A development approach for collective opportunistic Edge-of-Things services.
Inf. Sci.
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
2019 C conf
Aggregate Processes in Field Calculus.
COORDINATION
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
2019 — conf
Big data from the cloud to the edge: the aggregate computing solution.
ECSA (Companion)
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
2019 — conf
Case Studies for a New IoT Programming Paradigm: Fluidware.
AI&IoT@AI*IA
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
2019 — conf
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach.
FMEC
Roberto Casadei, Mirko Viroli
2019 A conf
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems.
AAMAS
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
2019 — conf
Engineering Resilient Collaborative Edge-Enabled IoT.
SCC
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
2019 J jnl
Field-based Coordination with the Share Operator.
CoRR
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2019 — conf
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT.
Models, Languages, and Tools for Concurrent and Distributed Programming
Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
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 J jnl
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing.
Future Gener. Comput. Syst.
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
2019 — conf
On Context-Orientation in Aggregate Programming.
FAS*W@SASO/ICAC
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
2019 C conf
On a Higher-Order Calculus of Computational Fields.
FORTE
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
2019 — conf
Security in Collective Adaptive Systems: A Roadmap.
FAS*W@SASO/ICAC
Danilo Pianini, Roberto Casadei, Mirko Viroli
2019 C conf
Self-organising Coordination Regions: A Pattern for Edge Computing.
COORDINATION
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
2019 C conf
The share Operator for Field-Based Coordination.
COORDINATION
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2019 — conf
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach.
PerCom Workshops
Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
2018 — conf
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT.
FAS*W@SASO/ICAC
Roberto Casadei, 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 — conf
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things.
WF-IoT
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
2018 J jnl
Optimal single-path information propagation in gradient-based algorithms.
Sci. Comput. Program.
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2018 — ch.
Programming Actor-Based Collective Adaptive Systems.
Programming with Actors
Roberto Casadei, Mirko Viroli
2018 C conf
Space-Time Universality of Field Calculus.
COORDINATION
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
2018 J jnl
Spatial Tuples: Augmenting reality with tuples.
Expert Syst. J. Knowl. Eng.
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
2018 J jnl
Towards attack-resistant Aggregate Computing using trust mechanisms.
Sci. Comput. Program.
Roberto Casadei, Alessandro Aldini, Mirko Viroli
2018 — conf
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain.
GOODTECHS
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
2017 — conf
Aggregate Graph Statistics.
ALP4IoT@iFM
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2017 J jnl
Aggregate plans for multiagent systems.
Int. J. Agent Oriented Softw. Eng.
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
2017 — conf
Combining Trust and Aggregate Computing.
SEFM Workshops
Roberto Casadei, Alessandro Aldini, 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 — conf
Modeling Opportunistic IoT Services in Open IoT Ecosystems.
WOA
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
2017 C conf
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed.
COORDINATION
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2017 — conf
Practical Aggregate Programming with Protelis.
FAS*W@SASO/ICCAC
Danilo Pianini, Jacob Beal, Mirko Viroli
2017 J jnl
Self-Adaptation to Device Distribution in the Internet of Things.
ACM Trans. Auton. Adapt. Syst.
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
2017 — conf
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration.
SASO
Danilo Pianini, Simon Dobson, Mirko Viroli
2017 — conf
Towards a Foundational API for Resilient Distributed Systems Design.
FAS*W@SASO/ICCAC
Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
2017 J jnl
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE.
Int. J. Distributed Syst. Technol.
Angelo Croatti, Alessandro Ricci, Mirko Viroli
2016 J jnl
A Higher-order Calculus of Computational Fields.
CoRR
Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal
2016 J jnl
A type-sound calculus of computational fields.
Sci. Comput. Program.
Ferruccio Damiani, Mirko Viroli, Jacob Beal
2016 — conf
Aggregate Programming: From Foundations to Applications.
SFM
Jacob Beal, Mirko Viroli
2016 — conf
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE.
FAS*W@SASO/ICCAC
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
2016 C conf
Improving Gossip Dynamics Through Overlapping Replicates.
COORDINATION
Danilo Pianini, Jacob Beal, Mirko Viroli
2016 — conf
On execution platforms for large-scale aggregate computing.
UbiComp Adjunct
Mirko Viroli, Roberto Casadei, Danilo Pianini
2016 — conf
Resiliency with Aggregate Computing: State of the Art and Roadmap.
FORECAST@STAF
Mirko Viroli, Jacob Beal
2016 — conf
Run-Time Management of Computation Domains in Field Calculus.
FAS*W@SASO/ICCAC
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
2016 J jnl
SASO 2014: Selected, Revised, and Extended Best Papers.
ACM Trans. Auton. Adapt. Syst.
Mirko Viroli, Ada Diaconescu, Nagarajan Kandasamy
2016 — conf
Self-Adaptation to Device Distribution Changes.
SASO
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
2016 C conf
Simulating Large-scale Aggregate MASs with Alchemist and Scala.
FedCSIS
Mirko Viroli, Roberto Casadei, Danilo Pianini
2016 Misc conf
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces.
IDC
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
2016 J jnl
Spatial awareness in pervasive ecosystems.
Knowl. Eng. Rev.
Simon A. Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
2016 J jnl
Spatial computing: introduction to the special issue.
Knowl. Eng. Rev.
Stefan Dulman, Jean-Louis Giavitto, Antoine Spicher, Mirko Viroli
2016 — conf
Towards Aggregate Programming in Scala.
PMLDC@ECOOP
Roberto Casadei, Mirko Viroli
2015 J jnl
A coordination model of pervasive service ecosystems.
Sci. Comput. Program.
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
2015 J jnl
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development.
Simul.
Sara Montagna, Mirko Viroli, Andrea Roli
2015 J jnl
Aggregate Programming for the Internet of Things.
Computer
Jacob Beal, Danilo Pianini, Mirko Viroli
2015 C conf
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields.
FORTE
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
2015 — conf
Computational Fields Meet Augmented Reality: Perspectives and Challenges.
SASO Workshops
Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
2015 C ed.
Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
COORDINATION
Tom Holvoet, Mirko Viroli
2015 J jnl
Developing pervasive multi-agent systems with nature-inspired coordination.
Pervasive Mob. Comput.
Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. De Angelis, Giovanna Di Marzo Serugendo, Simon A. Dobson, Jose Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
2015 — conf
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields.
SASO
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
2015 J jnl
Formal foundations of sensor network applications.
ACM SIGSPATIAL Special
Jacob Beal, Mirko Viroli
2015 B conf
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan.
PRIMA
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
2015 — conf
Programming Mirror Worlds: An Agent-Oriented Programming Perspective.
EMAS@AAMAS
Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
2015 — conf
Programming very-large scale systems of wearables.
UbiComp/ISWC Adjunct
Mirko Viroli
2015 Misc conf
Protelis: practical aggregate programming.
SAC
Danilo Pianini, Mirko Viroli, Jacob Beal
2015 — conf
Smart Augmented Fields for Emergency Operations.
EUSPN/ICTH
Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
2015 — conf
Towards Agent Aggregates: Perspectives and Challenges.
EMAS@AAMAS
Mirko Viroli, Alessandro Ricci
2015 J jnl
Type-based Self-stabilisation for Computational Fields.
Log. Methods Comput. Sci.
Ferruccio Damiani, Mirko Viroli
2014 C conf
A Calculus of Self-stabilising Computational Fields.
COORDINATION
Mirko Viroli, Ferruccio Damiani
2014 J jnl
Best ACM SAC Articles on Coordination and Self-Adaptation.
ACM Trans. Auton. Adapt. Syst.
Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
2014 — conf
Building Blocks for Aggregate Programming of Self-Organising Applications.
SASO Workshops
Jacob Beal, Mirko Viroli
2014 — conf
HPC from a self-organisation perspective: The case of crowd steering at the urban scale.
HPCS
Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
2014 — conf
Predictable Self-Organization with Computational Fields.
SASO Workshops
Jacob Beal, Mirko Viroli
2013 — conf
A Calculus of Computational Fields.
ESOCC Workshops
Mirko Viroli, Ferruccio Damiani, Jacob Beal
2013 J jnl
Chemical-oriented simulation of computational systems with ALCHEMIST.
J. Simulation
Danilo Pianini, Sara Montagna, Mirko Viroli
2013 Misc conf
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks.
SAC
Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
2013 J jnl
Description and composition of bio-inspired design patterns: a complete overview.
Nat. Comput.
Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluís Arcos
2013 — conf
Engineering Pervasive Multiagent Systems in SAPERE.
EMAS@AAMAS
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
2013 J jnl
Injecting Self-Organisation into Pervasive Service Ecosystems.
Mob. Networks Appl.
Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
2013 J jnl
On competitive self-composition in pervasive services.
Sci. Comput. Program.
Mirko Viroli
2013 J jnl
Operational semantics of proto.
Sci. Comput. Program.
Mirko Viroli, Jacob Beal, Kyle Usbeck
2013 J jnl
Semantic tuple centres.
Sci. Comput. Program.
Elena Nardini, Andrea Omicini, Mirko Viroli
2013 J jnl
Simulation in Agent-Oriented Software Engineering: The SODA case study.
Sci. Comput. Program.
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
2012 — ch.
A Computational Framework for Multilevel Morphologies.
Morphogenetic Engineering, Toward Programmable Complex Systems
Sara Montagna, Mirko Viroli
2012 — conf
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems.
WOA
Matteo Casadei, Mirko Viroli
2012 Misc conf
A model for drosophila melanogaster development from a single cell to stripe pattern formation.
SAC
Sara Montagna, Danilo Pianini, Mirko Viroli
2012 Misc conf
Dynamic composition of coordination abstractions for pervasive systems: the case of
SAC
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
2012 — conf
Gradient-Based Self-Organisation Patterns of Anticipative Adaptation.
SASO
Sara Montagna, Danilo Pianini, Mirko Viroli
2012 C conf
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments.
COORDINATION
Mirko Viroli, Danilo Pianini, Jacob Beal
2012 J jnl
Organizing the Aggregate: Languages for Spatial Computing
CoRR
Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
2012 Misc conf
Pervasive ecosystems: a coordination model based on semantic chemistry.
SAC
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
2012 — conf
Self-Organising Semantic Resource Discovery for Pervasive Systems.
SASO Workshops
Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
2012 J jnl
Standard Type Soundness for Agents and Artifacts.
Sci. Ann. Comput. Sci.
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2012 — conf
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems.
SASO Workshops
Matteo Casadei, Mirko Viroli
2012 — conf
Towards Situated Awareness in Urban Networks: A Bio-Inspired Approach.
SASO Workshops
Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla-Esso Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
2012 — conf
Towards a Comprehensive Approach to Spontaneous self-composition in Pervasive Ecosystems.
WOA
Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
2011 C conf
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems.
FedCSIS
Danilo Pianini, Sara Montagna, Mirko Viroli
2011 — conf
A Coordination Approach to Adaptive Pervasive Service Ecosystems.
SASO Workshops
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
2011 — conf
A Simulation Framework for Pervasive Services Ecosystems.
WOA
Danilo Pianini, Mirko Viroli, Sara Montagna
2011 J jnl
A quarter-century of
Knowl. Eng. Rev.
Peter McBurney, Simon Parsons, Mirko Viroli
2011 J jnl
A survey on nature-inspired metaphors for pervasive service ecosystems.
Int. J. Pervasive Comput. Commun.
Franco Zambonelli, Mirko Viroli
2011 — conf
Coordinating Spatially-Situated Pervasive Service Ecosystems.
WOA
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
2011 J jnl
Coordination models and languages: from parallel computing to self-organisation.
Knowl. Eng. Rev.
Andrea Omicini, Mirko Viroli
2011 Misc conf
Core operational semantics of Proto.
SAC
Mirko Viroli, Jacob Beal, Matteo Casadei
2011 — conf
Description and composition of bio-inspired design patterns: the gradient case.
BADS@ICAC
Jose Luis Fernandez-Marquez, Josep Lluís Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
2011 Misc conf
Description spaces with fuzziness.
SAC
Elena Nardini, Andrea Omicini, Mirko Viroli
2011 J jnl
Environment programming in multi-agent systems: an artifact-based perspective.
Auton. Agents Multi Agent Syst.
Alessandro Ricci, Michele Piunti, Mirko Viroli
2011 — ch.
Middleware Infrastructures for Self-organising Pervasive Computing Systems.
Self-organising Software
Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
2011 J jnl
Preface.
Sci. Comput. Program.
Carlos Canal, Pascal Poizat, Mirko Viroli
2011 Misc conf
Programming coordination laws of artifacts in CArtAgO.
SAC
Marco Sbaraglia, Matteo Casadei, Mirko Viroli
2011 — conf
Self-aware Pervasive Service Ecosystems.
FET
Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Juan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
2011 — conf
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example.
SERENE
Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
2011 J jnl
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces.
ACM Trans. Auton. Adapt. Syst.
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
2011 — conf
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems.
SASO
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
2011 J jnl
simpA: An agent-oriented approach for programming concurrent applications on top of Java.
Sci. Comput. Program.
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
2010 — conf
A Framework for Modelling and Simulating Networks of Cells.
CS2Bio
Sara Montagna, Mirko Viroli
2010 — conf
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN.
WOA
Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
2010 J jnl
A biochemical approach to adaptive service ecosystems.
Inf. Sci.
Mirko Viroli, Franco Zambonelli
2010 Misc conf
Chemical-inspired self-composition of competing services.
SAC
Mirko Viroli, Matteo Casadei
2010 Misc conf
Coordination in open and dynamic environments with TuCSoN semantic tuple centres.
SAC
Elena Nardini, Mirko Viroli, Emanuele Panzavolta
2010 — conf
From Service-Oriented Architectures to Nature-Inspired Pervasive Service Ecosystems.
WOA
Franco Zambonelli, Mirko Viroli
2010 — ed.
Proceedings of the 11th WOA 2010 Workshop, Dagli Oggetti Agli Agenti, Rimini, Italy, September 5-7, 2010.
WOA
Andrea Omicini, Mirko Viroli
2010 — conf
Self Organization in Coordination Systems Using a WordNet-Based Ontology.
SASO
Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
2010 — conf
Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces.
SASO Workshops
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
2009 — conf
A Calculus of Agents and Artifacts.
ICSOFT (Selected Papers)
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2009 Misc conf
A biochemical metaphor for developing eternally adaptive service ecosystems.
SAC
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
2009 B conf
A computational framework for modelling multicellular biochemistry.
IEEE Congress on Evolutionary Computation
Sara Montagna, Mirko Viroli
2009 Misc conf
A framework for modelling and implementing self-organising coordination.
SAC
Mirko Viroli, Matteo Casadei, Andrea Omicini
2009 — ch.
Agents, Intelligence and Tools.
Artificial Intelligence: An International Perspective
Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
2009 B conf
An experience on probabilistic model checking and stochastic simulation to design self-organizing systems.
IEEE Congress on Evolutionary Computation
Matteo Casadei, Mirko Viroli
2009 C conf
Biochemical Tuple Spaces for Self-organising Coordination.
COORDINATION
Mirko Viroli, Matteo Casadei
2009 — ch.
Combining Simulation and Formal Tools for Developing Self-Organizing MAS.
Multi-Agent Systems
Mirko Viroli, Luca Gardelli, Andrea Omicini
2009 — ch.
Environment Programming in CArtAgO.
Multi-Agent Programming, Languages, Tools and Applications
Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
2009 J jnl
Environment in agent-oriented software engineering methodologies.
Multiagent Grid Syst.
Ambra Molesini, Andrea Omicini, Mirko Viroli
2009 — conf
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming.
LADS
Alessandro Ricci, Michele Piunti, Mirko Viroli
2009 — conf
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming.
MALLOW
Alessandro Ricci, Michele Piunti, Mirko Viroli
2009 — conf
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts.
ICSOFT (1)
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2009 — conf
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments.
PROMAS
Alessandro Ricci, Mirko Viroli, Michele Piunti
2009 — conf
General-Purpose Coordination Abstractions for Managing Interaction in MAS.
Web Intelligence/IAT Workshops
Elena Nardini, Andrea Omicini, Mirko Viroli
2009 J jnl
On the collective sort problem for distributed tuple spaces.
Sci. Comput. Program.
Matteo Casadei, Mirko Viroli, Luca Gardelli
2009 — conf
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services.
SOAR
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
2009 Misc conf
Using probabilistic model checking and simulation for designing self-organizing systems.
SAC
Matteo Casadei, Mirko Viroli
2008 J jnl
An Adaptation Logic Framework for Java-based Component Systems.
J. Univers. Comput. Sci.
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
2008 — conf
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks.
SASO
Matteo Casadei, Mirko Viroli
2008 Misc conf
Architecture and Metaphors for Eternally Adaptive Service Ecosystems.
IDC
Franco Zambonelli, Mirko Viroli
2008 — conf
Argumentation and Artifact for Dialogue Support.
ArgMAS
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
2008 — conf
Arguments and Artifacts for Dispute Resolution.
WOA
Enrico Oliva, Mirko Viroli, Andrea Omicini
2008 J jnl
Artifacts in the A&A meta-model for multi-agent systems.
Auton. Agents Multi Agent Syst.
Andrea Omicini, Alessandro Ricci, Mirko Viroli
2008 C conf
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks.
WETICE
Matteo Casadei, Mirko Viroli, Marco Santarelli
2008 J jnl
Designing self-organising environments with agents and artefacts: a simulation-driven approach.
Int. J. Agent Oriented Softw. Eng.
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
2008 Misc conf
Integrating Java and Prolog through generic methods and type inference.
SAC
Maurizio Cimadamore, Mirko Viroli
2008 J jnl
Lightweight family polymorphism.
J. Funct. Program.
Chieri Saito, Atsushi Igarashi, Mirko Viroli
2008 — conf
Nature-Inspired Spatial Metaphors for Pervasive Service Ecosystems.
SASO Workshops
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
2008 J jnl
On the reification of Java wildcards.
Sci. Comput. Program.
Maurizio Cimadamore, Mirko Viroli
2008 — ed.
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007
FOCLASA
Carlos Canal, Pascal Poizat, Mirko Viroli
2007 — conf
A Prolog-oriented extension of Java programming based on generics and annotations.
PPPJ
Maurizio Cimadamore, Mirko Viroli
2007 — conf
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems.
IWSOS
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
2007 J jnl
A core calculus for correlation in orchestration languages.
J. Log. Algebraic Methods Program.
Mirko Viroli
2007 Misc conf
A self-organising solution to the collective sort problem in distributed tuple spaces.
SAC
Mirko Viroli, Matteo Casadei, Luca Gardelli
2007 — conf
Design Patterns for Self-organising Systems.
CEEMAS
Luca Gardelli, Mirko Viroli, Andrea Omicini
2007 J jnl
Engineering a BPEL orchestration engine as a multi-agent system.
Sci. Comput. Program.
Mirko Viroli, Enrico Denti, Alessandro Ricci
2007 A conf
Give agents their artifacts: the A&A approach for engineering working environments in MAS.
AAMAS
Alessandro Ricci, Mirko Viroli, Andrea Omicini
2007 J jnl
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts.
Appl. Artif. Intell.
Mirko Viroli, Andrea Omicini, Alessandro Ricci
2007 J jnl
Infrastructures for the environment of multiagent systems.
Auton. Agents Multi Agent Syst.
Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
2007 — conf
On the Problem of Over-clustering in Tuple-based Coordination Systems.
SASO
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
2007 — conf
Preface.
FOCLASA
Carlos Canal, Pascal Poizat, Mirko Viroli
2007 J jnl
Preface.
Sci. Comput. Program.
Carlos Canal, Mirko Viroli
2007 — ed.
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2006, Bonn, Germany, August 31, 2006
FOCLASA
Carlos Canal, Mirko Viroli
2007 — conf
Prototyping A&A ReSpecT in Maude.
FOCLASA
Matteo Casadei, Andrea Omicini, Mirko Viroli
2007 — conf
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus.
FOCLASA
Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
2007 Misc conf
Reifying wildcards in Java using the EGO approach.
SAC
Maurizio Cimadamore, Mirko Viroli
2007 B conf
Self-organized over-clustering avoidance in tuple-space systems.
IEEE Congress on Evolutionary Computation
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
2007 — conf
The A&AProgramming Model and Technology for Developing Agent Environments in MAS.
PROMAS
Alessandro Ricci, Mirko Viroli, Andrea Omicini
2007 J jnl
Timed environment for web agents.
Web Intell. Agent Syst.
Andrea Omicini, Alessandro Ricci, Mirko Viroli
2007 — conf
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism.
CIA
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
2007 A conf
Variant path types for scalable extensibility.
OOPSLA
Atsushi Igarashi, Mirko Viroli
2007 — conf
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications.
LADS
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
2007 — conf
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java.
PPPJ
Alessandro Ricci, Mirko Viroli
2006 C conf
A Case of Self-Organising Environment for MAS: the Collective Sort Problem.
EUMAS
Mirko Viroli, Matteo Casadei, Luca Gardelli
2006 J jnl
Agent Coordination Contexts for the formal specification and enactment of coordination and security policies.
Sci. Comput. Program.
Andrea Omicini, Alessandro Ricci, Mirko Viroli
2006 J jnl
Agent coordination contexts in a mas coordination infrastructure.
Appl. Artif. Intell.
Alessandro Ricci, Mirko Viroli, Andrea Omicini
2006 — conf
CArtA gO : A Framework for Prototyping Artifact-Based Environments in MAS.
E4MAS
Alessandro Ricci, Mirko Viroli, Andrea Omicini
2006 — conf
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts.
E4MAS
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
2006 — conf
Collective Sorting Tuple Spaces.
WOA
Matteo Casadei, Luca Gardelli, Mirko Viroli
2006 J jnl
Coordination as a Service.
Fundam. Informaticae
Mirko Viroli, Andrea Omicini
2006 — conf
Designing Self-organising MAS Environments: The Collective Sort Case.
E4MAS
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
2006 Misc conf
Editorial message: special track on object oriented programming languages and systems.
SAC
Davide Ancona, Mirko Viroli
2006 — conf
Minority Game: A Logic-Based Approach in TuCSoN.
WOA
Enrico Oliva, Mirko Viroli, Andrea Omicini
2006 J jnl
Operating instructions for intelligent agent coordination.
Knowl. Eng. Rev.
Mirko Viroli, Alessandro Ricci, Andrea Omicini
2006 — conf
Preface.
FOCLASA
Carlos Canal, Mirko Viroli
2006 — ed.
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2005, San Francisco, CA, USA, August 27, 2005
FOCLASA
Carlos Canal, Mirko Viroli
2006 — conf
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case.
FOCLASA
Matteo Casadei, Luca Gardelli, Mirko Viroli
2006 — conf
Simulation of Minority Game in TuCSoN.
WOA
Enrico Oliva, Mirko Viroli, Andrea Omicini
2006 J jnl
Variant parametric types: A flexible subtyping scheme for generics.
ACM Trans. Program. Lang. Syst.
Atsushi Igarashi, Mirko Viroli
2006 — conf
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications.
WOA
Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
2005 — conf
A Framework for Engineering Interactions in Java-based Component Systems.
FOCLASA
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
2005 Misc conf
A timed extension of ReSpecT.
SAC
Alessandro Ricci, Mirko Viroli
2005 — conf
An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts.
AI*IA
Mirko Viroli, Andrea Omicini, Alessandro Ricci
2005 J jnl
An algebraic approach for modelling organisation, roles and contexts in MAS.
Appl. Algebra Eng. Commun. Comput.
Andrea Omicini, Alessandro Ricci, Mirko Viroli
2005 A conf
An organisation infrastructure for Multi-Agent Systems based on Agent Coordination Contexts.
AAMAS
Mirko Viroli, Alessandro Ricci, Andrea Omicini
2005 C conf
Cognitive Stigmergy: A Framework Based on Agents and Artifacts.
EUMAS
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
2005 — conf
Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research.
SELMAS (LNCS)
Andrea Omicini, Alessandro Ricci, Mirko Viroli
2005 J jnl
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS.
Informatica (Slovenia)
Alessandro Ricci, Mirko Viroli
2005 — conf
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres.
FOCLASA
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
2005 Misc conf
Editorial message: special track on object oriented programming languages and systems.
SAC
Davide Ancona, Rajeev R. Raje, Mirko Viroli
2005 J jnl
Environments in multiagent systems.
Knowl. Eng. Rev.
Danny Weyns, Michael Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
2005 B conf
Lightweight Family Polymorphism.
APLAS
Atsushi Igarashi, Chieri Saito, Mirko Viroli
2005 J jnl
On Access Restriction with Java Wildcards.
J. Object Technol.
Mirko Viroli, Giovanni Rimassa
2005 — conf
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS.
WOA
Luca Gardelli, Mirko Viroli, Andrea Omicini
2005 — conf
On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in .
Engineering Self-Organising Systems
Luca Gardelli, Mirko Viroli, Andrea Omicini
2005 — conf
Preface.
FOCLASA
Carlos Canal, Mirko Viroli
2005 — conf
Preface.
FInCo@ETAPS
Dina Q. Goldin, Mirko Viroli
2005 — ed.
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2005, Edinburgh, UK, April 9, 2005
FInCo@ETAPS
Dina Q. Goldin, Mirko Viroli
2005 J jnl
Process-algebraic approaches for multi-agent systems: an overview.
Appl. Algebra Eng. Commun. Comput.
Mirko Viroli, Andrea Omicini
2005 — conf
Programming MAS with Artifacts.
PROMAS
Alessandro Ricci, Mirko Viroli, Andrea Omicini
2005 C conf
Time-Aware Coordination in ReSpecT.
COORDINATION
Andrea Omicini, Alessandro Ricci, Mirko Viroli
2005 Misc conf
Understanding access restriction of variant parametric types and Java wildcards.
SAC
Giovanni Rimassa, Mirko Viroli
2004 — conf
"Exhibitionists" and "Voyeurs" Do It Better: A Shared Environment for Flexible Coordination with Tacit Messages.
E4MAS
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
2004 — conf
A Conceptual Framework for Self-Organising MAS.
WOA
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
2004 — conf
Agent Interaction Semantics by Timed Operating Instructions.
AC
Mirko Viroli, Alessandro Ricci
2004 A conf
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents.
AAMAS
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
2004 Misc conf
Editorial message: special track on object oriented programming language and systems.
SAC
Davide Ancona, Rajeev R. Raje, Mirko Viroli
2004 — conf
Effective and Efficient Compilation of Run-Time Generics in Java.
WOOD
Mirko Viroli
2004 — conf
Environment-Based Coordination Through Coordination Artifacts.
E4MAS
Alessandro Ricci, Mirko Viroli, Andrea Omicini
2004 A conf
Instructions-Based Semantics of Agent Mediated Interaction.
AAMAS
Mirko Viroli, Alessandro Ricci
2004 Misc conf
Integrating objective & subjective coordination in multi-agent systems.
SAC
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
2004 J jnl
Multi-Agent Infrastructures For Objective And Subjective Coordination.
Appl. Artif. Intell.
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
2004 — conf
RBAC for Organisation and Security in an Agent Coordination Infrastructure.
SecCo
Andrea Omicini, Alessandro Ricci, Mirko Viroli
2004 — conf
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications.
FOCLASA
Mirko Viroli, Andrea Omicini
2004 — conf
Timed Coordination Artifacts with ReSpecT.
WOA
Mirko Viroli, Alessandro Ricci
2004 — conf
Towards a Formal Foundation to Orchestration Languages.
WSFM
Mirko Viroli
2003 J jnl
A Type-Passing Approach for the Implementation of Parametric Methods in Java.
Comput. J.
Mirko Viroli
2003 Misc conf
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media.
SAC
Mirko Viroli
2003 — conf
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts.
SecCo
Andrea Omicini, Alessandro Ricci, Mirko Viroli
2003 — —
Full-fledged generics for object-oriented programming languages.
Mirko Viroli
2003 — conf
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN.
WOA
Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
2003 — conf
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study.
FOCLASA
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
2003 — conf
Operational Semantics for Agents by Iterated Refinement.
DALT
Federico Bergenti, Giovanni Rimassa, Mirko Viroli
2003 A conf
Operational semantics for agents: the grey-box modeling approach.
AAMAS
Federico Bergenti, Giovanni Rimassa, Mirko Viroli
2003 — conf
Verifying Properties of Coordination by Well-Structured Transition Systems.
FOCLASA
Mirko Viroli
2002 Misc conf
A Specification Language for Agents Observable Behavior.
IC-AI
Mirko Viroli, Andrea Omicini
2002 J jnl
An Observation Approach to the Semantics of Agent Communication Languages.
Appl. Artif. Intell.
Mirko Viroli, Andrea Omicini
2002 — conf
An Operational Framework for the Semantics of Agent Communication Languages.
ESAW
Giovanni Rimassa, Mirko Viroli
2002 — conf
Coordination as a Service: Ontological and Formal Foundation.
FOCLASA
Mirko Viroli, Andrea Omicini
2002 Misc conf
Extending ReSpecT for Multiple Coordination Flows.
PDPTA
Alessandro Ricci, Andrea Omicini, Mirko Viroli
2002 — conf
Have ReSpecT for LogOp.
WOA
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
2002 J jnl
Modelling Agents as Observable Sources.
J. Univers. Comput. Sci.
Mirko Viroli, Andrea Omicini
2002 A conf
On Variance-Based Subtyping for Parametric Types.
ECOOP
Atsushi Igarashi, Mirko Viroli
2002 Misc conf
On the Expressiveness of Event-based Coordination Media.
PDPTA
Mirko Viroli, Andrea Omicini, Alessandro Ricci
2002 A conf
Specifying agent observable behaviour.
AAMAS
Mirko Viroli, Andrea Omicini
2002 — conf
Tuple-Based Coordination Models in Event-Based Scenarios.
ICDCS Workshops
Mirko Viroli, Alessandro Ricci
2002 C conf
Tuple-Based Models in the Observation Framework.
COORDINATION
Mirko Viroli, Andrea Omicini
2001 — conf
Enabling Business Cooperation using a Publish-Subscribe Architecture Aware of Transactions.
HICSS
Gianluca Moro, Mirko Viroli
2001 — conf
Multi-Agent Systems as Composition of Observable Systems.
WOA
Mirko Viroli, Andrea Omicini
2001 Misc conf
On observation as a coordination paradigm: an ontology and a formal framework.
SAC
Mirko Viroli, Gianluca Moro, Andrea Omicini
2001 Misc conf
Parametric polymorphism in Java: an efficient implementation for parametric methods.
SAC
Mirko Viroli
2001 — ed.
WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 4-5 September 2001, Modena, Italy
WOA
Andrea Omicini, Mirko Viroli
2000 — conf
On Observing and Constraining Active Systems.
ESAW
Gianluca Moro, Mirko Viroli
2000 — conf
On the Consistent Observation of Active Systems.
WOA
Gianluca Moro, Antonio Natali, Mirko Viroli
2000 A conf
Parametric polymorphism in Java: an approach to translation based on reflective features.
OOPSLA
Mirko Viroli, Antonio Natali