Per Year

24 publications / 2016–2024 / Roberto Casadei

long bib

2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016

2022

A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (IEEE Internet of Things Journal) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli

1 publication / 2022 • top • index • bottom

2021

Partitioned integration and coordination via the self-organising coordination regions pattern (Future Generation Computer Systems) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali

1 publication / 2021 • top • index • bottom

2020

Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (paper in proceedings) — Roberto Casadei, Mirko Viroli, Alessandro Ricci

1 publication / 2020 • top • index • bottom

2019

Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach () — Roberto Casadei, Mirko Viroli
Aggregate Processes in Field Calculus () — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
On Context-Orientation in Aggregate Programming () — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
Engineering Resilient Collaborative Edge-Enabled IoT () — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
From distributed coordination to field calculus and aggregate computing (Journal of Logical and Algebraic Methods in Programming) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
A development approach for collective opportunistic Edge-of-Things services (article in journal) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (Future Generation Computer Systems) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Self-organising Coordination Regions: a Pattern for Edge Computing () — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Case studies for a new IoT programming paradigm: Fluidware (AI&IoT 2019@AIIA 2019) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Security in Collective Adaptive Systems: A Roadmap () — Danilo Pianini, Roberto Casadei, Mirko Viroli

10 publications / 2019 • top • index • bottom

2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
From Field-Based Coordination to Aggregate Computing (COORDINATION 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
Combining Trust and Aggregate Computing () — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms (Science of Computer Programming) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT () — Roberto Casadei, Mirko Viroli
Programming Actor-Based Collective Adaptive Systems () — Roberto Casadei, Mirko Viroli

6 publications / 2018 • top • index • bottom

2017

Compositional Blocks for Optimal Self-Healing Gradients () — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli

1 publication / 2017 • top • index • bottom

2016

Simulating Large-scale Aggregate MASs with Alchemist and Scala () — Mirko Viroli, Roberto Casadei, Danilo Pianini
Run-Time Management of Computation Domains in Field Calculus () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
On Execution Platforms for Large-scale Aggregate Computing () — Mirko Viroli, Roberto Casadei, Danilo Pianini
Towards Aggregate Programming in Scala () — Roberto Casadei, Mirko Viroli

4 publications / 2016 • top • index • bottom