ScaFi: A Scala DSL and Toolkit for Aggregate Programming
Casadei, Roberto, Viroli, Mirko, Aguzzi, Gianluca, Pianini, Danilo
Published in SoftwareX (01.12.2022)
Published in SoftwareX (01.12.2022)
Get full text
Journal Article
Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment
Casadei, Roberto, Pianini, Danilo, Placuzzi, Andrea, Viroli, Mirko, Weyns, Danny
Published in Future internet (01.11.2020)
Published in Future internet (01.11.2020)
Get full text
Journal Article
Digital Twins, Virtual Devices, and Augmentations for Self-Organising Cyber-Physical Collectives
Casadei, Roberto, Pianini, Danilo, Viroli, Mirko, Weyns, Danny
Published in Applied sciences (01.01.2022)
Published in Applied sciences (01.01.2022)
Get full text
Journal Article
Space-Fluid Adaptive Sampling by Self-Organisation
Casadei, Roberto, Mariani, Stefano, Pianini, Danilo, Viroli, Mirko, Zambonelli, Franco
Published in Logical methods in computer science (18.12.2023)
Published in Logical methods in computer science (18.12.2023)
Get full text
Journal Article
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers
Pianini, Danilo, Casadei, Roberto, Viroli, Mirko, Mariani, Stefano, Zambonelli, Franco
Published in Logical methods in computer science (01.01.2021)
Published in Logical methods in computer science (01.01.2021)
Get full text
Journal Article
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
Get full text
eBook
Conference Proceeding
Book
A Programming Approach to Collective Autonomy
Casadei, Roberto, Aguzzi, Gianluca, Viroli, Mirko
Published in Journal of sensor and actuator networks (01.06.2021)
Published in Journal of sensor and actuator networks (01.06.2021)
Get full text
Journal Article
Simulating Large-scale Aggregate MASs with Alchemist and Scala
Mirko Viroli, Roberto Casadei, Danilo Pianini
Published in Annals of Computer Science and Information Systems (03.11.2016)
Published in Annals of Computer Science and Information Systems (03.11.2016)
Get full text
Journal Article
Field-based Coordination with the Share Operator
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Published in Logical methods in computer science (01.01.2020)
Published in Logical methods in computer science (01.01.2020)
Get full text
Journal Article
On Distributed Runtime Verification by Aggregate Computing
Audrito, Giorgio, Damiani, Ferruccio, Stolz, Volker, Viroli, Mirko
Published in Electronic proceedings in theoretical computer science (27.08.2019)
Published in Electronic proceedings in theoretical computer science (27.08.2019)
Get full text
Journal Article
Aggregate Graph Statistics
Audrito, Giorgio, Damiani, Ferruccio, Viroli, Mirko
Published in Electronic proceedings in theoretical computer science (03.02.2018)
Published in Electronic proceedings in theoretical computer science (03.02.2018)
Get full text
Journal Article
Resiliency with Aggregate Computing: State of the Art and Roadmap
Viroli, Mirko, Beal, Jacob
Published in Electronic proceedings in theoretical computer science (07.07.2016)
Published in Electronic proceedings in theoretical computer science (07.07.2016)
Get full text
Journal Article
Lightweight family polymorphism
SAITO, CHIERI, IGARASHI, ATSUSHI, VIROLI, MIRKO
Published in Journal of functional programming (01.05.2008)
Published in Journal of functional programming (01.05.2008)
Get full text
Journal Article
Space-time programming
Beal, Jacob, Viroli, Mirko
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (28.07.2015)
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (28.07.2015)
Get full text
Journal Article