CASADEI, ROBERTO

CASADEI, ROBERTO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Ricercatori a tempo determinato  

Risultati 1 - 20 di 38 (tempo di esecuzione: 0.136 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Adaptive distributed monitors of spatial properties for cyber–physical systems Audrito G.; Casadei R.; Damiani F.; Stolz V.; Viroli M. 2021-01-01 THE JOURNAL OF SYSTEMS AND SOFTWARE - 1.01 Articolo in rivista -
Aggregate processes in field calculus Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani 2019-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems Casadei R.; Placuzzi A.; Viroli M.; Weyns D. 2021-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno -
Case studies for a new IoT programming paradigm: Fluidware Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli 2019-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno paper6.pdf
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT Casadei, Roberto; Viroli, Mirko 2018-01-01 - IEEE 4.01 Contributo in Atti di convegno -
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time Casadei R.; Viroli M.; Ricci A. 2020-01-01 - IEEE 4.01 Contributo in Atti di convegno -
Combining trust and aggregate computing Casadei, Roberto*; Aldini, Alessandro; Viroli, Mirko 2018-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer Verlag 4.01 Contributo in Atti di convegno -
Compositional Blocks for Optimal Self-Healing Gradients Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko 2017-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -
Coordinating computation at the edge: A decentralized, self-organizing, spatial approach Roberto Casadei; Mirko Viroli 2019-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno -
A development approach for collective opportunistic Edge-of-Things services Casadei Roberto; Fortino Giancarlo; Pianini Danilo; Russo Wilma; Savaglio Claudio; Viroli Mirko 2019-01-01 INFORMATION SCIENCES - 1.01 Articolo in rivista -
Digital twins, virtual devices, and augmentations for self-organising cyber-physical collectives Casadei R.; Pianini D.; Viroli M.; Weyns D. 2022-01-01 APPLIED SCIENCES - 1.01 Articolo in rivista -
Engineering collective intelligence at the edge with aggregate processes Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F. 2021-01-01 ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE - 1.01 Articolo in rivista -
Engineering resilient collaborative edge-enabled IoT Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar 2019-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno -
Fostering resilient execution of multi-agent plans through self-organisation Audrito G.; Casadei R.; Torta G. 2021-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno -
From distributed coordination to field calculus and aggregate computing Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo 2019-01-01 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - 1.01 Articolo in rivista ViroliM_postprint.pdf
From Field-Based Coordination to Aggregate Computing Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo 2018-01-01 - Springer 4.01 Contributo in Atti di convegno -
FScaFi : A Core Calculus for Collective Adaptive Systems Programming Casadei R.; Viroli M.; Audrito G.; Damiani F. 2020-01-01 - Springer 4.01 Contributo in Atti di convegno -
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing Casadei, Roberto; Fortino, Giancarlo; Pianini, Danilo; Russo, Wilma; Savaglio, Claudio*; Viroli, Mirko 2019-01-01 FUTURE GENERATION COMPUTER SYSTEMS - 1.01 Articolo in rivista -
On context-orientation in aggregate programming Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli: 2019-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno -
On execution platforms for large-scale aggregate computing Viroli, Mirko; Casadei, Roberto; Pianini, Danilo 2016-01-01 - Association for Computing Machinery, Inc 4.01 Contributo in Atti di convegno -