default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMirko Viroli
Person information
- affiliation: University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2003
[b1]Mirko Viroli:
Full-fledged generics for object-oriented programming languages. University of Bologna, Italy, 2003
Journal Articles
- 2025
- [j88]Gianluca Aguzzi
, Mirko Viroli:
MacroSwarm: A scala framework for swarm programming. Sci. Comput. Program. 239: 103182 (2025) - 2024
- [j87]Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli:
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime. Future Gener. Comput. Syst. 161: 545-558 (2024) - [j86]Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli:
Dynamic IoT deployment reconfiguration: A global-level self-organisation approach. Internet Things 28: 101412 (2024) - [j85]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: 111976 (2024) - [j84]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: 103176 (2024) - 2023
- [j83]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) - [j82]Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli:
Space-Fluid Adaptive Sampling by Self-Organisation. Log. Methods Comput. Sci. 19(4) (2023) - [j81]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-2): 27-62 (2023) - 2022
- [j80]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. 8(2): 08:1-08:4 (2022) - [j79]Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli:
Dynamic Decentralization Domains for the Internet of Things. IEEE Internet Comput. 26(6): 16-23 (2022) - [j78]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): 20136-20148 (2022) - [j77]Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli:
Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. 187: 111251 (2022) - [j76]Roberto Casadei, Mirko Viroli, Gianluca Aguzzi, Danilo Pianini:
ScaFi: A Scala DSL and Toolkit for Aggregate Programming. SoftwareX 20: 101248 (2022) - 2021
- [j75]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Optimal resilient distributed data collection in mobile edge environments. Comput. Electr. Eng. 96(Part): 107580 (2021) - [j74]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. 97: 104081 (2021) - [j73]Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali:
Partitioned integration and coordination via the self-organising coordination regions pattern. Future Gener. Comput. Syst. 114: 44-68 (2021) - [j72]Roberto Casadei, Gianluca Aguzzi, Mirko Viroli:
A Programming Approach to Collective Autonomy. J. Sens. Actuator Networks 10(2): 27 (2021) - [j71]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli:
Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. 175: 110908 (2021) - [j70]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) - [j69]Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Mirko Viroli:
Aggregate centrality measures for IoT-based coordination. Sci. Comput. Program. 203: 102584 (2021) - 2020
- [j68]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): 203 (2020) - [j67]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. Log. Methods Comput. Sci. 16(4) (2020) - [j66]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): 36-46 (2020) - 2019
- [j65]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: 252-262 (2019) - [j64]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: 154-169 (2019) - [j63]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) - [j62]Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Log. 20(1): 5:1-5:55 (2019) - 2018
- [j61]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) - [j60]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166: 146-166 (2018) - [j59]Roberto Casadei, Alessandro Aldini, Mirko Viroli:
Towards attack-resistant Aggregate Computing using trust mechanisms. Sci. Comput. Program. 167: 114-137 (2018) - [j58]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): 16:1-16:28 (2018) - 2017
- [j57]Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti:
Aggregate plans for multiagent systems. Int. J. Agent Oriented Softw. Eng. 5(4): 336-365 (2017) - [j56]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): 46-58 (2017) - [j55]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): 12:1-12:29 (2017) - 2016
- [j54]Stefan Dulman, Jean-Louis Giavitto, Antoine Spicher, Mirko Viroli:
Spatial computing: introduction to the special issue. Knowl. Eng. Rev. 31(4): 323-324 (2016) - [j53]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:
Spatial awareness in pervasive ecosystems. Knowl. Eng. Rev. 31(4): 343-366 (2016) - [j52]Ferruccio Damiani, Mirko Viroli, Jacob Beal:
A type-sound calculus of computational fields. Sci. Comput. Program. 117: 17-44 (2016) - [j51]Mirko Viroli, Ada Diaconescu, Nagarajan Kandasamy:
SASO 2014: Selected, Revised, and Extended Best Papers. ACM Trans. Auton. Adapt. Syst. 11(2): 5:1-5:2 (2016) - 2015
- [j50]Jacob Beal, Danilo Pianini, Mirko Viroli:
Aggregate Programming for the Internet of Things. Computer 48(9): 22-30 (2015) - [j49]Ferruccio Damiani, Mirko Viroli:
Type-based Self-stabilisation for Computational Fields. Log. Methods Comput. Sci. 11(4) (2015) - [j48]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:
Developing pervasive multi-agent systems with nature-inspired coordination. Pervasive Mob. Comput. 17: 236-252 (2015) - [j47]Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli:
A coordination model of pervasive service ecosystems. Sci. Comput. Program. 110: 3-22 (2015) - [j46]Jacob Beal, Mirko Viroli:
Formal foundations of sensor network applications. ACM SIGSPATIAL Special 7(2): 36-42 (2015) - [j45]Sara Montagna, Mirko Viroli, Andrea Roli:
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development. Simul. 91(7): 666-685 (2015) - 2014
- [j44]Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli:
Best ACM SAC Articles on Coordination and Self-Adaptation. ACM Trans. Auton. Adapt. Syst. 9(2): 6:1-6:2 (2014) - 2013
- [j43]Danilo Pianini, Sara Montagna, Mirko Viroli:
Chemical-oriented simulation of computational systems with ALCHEMIST. J. Simulation 7(3): 202-215 (2013) - [j42]Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli:
Injecting Self-Organisation into Pervasive Service Ecosystems. Mob. Networks Appl. 18(3): 398-412 (2013) - [j41]Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluís Arcos:
Description and composition of bio-inspired design patterns: a complete overview. Nat. Comput. 12(1): 43-67 (2013) - [j40]Mirko Viroli:
On competitive self-composition in pervasive services. Sci. Comput. Program. 78(5): 556-568 (2013) - [j39]Elena Nardini, Andrea Omicini, Mirko Viroli:
Semantic tuple centres. Sci. Comput. Program. 78(5): 569-582 (2013) - [j38]Mirko Viroli, Jacob Beal, Kyle Usbeck:
Operational semantics of proto. Sci. Comput. Program. 78(6): 633-656 (2013) - [j37]Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli:
Simulation in Agent-Oriented Software Engineering: The SODA case study. Sci. Comput. Program. 78(6): 705-714 (2013) - 2012
- [j36]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
Standard Type Soundness for Agents and Artifacts. Sci. Ann. Comput. Sci. 22(2): 267-326 (2012) - 2011
- [j35]Alessandro Ricci, Michele Piunti, Mirko Viroli:
Environment programming in multi-agent systems: an artifact-based perspective. Auton. Agents Multi Agent Syst. 23(2): 158-192 (2011) - [j34]Franco Zambonelli, Mirko Viroli:
A survey on nature-inspired metaphors for pervasive service ecosystems. Int. J. Pervasive Comput. Commun. 7(3): 186-204 (2011) - [j33]Peter McBurney, Simon Parsons, Mirko Viroli:
A quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue. Knowl. Eng. Rev. 26(1): 1-3 (2011) - [j32]Andrea Omicini, Mirko Viroli:
Coordination models and languages: from parallel computing to self-organisation. Knowl. Eng. Rev. 26(1): 53-59 (2011) - [j31]Carlos Canal, Pascal Poizat, Mirko Viroli:
Preface. Sci. Comput. Program. 76(1): 1-2 (2011) - [j30]Alessandro Ricci, Mirko Viroli, Giulio Piancastelli:
simpA: An agent-oriented approach for programming concurrent applications on top of Java. Sci. Comput. Program. 76(1): 37-62 (2011) - [j29]Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli:
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces. ACM Trans. Auton. Adapt. Syst. 6(2): 14:1-14:24 (2011) - 2010
- [j28]Mirko Viroli, Franco Zambonelli:
A biochemical approach to adaptive service ecosystems. Inf. Sci. 180(10): 1876-1892 (2010) - 2009
- [j27]Ambra Molesini, Andrea Omicini, Mirko Viroli:
Environment in agent-oriented software engineering methodologies. Multiagent Grid Syst. 5(1): 37-57 (2009) - [j26]Matteo Casadei, Mirko Viroli, Luca Gardelli:
On the collective sort problem for distributed tuple spaces. Sci. Comput. Program. 74(9): 702-722 (2009) - 2008
- [j25]Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Artifacts in the A&A meta-model for multi-agent systems. Auton. Agents Multi Agent Syst. 17(3): 432-456 (2008) - [j24]Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini:
Designing self-organising environments with agents and artefacts: a simulation-driven approach. Int. J. Agent Oriented Softw. Eng. 2(2): 171-195 (2008) - [j23]Chieri Saito, Atsushi Igarashi, Mirko Viroli:
Lightweight family polymorphism. J. Funct. Program. 18(3): 285-331 (2008) - [j22]Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli:
An Adaptation Logic Framework for Java-based Component Systems. J. Univers. Comput. Sci. 14(13): 2158-2181 (2008) - [j21]Maurizio Cimadamore, Mirko Viroli:
On the reification of Java wildcards. Sci. Comput. Program. 73(2-3): 59-75 (2008) - 2007
- [j20]Mirko Viroli, Andrea Omicini, Alessandro Ricci:
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts. Appl. Artif. Intell. 21(4&5): 443-467 (2007) - [j19]Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli:
Infrastructures for the environment of multiagent systems. Auton. Agents Multi Agent Syst. 14(1): 49-60 (2007) - [j18]Mirko Viroli:
A core calculus for correlation in orchestration languages. J. Log. Algebraic Methods Program. 70(1): 74-95 (2007) - [j17]Carlos Canal, Mirko Viroli:
Preface. Sci. Comput. Program. 66(3): 181-183 (2007) - [j16]Mirko Viroli, Enrico Denti, Alessandro Ricci:
Engineering a BPEL orchestration engine as a multi-agent system. Sci. Comput. Program. 66(3): 226-245 (2007) - [j15]Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Timed environment for web agents. Web Intell. Agent Syst. 5(2): 161-175 (2007) - 2006
- [j14]Alessandro Ricci, Mirko Viroli, Andrea Omicini:
Agent coordination contexts in a mas coordination infrastructure. Appl. Artif. Intell. 20(2-4): 179-202 (2006) - [j13]Mirko Viroli, Andrea Omicini:
Coordination as a Service. Fundam. Informaticae 73(4): 507-534 (2006) - [j12]Mirko Viroli, Alessandro Ricci, Andrea Omicini:
Operating instructions for intelligent agent coordination. Knowl. Eng. Rev. 21(1): 49-69 (2006) - [j11]Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Agent Coordination Contexts for the formal specification and enactment of coordination and security policies. Sci. Comput. Program. 63(1): 88-107 (2006) - [j10]Atsushi Igarashi, Mirko Viroli:
Variant parametric types: A flexible subtyping scheme for generics. ACM Trans. Program. Lang. Syst. 28(5): 795-847 (2006) - 2005
- [j9]Mirko Viroli, Andrea Omicini:
Process-algebraic approaches for multi-agent systems: an overview. Appl. Algebra Eng. Commun. Comput. 16(2-3): 69-75 (2005) - [j8]Andrea Omicini, Alessandro Ricci, Mirko Viroli:
An algebraic approach for modelling organisation, roles and contexts in MAS. Appl. Algebra Eng. Commun. Comput. 16(2-3): 151-178 (2005) - [j7]Alessandro Ricci, Mirko Viroli:
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS. Informatica (Slovenia) 29(4): 433-444 (2005) - [j6]Mirko Viroli, Giovanni Rimassa:
On Access Restriction with Java Wildcards. J. Object Technol. 4(10): 117-139 (2005) - [j5]Danny Weyns, Michael Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet:
Environments in multiagent systems. Knowl. Eng. Rev. 20(2): 127-141 (2005) - 2004
- [j4]Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa:
Multi-Agent Infrastructures For Objective And Subjective Coordination. Appl. Artif. Intell. 18(9-10): 815-831 (2004) - 2003
- [j3]Mirko Viroli:
A Type-Passing Approach for the Implementation of Parametric Methods in Java. Comput. J. 46(3): 263-294 (2003) - 2002
- [j2]Mirko Viroli, Andrea Omicini:
An Observation Approach to the Semantics of Agent Communication Languages. Appl. Artif. Intell. 16(9-10): 775-793 (2002) - [j1]Mirko Viroli, Andrea Omicini:
Modelling Agents as Observable Sources. J. Univers. Comput. Sci. 8(4): 423-451 (2002)
Conference and Workshop Papers
- 2024
- [c212]Nicolas Farabegoli, Mirko Viroli, Roberto Casadei:
Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach. ACSOS 2024: 21-30 - [c211]Davide Domini, Gianluca Aguzzi, Nicolas Farabegoli, Mirko Viroli, Lukas Esterle:
Proximity-based Self-Federated Learning. ACSOS 2024: 139-144 - [c210]Davide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli:
Field-Based Coordination for Federated Learning. COORDINATION 2024: 56-74 - [c209]Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli:
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design. COORDINATION 2024: 258-276 - [c208]Roberto Casadei, Mirko Viroli:
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report. PPDP 2024: 5:1-5:5 - [c207]Gianluca Aguzzi, Giorgio Audrito, Mirko Viroli:
Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties. VORTEX@ISSTA 2024: 25-31 - [c206]Davide Domini, Nicolas Farabegoli, Gianluca Aguzzi, Mirko Viroli:
Towards Intelligent Pulverized Systems: a Modern Approach for Edge-Cloud Services. WOA 2024: 233-251 - 2023
- [c205]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: 33-34 - [c204]Gianluca Aguzzi, Mirko Viroli, Lukas Esterle:
Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks. ACSOS 2023: 37-46 - [c203]Roberto Casadei, Francesco Dente, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli:
Self-Organisation Programming: A Functional Reactive Macro Approach. ACSOS 2023: 87-96 - [c202]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. COORDINATION 2023: 31-51 - [c201]Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli:
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala. COORDINATION 2023: 52-70 - [c200]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION 2023: 71-89 - [c199]Claudio Savaglio, Roberto Casadei, Pietro Manzoni, Mirko Viroli, Giancarlo Fortino:
Towards Collective Sentiment Analysis in IoT-Enabled Scenarios. DCOSS-IoT 2023: 755-760 - 2022
- [c198]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach. ACSOS 2022: 11-20 - [c197]Danilo Pianini, Roberto Casadei, Mirko Viroli:
Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning. ACSOS 2022: 81-90 - [c196]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
Towards Reinforcement Learning-based Aggregate Computing. COORDINATION 2022: 72-91 - [c195]Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli:
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. COORDINATION 2022: 99-117 - [c194]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: 1-6 - [c193]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC. ECOOP 2022: 20:1-20:28 - [c192]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
Machine Learning for Aggregate Computing: a Research Roadmap. ICDCS Workshops 2022: 119-124 - 2021
- [c191]Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli:
Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming. ACSOS-C 2021: 99-104 - [c190]Roberto Casadei, Andrea Placuzzi, Mirko Viroli, Danny Weyns:
Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems. ACSOS-C 2021: 160-165 - [c189]Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito:
Tuple-Based Coordination in Large-Scale Situated Systems. COORDINATION 2021: 149-167 - [c188]Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini, Mirko Viroli:
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming. COORDINATION 2021: 285-299 - 2020
- [c187]Roberto Casadei, Mirko Viroli, Alessandro Ricci:
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time. ACSOS Companion 2020: 139-144 - [c186]Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli:
Time-Fluid Field-Based Coordination. COORDINATION 2020: 193-210 - [c185]Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Resilient Distributed Collection Through Information Speed Thresholds. COORDINATION 2020: 211-229 - [c184]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani:
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) 2020: 344-360 - 2019
- [c183]Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar:
Engineering Resilient Collaborative Edge-Enabled IoT. SCC 2019: 36-45 - [c182]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: 82-96 - [c181]Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. AAMAS 2019: 1618-1626 - [c180]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: 411-427 - [c179]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
The share Operator for Field-Based Coordination. COORDINATION 2019: 54-71 - [c178]Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali:
Self-organising Coordination Regions: A Pattern for Edge Computing. COORDINATION 2019: 182-199 - [c177]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Aggregate Processes in Field Calculus. COORDINATION 2019: 200-217 - [c176]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: 177-180 - [c175]Roberto Casadei, Mirko Viroli:
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach. FMEC 2019: 60-67 - [c174]Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
On a Higher-Order Calculus of Computational Fields. FORTE 2019: 289-292 - [c173]Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re:
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach. PerCom Workshops 2019: 549-554 - [c172]Danilo Pianini, Roberto Casadei, Mirko Viroli:
Security in Collective Adaptive Systems: A Roadmap. FAS*W@SASO/ICAC 2019: 86-91 - [c171]Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli:
On Context-Orientation in Aggregate Programming. FAS*W@SASO/ICAC 2019: 92-97 - 2018
- [c170]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli:
Space-Time Universality of Field Calculus. COORDINATION 2018: 1-20 - [c169]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini:
From Field-Based Coordination to Aggregate Computing. COORDINATION 2018: 252-279 - [c168]Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini:
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain. GOODTECHS 2018: 271-276 - [c167]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini:
Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS 2018: 23-34 - [c166]Roberto Casadei, Mirko Viroli:
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT. FAS*W@SASO/ICAC 2018: 106-111 - [c165]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: 488-492 - [c164]Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli:
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA 2018: 47-61 - 2017
- [c163]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION 2017: 59-77 - [c162]Danilo Pianini, Simon Dobson, Mirko Viroli:
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration. SASO 2017: 11-20 - [c161]Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli:
Towards a Foundational API for Resilient Distributed Systems Design. FAS*W@SASO/ICCAC 2017: 27-32 - [c160]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100 - [c159]Danilo Pianini, Jacob Beal, Mirko Viroli:
Practical Aggregate Programming with Protelis. FAS*W@SASO/ICCAC 2017: 391-392 - [c158]Roberto Casadei, Alessandro Aldini, Mirko Viroli:
Combining Trust and Aggregate Computing. SEFM Workshops 2017: 507-522 - [c157]Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou:
Modeling Opportunistic IoT Services in Open IoT Ecosystems. WOA 2017: 90-95 - [c156]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Aggregate Graph Statistics. ALP4IoT@iFM 2017: 18-22 - 2016
- [c155]Danilo Pianini, Jacob Beal, Mirko Viroli:
Improving Gossip Dynamics Through Overlapping Replicates. COORDINATION 2016: 192-207 - [c154]Roberto Casadei, Mirko Viroli:
Towards Aggregate Programming in Scala. PMLDC@ECOOP 2016: 5 - [c153]Mirko Viroli, Roberto Casadei, Danilo Pianini:
Simulating Large-scale Aggregate MASs with Alchemist and Scala. FedCSIS 2016: 1495-1504 - [c152]Mirko Viroli, Roberto Casadei, Danilo Pianini:
On execution platforms for large-scale aggregate computing. UbiComp Adjunct 2016: 1321-1326 - [c151]Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini:
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces. IDC 2016: 121-130 - [c150]Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani:
Self-Adaptation to Device Distribution Changes. SASO 2016: 60-69 - [c149]Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal:
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE. FAS*W@SASO/ICCAC 2016: 186-191 - [c148]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei:
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC 2016: 192-197 - [c147]Jacob Beal, Mirko Viroli:
Aggregate Programming: From Foundations to Applications. SFM 2016: 233-260 - [c146]Mirko Viroli, Jacob Beal:
Resiliency with Aggregate Computing: State of the Art and Roadmap. FORECAST@STAF 2016: 5-18 - 2015
- [c145]Mirko Viroli, Alessandro Ricci:
Towards Agent Aggregates: Perspectives and Challenges. EMAS@AAMAS 2015: 18-30 - [c144]Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli:
Programming Mirror Worlds: An Agent-Oriented Programming Perspective. EMAS@AAMAS 2015: 191-211 - [c143]Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli:
Smart Augmented Fields for Emergency Operations. EUSPN/ICTH 2015: 392-399 - [c142]Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal:
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. FORTE 2015: 113-128 - [c141]Mirko Viroli:
Programming very-large scale systems of wearables. UbiComp/ISWC Adjunct 2015: 887-888 - [c140]Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti:
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan. PRIMA 2015: 49-64 - [c139]Danilo Pianini, Mirko Viroli, Jacob Beal:
Protelis: practical aggregate programming. SAC 2015: 1846-1853 - [c138]Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli:
Computational Fields Meet Augmented Reality: Perspectives and Challenges. SASO Workshops 2015: 80-85 - [c137]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. SASO 2015: 81-90 - 2014
- [c136]Mirko Viroli, Ferruccio Damiani:
A Calculus of Self-stabilising Computational Fields. COORDINATION 2014: 163-178 - [c135]Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha:
HPC from a self-organisation perspective: The case of crowd steering at the urban scale. HPCS 2014: 460-467 - [c134]Jacob Beal, Mirko Viroli:
Predictable Self-Organization with Computational Fields. SASO Workshops 2014: 3-4 - [c133]Jacob Beal, Mirko Viroli:
Building Blocks for Aggregate Programming of Self-Organising Applications. SASO Workshops 2014: 8-13 - 2013
- [c132]Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli:
Engineering Pervasive Multiagent Systems in SAPERE. EMAS@AAMAS 2013: 196-214 - [c131]Mirko Viroli, Ferruccio Damiani, Jacob Beal:
A Calculus of Computational Fields. ESOCC Workshops 2013: 114-128 - [c130]Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli:
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks. SAC 2013: 1369-1376 - 2012
- [c129]Mirko Viroli, Danilo Pianini, Jacob Beal:
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments. COORDINATION 2012: 212-229 - [c128]Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson:
Pervasive ecosystems: a coordination model based on semantic chemistry. SAC 2012: 295-302 - [c127]Sara Montagna, Danilo Pianini, Mirko Viroli:
A model for drosophila melanogaster development from a single cell to stripe pattern formation. SAC 2012: 1406-1412 - [c126]Ronaldo Menezes, Andrea Omicini, Mirko Viroli:
Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp. SAC 2012: 1557-1559 - [c125]Sara Montagna, Danilo Pianini, Mirko Viroli:
Gradient-Based Self-Organisation Patterns of Anticipative Adaptation. SASO 2012: 169-174 - [c124]Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna:
Self-Organising Semantic Resource Discovery for Pervasive Systems. SASO Workshops 2012: 181-186 - [c123]Matteo Casadei, Mirko Viroli:
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems. SASO Workshops 2012: 199-204 - [c122]Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla-Esso Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli:
Towards Situated Awareness in Urban Networks: A Bio-Inspired Approach. SASO Workshops 2012: 223-228 - [c121]Matteo Casadei, Mirko Viroli:
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems. WOA 2012 - [c120]Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez:
Towards a Comprehensive Approach to Spontaneous self-composition in Pervasive Ecosystems. WOA 2012 - 2011
- [c119]Danilo Pianini, Sara Montagna, Mirko Viroli:
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems. FedCSIS 2011: 667-674 - [c118]Jose Luis Fernandez-Marquez, Josep Lluís Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna:
Description and composition of bio-inspired design patterns: the gradient case. BADS@ICAC 2011: 25-32 - [c117]Elena Nardini, Andrea Omicini, Mirko Viroli:
Description spaces with fuzziness. SAC 2011: 869-876 - [c116]Marco Sbaraglia, Matteo Casadei, Mirko Viroli:
Programming coordination laws of artifacts in CArtAgO. SAC 2011: 885-886 - [c115]Mirko Viroli, Jacob Beal, Matteo Casadei:
Core operational semantics of Proto. SAC 2011: 1325-1332 - [c114]Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli:
A Coordination Approach to Adaptive Pervasive Service Ecosystems. SASO Workshops 2011: 114-119 - [c113]Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli:
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems. SASO 2011: 223-224 - [c112]Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo:
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example. SERENE 2011: 115-129 - [c111]Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli:
Coordinating Spatially-Situated Pervasive Service Ecosystems. WOA 2011: 19-27 - [c110]Danilo Pianini, Mirko Viroli, Sara Montagna:
A Simulation Framework for Pervasive Services Ecosystems. WOA 2011: 150-157 - [c109]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:
Self-aware Pervasive Service Ecosystems. FET 2011: 197-199 - 2010
- [c108]Mirko Viroli, Matteo Casadei:
Chemical-inspired self-composition of competing services. SAC 2010: 2029-2036 - [c107]Elena Nardini, Mirko Viroli, Emanuele Panzavolta:
Coordination in open and dynamic environments with TuCSoN semantic tuple centres. SAC 2010: 2037-2044 - [c106]Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli:
Self Organization in Coordination Systems Using a WordNet-Based Ontology. SASO 2010: 114-123 - [c105]Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli:
Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces. SASO Workshops 2010: 212-217 - [c104]Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini:
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN. WOA 2010 - [c103]Franco Zambonelli, Mirko Viroli:
From Service-Oriented Architectures to Nature-Inspired Pervasive Service Ecosystems. WOA 2010 - [c102]Sara Montagna, Mirko Viroli:
A Framework for Modelling and Simulating Networks of Cells. CS2Bio 2010: 115-129 - 2009
- [c101]Matteo Casadei, Mirko Viroli:
An experience on probabilistic model checking and stochastic simulation to design self-organizing systems. IEEE Congress on Evolutionary Computation 2009: 1538-1545 - [c100]Sara Montagna, Mirko Viroli:
A computational framework for modelling multicellular biochemistry. IEEE Congress on Evolutionary Computation 2009: 2233-2240 - [c99]Mirko Viroli, Matteo Casadei:
Biochemical Tuple Spaces for Self-organising Coordination. COORDINATION 2009: 143-162 - [c98]Elena Nardini, Andrea Omicini, Mirko Viroli:
General-Purpose Coordination Abstractions for Managing Interaction in MAS. Web Intelligence/IAT Workshops 2009: 501-506 - [c97]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
A Calculus of Agents and Artifacts. ICSOFT (Selected Papers) 2009: 124-136 - [c96]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225 - [c95]Alessandro Ricci, Michele Piunti, Mirko Viroli:
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming. LADS 2009: 35-54 - [c94]Alessandro Ricci, Michele Piunti, Mirko Viroli:
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming. MALLOW 2009 - [c93]Alessandro Ricci, Mirko Viroli, Michele Piunti:
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments. PROMAS 2009: 133-150 - [c92]Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli:
A biochemical metaphor for developing eternally adaptive service ecosystems. SAC 2009: 1221-1222 - [c91]Mirko Viroli, Matteo Casadei, Andrea Omicini:
A framework for modelling and implementing self-organising coordination. SAC 2009: 1353-1360 - [c90]Matteo Casadei, Mirko Viroli:
Using probabilistic model checking and simulation for designing self-organizing systems. SAC 2009: 2103-2104 - [c89]Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini:
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services. SOAR 2009: 152-176 - 2008
- [c88]Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney:
Argumentation and Artifact for Dialogue Support. ArgMAS 2008: 107-121 - [c87]Franco Zambonelli, Mirko Viroli:
Architecture and Metaphors for Eternally Adaptive Service Ecosystems. IDC 2008: 23-32 - [c86]Maurizio Cimadamore, Mirko Viroli:
Integrating Java and Prolog through generic methods and type inference. SAC 2008: 198-205 - [c85]Matteo Casadei, Mirko Viroli:
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks. SASO 2008: 213-222 - [c84]Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli:
Nature-Inspired Spatial Metaphors for Pervasive Service Ecosystems. SASO Workshops 2008: 332-337 - [c83]Matteo Casadei, Mirko Viroli, Marco Santarelli:
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks. WETICE 2008: 70-75 - [c82]Enrico Oliva, Mirko Viroli, Andrea Omicini:
Arguments and Artifacts for Dispute Resolution. WOA 2008: 46-53 - 2007
- [c81]Alessandro Ricci, Mirko Viroli, Andrea Omicini:
Give agents their artifacts: the A&A approach for engineering working environments in MAS. AAMAS 2007: 150 - [c80]Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf:
Self-organized over-clustering avoidance in tuple-space systems. IEEE Congress on Evolutionary Computation 2007: 1408-1415 - [c79]Luca Gardelli, Mirko Viroli, Andrea Omicini:
Design Patterns for Self-organising Systems. CEEMAS 2007: 123-132 - [c78]Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf:
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism. CIA 2007: 255-269 - [c77]Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf:
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems. IWSOS 2007: 146-160 - [c76]Alessandro Ricci, Mirko Viroli, Giulio Piancastelli:
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications. LADS 2007: 261-278 - [c75]Atsushi Igarashi, Mirko Viroli:
Variant path types for scalable extensibility. OOPSLA 2007: 113-132 - [c74]Alessandro Ricci, Mirko Viroli:
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java. PPPJ 2007: 185-194 - [c73]Maurizio Cimadamore, Mirko Viroli:
A Prolog-oriented extension of Java programming based on generics and annotations. PPPJ 2007: 197-202 - [c72]Alessandro Ricci, Mirko Viroli, Andrea Omicini:
The A&AProgramming Model and Technology for Developing Agent Environments in MAS. PROMAS 2007: 89-106 - [c71]Mirko Viroli, Matteo Casadei, Luca Gardelli:
A self-organising solution to the collective sort problem in distributed tuple spaces. SAC 2007: 354-359 - [c70]Maurizio Cimadamore, Mirko Viroli:
Reifying wildcards in Java using the EGO approach. SAC 2007: 1315-1322 - [c69]Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli:
On the Problem of Over-clustering in Tuple-based Coordination Systems. SASO 2007: 303-306 - [c68]Carlos Canal, Pascal Poizat, Mirko Viroli:
Preface. FOCLASA 2007: 1-3 - [c67]Matteo Casadei, Andrea Omicini, Mirko Viroli:
Prototyping A&A ReSpecT in Maude. FOCLASA 2007: 93-109 - [c66]Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore:
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. FOCLASA 2007: 111-132 - 2006
- [c65]Alessandro Ricci, Mirko Viroli, Andrea Omicini:
CArtA gO : A Framework for Prototyping Artifact-Based Environments in MAS. E4MAS 2006: 67-86 - [c64]Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva:
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts. E4MAS 2006: 124-140 - [c63]Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini:
Designing Self-organising MAS Environments: The Collective Sort Case. E4MAS 2006: 254-271 - [c62]Mirko Viroli, Matteo Casadei, Luca Gardelli:
A Case of Self-Organising Environment for MAS: the Collective Sort Problem. EUMAS 2006 - [c61]Davide Ancona, Mirko Viroli:
Editorial message: special track on object oriented programming languages and systems. SAC 2006: 1402-1403 - [c60]Matteo Casadei, Luca Gardelli, Mirko Viroli:
Collective Sorting Tuple Spaces. WOA 2006 - [c59]Enrico Oliva, Mirko Viroli, Andrea Omicini:
Simulation of Minority Game in TuCSoN. WOA 2006 - [c58]Enrico Oliva, Mirko Viroli, Andrea Omicini:
Minority Game: A Logic-Based Approach in TuCSoN. WOA 2006 - [c57]Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini:
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications. WOA 2006 - [c56]Carlos Canal, Mirko Viroli:
Preface. FOCLASA 2006: 1-2 - [c55]Matteo Casadei, Luca Gardelli, Mirko Viroli:
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case. FOCLASA 2006: 59-80 - 2005
- [c54]Mirko Viroli, Andrea Omicini, Alessandro Ricci:
An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts. AI*IA 2005: 198-211 - [c53]Atsushi Igarashi, Chieri Saito, Mirko Viroli:
Lightweight Family Polymorphism. APLAS 2005: 161-177 - [c52]Luca Gardelli, Mirko Viroli, Andrea Omicini:
On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in . Engineering Self-Organising Systems 2005: 153-166 - [c51]Mirko Viroli, Alessandro Ricci, Andrea Omicini:
An organisation infrastructure for Multi-Agent Systems based on Agent Coordination Contexts. AAMAS 2005: 1189-1190 - [c50]Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Time-Aware Coordination in ReSpecT. COORDINATION 2005: 268-282 - [c49]Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva:
Cognitive Stigmergy: A Framework Based on Agents and Artifacts. EUMAS 2005: 332-343 - [c48]Alessandro Ricci, Mirko Viroli, Andrea Omicini:
Programming MAS with Artifacts. PROMAS 2005: 206-221 - [c47]Alessandro Ricci, Mirko Viroli:
A timed extension of ReSpecT. SAC 2005: 420-427 - [c46]Davide Ancona, Rajeev R. Raje, Mirko Viroli:
Editorial message: special track on object oriented programming languages and systems. SAC 2005: 1256-1257 - [c45]Giovanni Rimassa, Mirko Viroli:
Understanding access restriction of variant parametric types and Java wildcards. SAC 2005: 1390-1397 - [c44]Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research. SELMAS (LNCS) 2005: 71-90 - [c43]Luca Gardelli, Mirko Viroli, Andrea Omicini:
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS. WOA 2005: 85-90 - [c42]Carlos Canal, Mirko Viroli:
Preface. FOCLASA 2005: 1-2 - [c41]Dina Q. Goldin, Mirko Viroli:
Preface. FInCo@ETAPS 2005: 1-4 - [c40]Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Agens Faber: Toward a Theory of Artefacts for MAS. CoOrg@COORDINATION 2005: 21-36 - [c39]Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli:
A Framework for Engineering Interactions in Java-based Component Systems. FOCLASA 2005: 43-61 - [c38]Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli:
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres. FOCLASA 2005: 139-158 - 2004
- [c37]Mirko Viroli, Alessandro Ricci:
Agent Interaction Semantics by Timed Operating Instructions. AC 2004: 173-192 - [c36]Mirko Viroli, Alessandro Ricci:
Instructions-Based Semantics of Agent Mediated Interaction. AAMAS 2004: 102-109 - [c35]Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini:
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents. AAMAS 2004: 286-293 - [c34]Alessandro Ricci, Mirko Viroli, Andrea Omicini:
Environment-Based Coordination Through Coordination Artifacts. E4MAS 2004: 190-214 - [c33]Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini:
"Exhibitionists" and "Voyeurs" Do It Better: A Shared Environment for Flexible Coordination with Tacit Messages. E4MAS 2004: 215-231 - [c32]Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa:
Integrating objective & subjective coordination in multi-agent systems. SAC 2004: 449-455 - [c31]Davide Ancona, Rajeev R. Raje, Mirko Viroli:
Editorial message: special track on object oriented programming language and systems. SAC 2004: 1265-1266 - [c30]Mirko Viroli, Alessandro Ricci:
Timed Coordination Artifacts with ReSpecT. WOA 2004: 77-85 - [c29]Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini:
A Conceptual Framework for Self-Organising MAS. WOA 2004: 100-109 - [c28]Mirko Viroli:
Towards a Formal Foundation to Orchestration Languages. WSFM 2004: 51-71 - [c27]Andrea Omicini, Alessandro Ricci, Mirko Viroli:
RBAC for Organisation and Security in an Agent Coordination Infrastructure. SecCo 2004: 65-85 - [c26]Mirko Viroli:
Effective and Efficient Compilation of Run-Time Generics in Java. WOOD 2004: 95-116 - [c25]Mirko Viroli, Andrea Omicini:
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications. FOCLASA 2004: 123-144 - 2003
- [c24]Federico Bergenti, Giovanni Rimassa, Mirko Viroli:
Operational semantics for agents: the grey-box modeling approach. AAMAS 2003: 934-935 - [c23]Federico Bergenti, Giovanni Rimassa, Mirko Viroli:
Operational Semantics for Agents by Iterated Refinement. DALT 2003: 37-53 - [c22]Mirko Viroli:
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media. SAC 2003: 394-401 - [c21]Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli:
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN. WOA 2003: 85-91 - [c20]Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. SecCo 2003: 17-36 - [c19]Mirko Viroli:
Verifying Properties of Coordination by Well-Structured Transition Systems. FOCLASA 2003: 67-96 - [c18]Ronaldo Menezes, Andrea Omicini, Mirko Viroli:
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study. FOCLASA 2003: 97-124 - 2002
- [c17]Mirko Viroli, Andrea Omicini:
Specifying agent observable behaviour. AAMAS 2002: 712-720 - [c16]Mirko Viroli, Andrea Omicini:
Tuple-Based Models in the Observation Framework. COORDINATION 2002: 364-379 - [c15]Atsushi Igarashi, Mirko Viroli:
On Variance-Based Subtyping for Parametric Types. ECOOP 2002: 441-469 - [c14]Giovanni Rimassa, Mirko Viroli:
An Operational Framework for the Semantics of Agent Communication Languages. ESAW 2002: 111-125 - [c13]Mirko Viroli, Andrea Omicini:
A Specification Language for Agents Observable Behavior. IC-AI 2002: 321-327 - [c12]Mirko Viroli, Alessandro Ricci:
Tuple-Based Coordination Models in Event-Based Scenarios. ICDCS Workshops 2002: 595-601 - [c11]Alessandro Ricci, Andrea Omicini, Mirko Viroli:
Extending ReSpecT for Multiple Coordination Flows. PDPTA 2002: 1407-1413 - [c10]Mirko Viroli, Andrea Omicini, Alessandro Ricci:
On the Expressiveness of Event-based Coordination Media. PDPTA 2002: 1414-1420 - [c9]Ronaldo Menezes, Andrea Omicini, Mirko Viroli:
Have ReSpecT for LogOp. WOA 2002: 94-99 - [c8]Mirko Viroli, Andrea Omicini:
Coordination as a Service: Ontological and Formal Foundation. FOCLASA 2002: 457-482 - 2001
- [c7]Gianluca Moro, Mirko Viroli:
Enabling Business Cooperation using a Publish-Subscribe Architecture Aware of Transactions. HICSS 2001 - [c6]Mirko Viroli, Gianluca Moro, Andrea Omicini:
On observation as a coordination paradigm: an ontology and a formal framework. SAC 2001: 166-175 - [c5]Mirko Viroli:
Parametric polymorphism in Java: an efficient implementation for parametric methods. SAC 2001: 610-619 - [c4]Mirko Viroli, Andrea Omicini:
Multi-Agent Systems as Composition of Observable Systems. WOA 2001: 62-67 - 2000
- [c3]Gianluca Moro, Mirko Viroli:
On Observing and Constraining Active Systems. ESAW 2000: 34-50 - [c2]Mirko Viroli, Antonio Natali:
Parametric polymorphism in Java: an approach to translation based on reflective features. OOPSLA 2000: 146-165 - [c1]Gianluca Moro, Antonio Natali, Mirko Viroli:
On the Consistent Observation of Active Systems. WOA 2000: 47-51
Parts in Books or Collections
- 2024
- [p7]Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Actor-Based Designs for Distributed Self-organisation Programming. Active Object Languages: Current Research Trends 2024: 37-58 - 2018
- [p6]Roberto Casadei, Mirko Viroli:
Programming Actor-Based Collective Adaptive Systems. Programming with Actors 2018: 94-122 - 2012
- [p5]Sara Montagna, Mirko Viroli:
A Computational Framework for Multilevel Morphologies. Morphogenetic Engineering, Toward Programmable Complex Systems 2012: 383-405 - 2011
- [p4]Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli:
Middleware Infrastructures for Self-organising Pervasive Computing Systems. Self-organising Software 2011: 313-344 - 2009
- [p3]Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini:
Environment Programming in CArtAgO. Multi-Agent Programming, Languages, Tools and Applications 2009: 259-288 - [p2]Mirko Viroli, Luca Gardelli, Andrea Omicini:
Combining Simulation and Formal Tools for Developing Self-Organizing MAS. Multi-Agent Systems 2009: 133-165 - [p1]Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli:
Agents, Intelligence and Tools. Artificial Intelligence: An International Perspective 2009: 157-173
Editorship
- 2015
- [e7]Tom Holvoet, Mirko Viroli:
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. Lecture Notes in Computer Science 9037, Springer 2015, ISBN 978-3-319-19281-9 [contents] - 2010
- [e6]Andrea Omicini, Mirko Viroli:
Proceedings of the 11th WOA 2010 Workshop, Dagli Oggetti Agli Agenti, Rimini, Italy, September 5-7, 2010. CEUR Workshop Proceedings 621, CEUR-WS.org 2010 [contents] - 2008
- [e5]Carlos Canal, Pascal Poizat, Mirko Viroli:
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007. Electronic Notes in Theoretical Computer Science 194(4), Elsevier 2008 [contents] - 2007
- [e4]Carlos Canal, Mirko Viroli:
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2006, Bonn, Germany, August 31, 2006. Electronic Notes in Theoretical Computer Science 175(2), Elsevier 2007 [contents] - 2006
- [e3]Carlos Canal, Mirko Viroli:
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 154(1), Elsevier 2006 [contents] - 2005
- [e2]Dina Q. Goldin, Mirko Viroli:
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141(5), Elsevier 2005 [contents] - 2001
- [e1]Andrea Omicini, Mirko Viroli:
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. Pitagora Editrice Bologna 2001, ISBN 88-371-1272-6 [contents]
Data and Artifacts
- 2022
- [d2]Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli:
Dynamic decentralization domains for the Internet of Things - Simulation Repository. IEEE DataPort, 2022
- 2020
- [d1]Andrea Placuzzi, Danilo Pianini, Roberto Casadei, Mirko Viroli, Danny Weyns:
aPlacuzzi/Experiment-2020-FutureInternet-LoRa 0.1.0-2020-11-24T153641. Zenodo, 2020
Informal and Other Publications
- 2024
- [i11]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
MacroSwarm: A Field-based Compositional Framework for Swarm Programming. CoRR abs/2401.10969 (2024) - [i10]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes in the eXchange Calculus. CoRR abs/2401.11212 (2024) - [i9]Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli:
Software Engineering for Collective Cyber-Physical Ecosystems. CoRR abs/2406.04780 (2024) - [i8]Davide Domini, Gianluca Aguzzi, Nicolas Farabegoli, Mirko Viroli, Lukas Esterle:
Proximity-based Self-Federated Learning. CoRR abs/2407.12410 (2024) - 2022
- [i7]Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli:
Space-fluid Adaptive Sampling by Self-Organisation. CoRR abs/2210.17505 (2022) - 2020
- [i6]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Computation Against a Neighbour. CoRR abs/2012.08626 (2020) - [i5]Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli:
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers. CoRR abs/2012.13806 (2020) - 2019
- [i4]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. CoRR abs/1910.02874 (2019) - 2017
- [i3]Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. CoRR abs/1711.08297 (2017) - 2016
- [i2]Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
A Higher-order Calculus of Computational Fields. CoRR abs/1610.08116 (2016) - 2012
- [i1]Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll:
Organizing the Aggregate: Languages for Spatial Computing. CoRR abs/1202.5509 (2012)
Coauthor Index
[j87] [j86] [j85] [j83] [j82] [j81] [j80] [j79] [j78] [j76] [j75] [j74] [j73] [j72] [j71] [j70] [j68] [j66] [j65] [j64] [j63] [j59] [c212] [c209] [c208] [c205] [c203] [c202] [c200] [c199] [c198] [c197] [c196] [c195] [c194] [c193] [c192] [c191] [c190] [c189] [c188] [c187] [c184] [c183] [c182] [c178] [c177] [c175] [c172] [c171] [c169] [c168] [c166] [c160] [c158] [c154] [c153] [c152] [c148] [p7] [p6] [d2] [d1] [i11] [i10] [i9] [i7] [i6] [i5]
[j85] [j83] [j81] [j80] [j77] [j75] [j74] [j71] [j69] [j67] [j63] [j62] [j60] [j58] [j55] [j52] [j49] [j36] [c200] [c194] [c193] [c185] [c184] [c181] [c179] [c177] [c176] [c174] [c170] [c169] [c167] [c164] [c163] [c160] [c156] [c150] [c148] [c142] [c137] [c136] [c131] [c97] [c96] [p7] [i10] [i9] [i6] [i4] [i3] [i2]
[j61] [j48] [j39] [j37] [j32] [j27] [j25] [j24] [j20] [j15] [j14] [j13] [j12] [j11] [j9] [j8] [j4] [j2] [j1] [c168] [c151] [c132] [c126] [c117] [c109] [c106] [c104] [c98] [c91] [c89] [c88] [c82] [c81] [c79] [c72] [c67] [c65] [c64] [c63] [c59] [c58] [c57] [c54] [c52] [c51] [c50] [c49] [c48] [c44] [c43] [c40] [c35] [c34] [c33] [c32] [c29] [c27] [c25] [c21] [c20] [c18] [c17] [c16] [c13] [c11] [c10] [c9] [c8] [c6] [c4] [p3] [p2] [p1] [e6] [e1]
[j87] [j86] [j82] [j79] [j78] [j76] [j75] [j74] [j73] [j70] [j69] [j68] [j67] [j66] [j65] [j64] [j63] [j62] [j61] [j58] [j57] [j55] [j53] [j50] [j48] [j47] [j43] [c205] [c203] [c197] [c195] [c194] [c191] [c188] [c186] [c182] [c179] [c178] [c177] [c174] [c172] [c171] [c169] [c168] [c162] [c161] [c159] [c155] [c153] [c152] [c151] [c150] [c149] [c142] [c140] [c139] [c138] [c137] [c135] [c130] [c129] [c128] [c127] [c125] [c120] [c119] [c112] [c110] [c106] [d2] [d1] [i9] [i7] [i5] [i4] [i3] [i2]
[j61] [j57] [j56] [j36] [j35] [j30] [j25] [j22] [j20] [j19] [j16] [j15] [j14] [j12] [j11] [j8] [j7] [j5] [j4] [c189] [c187] [c151] [c145] [c144] [c143] [c140] [c138] [c97] [c96] [c95] [c94] [c93] [c81] [c76] [c74] [c72] [c66] [c65] [c64] [c57] [c54] [c51] [c50] [c49] [c48] [c47] [c44] [c40] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c30] [c29] [c27] [c21] [c20] [c12] [c11] [c10] [p3] [p1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
