default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRoberto Casadei
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j27]Giorgio Audrito, Roberto Casadei
, Gianluca Torta:
A general framework and decentralised algorithms for collective computational processes. Future Gener. Comput. Syst. 158: 11-27 (2024)- [j26]Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli:
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime. Future Gener. Comput. Syst. 161: 545-558 (2024) - [j25]Roberto Casadei, Lukas Esterle, Rose F. Gamble, Paul Harvey, Elizabeth F. Wanner:
Editorial: Understanding and engineering cyber-physical collectives. Frontiers Robotics AI 11 (2024) - [j24]Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli:
Dynamic IoT deployment reconfiguration: A global-level self-organisation approach. Internet Things 28: 101412 (2024) - [j23]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) - [c40]Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli:
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design. COORDINATION 2024: 258-276 - [c39]Roberto Casadei, Giovanni Delnevo, Roberto Girau, Silvia Mirri:
Modelling Groups of Humans: Towards Crowd Digital Twins. ISCC 2024: 1-6 - [c38]Roberto Casadei, Mirko Viroli:
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report. PPDP 2024: 5:1-5:5 - [p2]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 - [i8]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
MacroSwarm: A Field-based Compositional Framework for Swarm Programming. CoRR abs/2401.10969 (2024) - [i7]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes in the eXchange Calculus. CoRR abs/2401.11212 (2024) - [i6]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) - 2023
- [j22]Roberto Casadei:
Artificial Collective Intelligence Engineering: A Survey of Concepts and Perspectives. Artif. Life 29(4): 433-467 (2023) - [j21]Roberto Casadei:
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling. ACM Comput. Surv. 55(13s): 275:1-275:37 (2023) - [j20]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) - [j19]Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli:
Space-Fluid Adaptive Sampling by Self-Organisation. Log. Methods Comput. Sci. 19(4) (2023) - [j18]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) - [c37]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 - [c36]Roberto Casadei, Francesco Dente, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli:
Self-Organisation Programming: A Functional Reactive Macro Approach. ACSOS 2023: 87-96 - [c35]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. COORDINATION 2023: 31-51 - [c34]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION 2023: 71-89 - [c33]Claudio Savaglio, Roberto Casadei, Pietro Manzoni, Mirko Viroli, Giancarlo Fortino:
Towards Collective Sentiment Analysis in IoT-Enabled Scenarios. DCOSS-IoT 2023: 755-760 - [i5]Roberto Casadei:
Artificial Collective Intelligence Engineering: a Survey of Concepts and Perspectives. CoRR abs/2304.05147 (2023) - 2022
- [j17]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) - [j16]Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli:
Dynamic Decentralization Domains for the Internet of Things. IEEE Internet Comput. 26(6): 16-23 (2022) - [j15]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) - [j14]Roberto Casadei, Mirko Viroli, Gianluca Aguzzi, Danilo Pianini:
ScaFi: A Scala DSL and Toolkit for Aggregate Programming. SoftwareX 20: 101248 (2022) - [j13]Danilo Pianini, Federico Pettinari, Roberto Casadei, Lukas Esterle:
A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems. ACM Trans. Auton. Adapt. Syst. 17: 4:1-4:39 (2022) - [c32]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach. ACSOS 2022: 11-20 - [c31]Giorgio Audrito, Roberto Casadei, Gianluca Torta:
On the Dynamic Evolution of Distributed Computational Aggregates. ACSOS-C 2022: 37-42 - [c30]Danilo Pianini, Roberto Casadei, Mirko Viroli:
Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning. ACSOS 2022: 81-90 - [c29]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
Towards Reinforcement Learning-based Aggregate Computing. COORDINATION 2022: 72-91 - [c28]Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli:
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. COORDINATION 2022: 99-117 - [c27]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 - [c26]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC. ECOOP 2022: 20:1-20:28 - [c25]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
Machine Learning for Aggregate Computing: a Research Roadmap. ICDCS Workshops 2022: 119-124 - [e2]Roberto Casadei, Elisabetta Di Nitto, Ilias Gerostathopoulos, Danilo Pianini, Ivana Dusparic, Timothy Wood, Phyllis R. Nelson, Evangelos Pournaras, Nelly Bencomo, Sebastian Götz, Christian Krupitzer, Claudia Raibulet:
IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2022, Virtual, CA, USA, September 19-23, 2022. IEEE 2022, ISBN 978-1-6654-7137-4 [contents] - [e1]Roberto Casadei, Elisabetta Di Nitto, Ilias Gerostathopoulos, Danilo Pianini, Ivana Dusparic, Timothy Wood, Phyllis R. Nelson, Evangelos Pournaras, Nelly Bencomo, Sebastian Götz, Christian Krupitzer, Claudia Raibulet:
IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022, Virtual, CA, USA, September 19-23, 2022. IEEE 2022, ISBN 978-1-6654-5142-0 [contents] - [d2]Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli:
Dynamic decentralization domains for the Internet of Things - Simulation Repository. IEEE DataPort, 2022
- [i4]Roberto Casadei:
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling. CoRR abs/2201.03473 (2022) - [i3]Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli:
Space-fluid Adaptive Sampling by Self-Organisation. CoRR abs/2210.17505 (2022) - 2021
- [j12]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) - [j11]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) - [j10]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) - [j9]Roberto Casadei, Gianluca Aguzzi, Mirko Viroli:
A Programming Approach to Collective Autonomy. J. Sens. Actuator Networks 10(2): 27 (2021) - [j8]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) - [j7]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) - [c24]Giorgio Audrito, Roberto Casadei, Gianluca Torta:
Fostering resilient execution of multi-agent plans through self-organisation. ACSOS-C 2021: 81-86 - [c23]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 - [c22]Roberto Casadei, Andrea Placuzzi, Mirko Viroli, Danny Weyns:
Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems. ACSOS-C 2021: 160-165 - [c21]Giorgio Audrito, Roberto Casadei, Gianluca Torta:
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes. ACSOS-C 2021: 297-298 - [c20]Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito:
Tuple-Based Coordination in Large-Scale Situated Systems. COORDINATION 2021: 149-167 - [c19]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
- [j6]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) - [j5]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) - [c18]Roberto Casadei, Mirko Viroli, Alessandro Ricci:
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time. ACSOS Companion 2020: 139-144 - [c17]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani:
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) 2020: 344-360 - [d1]Andrea Placuzzi, Danilo Pianini, Roberto Casadei, Mirko Viroli, Danny Weyns:
aPlacuzzi/Experiment-2020-FutureInternet-LoRa 0.1.0-2020-11-24T153641. Zenodo, 2020 - [i2]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Computation Against a Neighbour. CoRR abs/2012.08626 (2020) - [i1]Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli:
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers. CoRR abs/2012.13806 (2020)
2010 – 2019
- 2019
- [j4]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) - [j3]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) - [j2]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) - [c16]Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar:
Engineering Resilient Collaborative Edge-Enabled IoT. SCC 2019: 36-45 - [c15]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 - [c14]Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali:
Self-organising Coordination Regions: A Pattern for Edge Computing. COORDINATION 2019: 182-199 - [c13]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Aggregate Processes in Field Calculus. COORDINATION 2019: 200-217 - [c12]Roberto Casadei, Mirko Viroli:
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach. FMEC 2019: 60-67 - [c11]Danilo Pianini, Roberto Casadei, Mirko Viroli:
Security in Collective Adaptive Systems: A Roadmap. FAS*W@SASO/ICAC 2019: 86-91 - [c10]Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli:
On Context-Orientation in Aggregate Programming. FAS*W@SASO/ICAC 2019: 92-97 - 2018
- [j1]Roberto Casadei, Alessandro Aldini, Mirko Viroli:
Towards attack-resistant Aggregate Computing using trust mechanisms. Sci. Comput. Program. 167: 114-137 (2018) - [c9]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini:
From Field-Based Coordination to Aggregate Computing. COORDINATION 2018: 252-279 - [c8]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 - [c7]Roberto Casadei, Mirko Viroli:
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT. FAS*W@SASO/ICAC 2018: 106-111 - [p1]Roberto Casadei, Mirko Viroli:
Programming Actor-Based Collective Adaptive Systems. Programming with Actors 2018: 94-122 - 2017
- [c6]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100 - [c5]Roberto Casadei, Alessandro Aldini, Mirko Viroli:
Combining Trust and Aggregate Computing. SEFM Workshops 2017: 507-522 - 2016
- [c4]Roberto Casadei, Mirko Viroli:
Towards Aggregate Programming in Scala. PMLDC@ECOOP 2016: 5 - [c3]Mirko Viroli, Roberto Casadei, Danilo Pianini:
Simulating Large-scale Aggregate MASs with Alchemist and Scala. FedCSIS 2016: 1495-1504 - [c2]Mirko Viroli, Roberto Casadei, Danilo Pianini:
On execution platforms for large-scale aggregate computing. UbiComp Adjunct 2016: 1321-1326 - [c1]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei:
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC 2016: 192-197
Coauthor Index
[j26] [j24] [j23] [c40] [c38] [p2] [i8] [i7] [i6] [j20] [j19] [j18] [c37] [c36] [c35] [c34] [c33] [j17] [j16] [j15] [j14] [c32] [c30] [c29] [c28] [c27] [c26] [c25] [d2] [i3] [j12] [j11] [j10] [j9] [j8] [j7] [c23] [c22] [c20] [c19] [j6] [j5] [c18] [c17] [d1] [i2] [i1] [j4] [j3] [j2] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [j1] [c9] [c8] [c7] [p1] [c6] [c5] [c4] [c3] [c2] [c1]
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 2024-11-19 20:49 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:
