Citations (84)
Keep up to date with the latest research on this topic with citation updates for this article.
Articles from other publishers (84)
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman & Michele Loreti. (2024) Sibilla: A tool for reasoning about collective systems. Science of Computer Programming 235, pages 103095.
Crossref
Crossref
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi & Mirko Viroli. (2024) The eXchange Calculus (XC): A functional programming language design for distributed collective systems. Journal of Systems and Software 210, pages 111976.
Crossref
Crossref
Giorgio Audrito & Gianluca Torta. (2024) FCPP to aggregate them all. Science of Computer Programming 231, pages 103026.
Crossref
Crossref
Roberto Casadei, Francesco Dente, Gianluca Aguzzi, Danilo Pianini & Mirko Viroli. (2023) Self-Organisation Programming: A Functional Reactive Macro Approach. Self-Organisation Programming: A Functional Reactive Macro Approach.
Gianluca Aguzzi, Mirko Viroli & Lukas Esterle. (2023) Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks. Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks.
Giorgio Audrito, Alberto Riccardo Martinelli & Gianluca Torta. (2023) Parallelising an Aggregate Programming Framework with Message-Passing Interface. Parallelising an Aggregate Programming Framework with Message-Passing Interface.
Roberto Casadei, Gianluca Aguzzi, Danilo Pianini & Mirko Viroli. (2023) Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More. Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More.
Zofia Wrona, Wojciech Buchwald, Maria Ganzha, Marcin Paprzycki, Florin Leon, Noman Noor & Constantin-Valentin Pal. (2023) Overview of Software Agent Platforms Available in 2023. Information 14:6, pages 348.
Crossref
Crossref
Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta & Mirko Viroli. (2022) A field-based computing approach to sensing-driven clustering in robot swarms. Swarm Intelligence 17:1-2, pages 27-62.
Crossref
Crossref
Giorgio Audrito, Federico Terraneo & William Fornaciari. (2023) FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems. IEEE Transactions on Parallel and Distributed Systems 34:3, pages 869-880.
Crossref
Crossref
Davide Domini, Filippo Cavallari, Gianluca Aguzzi & Mirko Viroli. 2023. Coordination Models and Languages. Coordination Models and Languages
52
70
.
Gianluca Aguzzi, Roberto Casadei & Mirko Viroli. 2023. Coordination Models and Languages. Coordination Models and Languages
31
51
.
Angelo Filaseta & Danilo Pianini. 2023. Distributed Applications and Interoperable Systems. Distributed Applications and Interoperable Systems
93
109
.
Roberto Casadei, Mirko Viroli, Gianluca Aguzzi & Danilo Pianini. (2022) ScaFi: A Scala DSL and Toolkit for Aggregate Programming. SoftwareX 20, pages 101248.
Crossref
Crossref
Gianluca Aguzzi, Roberto Casadei, Danilo Pianini & Mirko Viroli. (2022) Dynamic Decentralization Domains for the Internet of Things. IEEE Internet Computing 26:6, pages 16-23.
Crossref
Crossref
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio & Mirko Viroli. (2022) A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge. IEEE Internet of Things Journal 9:20, pages 20136-20148.
Crossref
Crossref
Ian Riley & Rose Gamble. (2022) Engineering Collective Adaptive Systems with CASSim. Engineering Collective Adaptive Systems with CASSim.
Danilo Pianini, Roberto Casadei & Mirko Viroli. (2022) Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning. Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning.
Danilo Pianini, Federico Pettinari, Roberto Casadei & Lukas Esterle. (2022) A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems. ACM Transactions on Autonomous and Adaptive Systems 17:1-2, pages 1-39.
Crossref
Crossref
Giorgio Audrito, Ferruccio Damiani & Gianluca Torta. 2022. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
301
317
.
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli & Franco Zambonelli. 2022. Coordination Models and Languages. Coordination Models and Languages
99
117
.
Gianluca Aguzzi, Roberto Casadei & Mirko Viroli. 2022. Coordination Models and Languages. Coordination Models and Languages
72
91
.
Giorgio Audrito, Luigi Rapetta & Gianluca Torta. 2022. Coordination Models and Languages. Coordination Models and Languages
55
71
.
Roberto Casadei, Danilo Pianini, Mirko Viroli & Danny Weyns. (2021) Digital Twins, Virtual Devices, and Augmentations for Self-Organising Cyber-Physical Collectives. Applied Sciences 12:1, pages 349.
Crossref
Crossref
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini & Mirko Viroli. (2021) Optimal resilient distributed data collection in mobile edge environments. Computers & Electrical Engineering 96, pages 107580.
Crossref
Crossref
Gianluca Aguzzi. (2021) Research directions for Aggregate Computing with Machine Learning. Research directions for Aggregate Computing with Machine Learning.
Roberto Casadei, Andrea Placuzzi, Mirko Viroli & Danny Weyns. (2021) Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems. Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz & Mirko Viroli. (2021) Adaptive distributed monitors of spatial properties for cyber–physical systems. Journal of Systems and Software 175, pages 110908.
Crossref
Crossref
Roberto Casadei, Gianluca Aguzzi & Mirko Viroli. (2021) A Programming Approach to Collective Autonomy. Journal of Sensor and Actuator Networks 10:2, pages 27.
Crossref
Crossref
Giorgio Audrito, Danilo Pianini, Ferruccio Damiani & Mirko Viroli. (2021) Aggregate centrality measures for IoT-based coordination. Science of Computer Programming 203, pages 102584.
Crossref
Crossref
Danilo Pianini, Roberto Casadei, Mirko Viroli & Antonio Natali. (2021) Partitioned integration and coordination via the self-organising coordination regions pattern. Future Generation Computer Systems 114, pages 44-68.
Crossref
Crossref
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini & Ferruccio Damiani. (2021) Engineering collective intelligence at the edge with aggregate processes. Engineering Applications of Artificial Intelligence 97, pages 104081.
Crossref
Crossref
Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte & Davide Calvaresi. 2021. Explainable and Transparent AI and Multi-Agent Systems. Explainable and Transparent AI and Multi-Agent Systems
139
157
.
Danilo Pianini. 2021. Distributed Applications and Interoperable Systems. Distributed Applications and Interoperable Systems
145
161
.
Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini & Mirko Viroli. 2021. Coordination Models and Languages. Coordination Models and Languages
285
299
.
Roberto Casadei, Mirko Viroli, Alessandro Ricci & Giorgio Audrito. 2021. Coordination Models and Languages. Coordination Models and Languages
149
167
.
Giorgio Audrito. (2020) FCPP: an efficient and extensible Field Calculus framework. FCPP: an efficient and extensible Field Calculus framework.
Sara Montagna & Andrea Omicini. 2020. Data Analytics in Medicine. Data Analytics in Medicine
369
389
.
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani & Mirko Viroli. 2020. Coordination Models and Languages. Coordination Models and Languages
211
229
.
Danilo Pianini, Stefano Mariani, Mirko Viroli & Franco Zambonelli. 2020. Coordination Models and Languages. Coordination Models and Languages
193
210
.
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei & Danilo Pianini. (2019) From distributed coordination to field calculus and aggregate computing. Journal of Logical and Algebraic Methods in Programming 109, pages 100486.
Crossref
Crossref
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio & Mirko Viroli. (2019) A development approach for collective opportunistic Edge-of-Things services. Information Sciences 498, pages 154-169.
Crossref
Crossref
Euijong Lee, Young-Duk Seo & Young-Gab Kim. (2019) Self-Adaptive Framework Based on MAPE Loop for Internet of Things. Sensors 19:13, pages 2996.
Crossref
Crossref
Danilo Pianini, Roberto Casadei & Mirko Viroli. (2019) Security in Collective Adaptive Systems: A Roadmap. Security in Collective Adaptive Systems: A Roadmap.
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio & Mirko Viroli. (2019) Modelling and simulation of Opportunistic IoT Services with Aggregate Computing. Future Generation Computer Systems 91, pages 252-262.
Crossref
Crossref
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini & Jacob Beal. (2019) A Higher-Order Calculus of Computational Fields. ACM Transactions on Computational Logic 20:1, pages 1-55.
Crossref
Crossref
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini & Mirko Viroli. 2019. Coordination Models and Languages. Coordination Models and Languages
54
71
.
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini & Ferruccio Damiani. 2019. Coordination Models and Languages. Coordination Models and Languages
200
217
.
Roberto Casadei, Danilo Pianini, Mirko Viroli & Antonio Natali. 2019. Coordination Models and Languages. Coordination Models and Languages
182
199
.
Roberto Casadei, Alessandro Aldini & Mirko Viroli. (2018) Towards attack-resistant Aggregate Computing using trust mechanisms. Science of Computer Programming 167, pages 114-137.
Crossref
Crossref
Giorgio Audrito, Ferruccio Damiani & Mirko Viroli. (2018) Optimal single-path information propagation in gradient-based algorithms. Science of Computer Programming 166, pages 146-166.
Crossref
Crossref
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani & Danilo Pianini. (2018) Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. ACM Transactions on Modeling and Computer Simulation 28:2, pages 1-28.
Crossref
Crossref
Giorgio Audrito & Sergio Bergamini. (2018) Resilient Blocks for Summarising Distributed Data. Electronic Proceedings in Theoretical Computer Science 264, pages 23-26.
Crossref
Crossref
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei & Danilo Pianini. 2018. Coordination Models and Languages. Coordination Models and Languages
252
279
.
Roberto Casadei, Alessandro Aldini & Mirko Viroli. 2018. Software Engineering and Formal Methods. Software Engineering and Formal Methods
507
522
.
Jacob Beal, Mirko Viroli, Danilo Pianini & Ferruccio Damiani. (2017) Self-Adaptation to Device Distribution in the Internet of Things. ACM Transactions on Autonomous and Adaptive Systems 12:3, pages 1-29.
Crossref
Crossref
Sara Montagna & Andrea Omicini. (2017) Agent-based modeling for the self-management of chronic diseases: An exploratory study. SIMULATION 93:9, pages 781-793.
Crossref
Crossref
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani & Mirko Viroli. (2017) Compositional Blocks for Optimal Self-Healing Gradients. Compositional Blocks for Optimal Self-Healing Gradients.
Danilo Pianini, Simon Dobson & Mirko Viroli. (2017) Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration. Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration.
Danilo Pianini, Jacob Beal & Mirko Viroli. (2017) Practical Aggregate Programming with Protelis. Practical Aggregate Programming with Protelis.
Matteo Francia, Danilo Pianini, Jacob Beal & Mirko Viroli. (2017) Towards a Foundational API for Resilient Distributed Systems Design. Towards a Foundational API for Resilient Distributed Systems Design.
Iván García-Magariño, Guillermo Palacios-Navarro & Raquel Lacuesta. (2017) TABSAOND: A technique for developing agent-based simulation apps and online tools with nondeterministic decisions. Simulation Modelling Practice and Theory 77, pages 84-107.
Crossref
Crossref
Sara Montagna & Andrea Omicini. 2017. Multi-Agent-Based Simulations Applied to Biological and Environmental Systems. Multi-Agent-Based Simulations Applied to Biological and Environmental Systems
159
178
.
Maxime Louvel, François Pacull, Eric Rutten & Adja Ndeye Sylla. 2017. Coordination Models and Languages. Coordination Models and Languages
78
96
.
Giorgio Audrito, Ferruccio Damiani & Mirko Viroli. 2017. Coordination Models and Languages. Coordination Models and Languages
59
77
.
Jacob Beal, Mirko Viroli, Danilo Pianini & Ferruccio Damiani. (2016) Self-Adaptation to Device Distribution Changes. Self-Adaptation to Device Distribution Changes.
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini & Jacob Beal. (2016) Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE. Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE.
Roberto Casadei & Mirko Viroli. (2016) Towards Aggregate Programming in Scala. Towards Aggregate Programming in Scala.
Ferruccio Damiani, Mirko Viroli & Jacob Beal. (2016) A type-sound calculus of computational fields. Science of Computer Programming 117, pages 17-44.
Crossref
Crossref
Giovanna Di Marzo Serugendo. 2016. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
714
719
.
Stefano MarianiStefano Mariani. 2016. Coordination of Complex Sociotechnical Systems. Coordination of Complex Sociotechnical Systems
199
215
.
Danilo Pianini, Jacob Beal & Mirko Viroli. 2016. Coordination Models and Languages. Coordination Models and Languages
192
207
.
Jacob Beal & Mirko Viroli. 2016. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
233
260
.
Sara Montagna, Andrea Omicini & Danilo Pianini. 2016. Multi-Agent Based Simulation XVI. Multi-Agent Based Simulation XVI
3
18
.
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson & Franco Zambonelli. (2015) A coordination model of pervasive service ecosystems. Science of Computer Programming 110, pages 3-22.
Crossref
Crossref
Jacob Beal, Danilo Pianini & Mirko Viroli. (2015) Aggregate Programming for the Internet of Things. Computer 48:9, pages 22-30.
Crossref
Crossref
Danilo Pianini, Mirko Viroli & Jacob Beal. (2015) Protelis. Protelis.
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti & Angelo Croatti. 2015. PRIMA 2015: Principles and Practice of Multi-Agent Systems. PRIMA 2015: Principles and Practice of Multi-Agent Systems
49
64
.
Ferruccio Damiani, Mirko Viroli, Danilo Pianini & Jacob Beal. 2015. Formal Techniques for Distributed Objects, Components, and Systems. Formal Techniques for Distributed Objects, Components, and Systems
113
128
.
Danilo Pianini, Mirko Viroli, Franco Zambonelli & Alois Ferscha. (2014) HPC from a self-organisation perspective: The case of crowd steering at the urban scale. HPC from a self-organisation perspective: The case of crowd steering at the urban scale.
Danilo Pianini, Stefano Sebastio & Andrea Vandin. (2014) Distributed statistical analysis of complex systems modeled through a chemical metaphor. Distributed statistical analysis of complex systems modeled through a chemical metaphor.
Vincenzo De Florio, Mohamed Bakhouya, Antonio Coronato & Giovanna Di Marzo. (2013) Models and Concepts for Socio‐Technical Complex Systems: Towards Fractal Social Organizations. Systems Research and Behavioral Science 30:6, pages 750-772.
Crossref
Crossref
Stefano Mariani & Andrea Omicini. 2013. Algorithms and Architectures for Parallel Processing. Algorithms and Architectures for Parallel Processing
285
294
.
Roberto Casadei, Mirko Viroli, Gianluca Aguzzi & Danilo Pianini. (2022) ScaFI: A Scala DSL and Toolkit for Aggregate Programming. SSRN Electronic Journal.
Crossref
Crossref