@article{smartcollectiveservices-ieeeiotj9,
author = {Casadei, Roberto and Giancarlo Fortino and Pianini, Danilo and Placuzzi, Andrea and Claudio Savaglio and Viroli, Mirko},
dblp = {journals/iotj/CasadeiFPPSV22},
doi = {10.1109/JIOT.2022.3172470},
ieee = {9768117},
journal = {IEEE Internet of Things Journal},
keywords = {cloud services, collective services, cyber–physical systems, deployment methodology, edge intelligence, mobile and ubiquitous systems, pulverizable architectures, service middleware and platform, simulation},
number = 20,
pages = {20136--20148},
title = {A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge},
url = {http://ieeexplore.ieee.org/document/9768117},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9768117},
volume = 9,
year = 2022
} @article{selforgcoord-fgcs114,
author = {Pianini, Danilo and Casadei, Roberto and Viroli, Mirko and Natali, Antonio},
doi = {10.1016/j.future.2020.07.032},
issn = {0167-739X},
journal = {Future Generation Computer Systems},
keywords = {Coordination, Distributed systems, Design patterns, Self-organisation, Self-improving integration, Edge computing, Aggregate programming},
pages = {44--68},
title = {Partitioned integration and coordination via the self-organising coordination regions pattern},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775},
volume = 114,
year = 2021} @article{VBDACP-JLAMP2019,
title = {From distributed coordination to field calculus and aggregate computing},
journal = {Journal of Logical and Algebraic Methods in Programming},
volume = {109},
year = {2019},
issn = {2352-2208},
doi = {10.1016/j.jlamp.2019.100486},
url = "http://www.sciencedirect.com/science/article/pii/S235222081930032X",
author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
keywords = "Distributed systems, Aggregate computing, Field calculus, Spatial computing",
publisher = {Elsevier},
} @article{CFPRSV-INFSCI2019,
title = {A development approach for collective opportunistic {Edge-of-Things} services},
journal = {Information Sciences},
publisher = {Elsevier},
volume = {498},
pages = {154--169},
year = {2019},
issn = {0020-0255},
doi = {10.1016/j.ins.2019.05.058},
url = {http://www.sciencedirect.com/science/article/pii/S002002551930461X},
author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
keywords = {Internet of Things, Edge computing, Smart city, Opportunistic services, Aggregate computing},
abstract = {Technological advances have recently fostered the Internet of Things vision, in which systems of situated entities perceive and act upon the world, and interact with one another to provide novel kinds of services, which are inherently cyber-physical, increasingly contextual and opportunistic in nature, and possibly span different scales and domains. The requirements of such IoT applications, however, pose significant non/functional challenges to engineering efforts, mitigated by emerging computing paradigms. On the infrastructure side, Cloud, Fog, and Edge Computing provide virtualised, on-demand, elastic resource provisioning – at the distant data centres, Network core and Edge – supporting the abstraction and scalability needs of IoT settings while also altogether giving options for QoS-driven trade-offs. However, despite intense research in these fields, there is still a gap of approaches supporting the engineering of dynamic, heterogeneous smart environments, such as those involving “collectives” of devices coordinating in a complex fashion to provide “global” services. In this paper, we integrate the Aggregate Computing and Opportunistic IoT Service models and propose a full-fledged approach for the engineering – from analysis to simulation – of complex “Edge of Things” applications. We compare by simulation two deployment targets for the same collective application: one centralised/Cloud-based, and the other decentralised/Edge-based. We discuss the trade-offs each one introduces, and we draw recommendations on application-driven choices of the appropriate deployment.}
} @article{opportunisticaggregate-fgcs91,
author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
doi = {10.1016/j.future.2018.09.005},
issn = {0167-739X},
journal = {Future Generation Computer Systems},
pages = {252--262},
publisher = {Elsevier B.V.},
title = {Modelling and Simulation of Opportunistic {IoT} Services with Aggregate Computing},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X18307246},
volume = 91,
year = 2019} @article{CAV-SCP2018,
Author = {Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
Doi = {10.1016/j.scico.2018.07.006},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Aggregate programming, Gradient, Information speed, Reliability, Spatial computing},
Pages = {114--137},
Title = {Towards attack-resistant Aggregate Computing using trust mechanisms},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642318303046},
Volume = 167,
Year = 2018}
@inproceedings{spatiotemporaltuples-ecas2020,
author = {Casadei, Roberto and Viroli, Mirko and Ricci, Alessandro},
booktitle = {2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)},
doi = {10.1109/ACSOS-C51401.2020.00045},
eisbn = {978-1-7281-8414-2},
ieee = {9196218},
isbn = {978-1-7281-8415-9},
location = {Washington, DC, USA},
month = sep,
pages = {139--144},
status = {Accepted with revision},
title = {Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time},
url = {https://ieeexplore.ieee.org/document/9196218},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9196218},
year = 2020
} @inproceedings{CTVD-SCC2019,
author={Casadei, Roberto and Tsigkanos, Christos and Viroli, Mirko and Dustdar, Schahram},
booktitle={2019 IEEE International Conference on Services Computing (SCC)},
title={Engineering Resilient Collaborative Edge-Enabled IoT},
year={2019},
volume={},
number={},
pages={36-45},
keywords={self organization;situated problem solving;decentralized coordination;collective intelligence;edge computing},
doi={10.1109/SCC.2019.00019},
ISSN={2474-2473},
month={July}} @inproceedings{CV-FMEC2019,
author={Casadei, Roberto AND Viroli, Mirko},
booktitle={2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC)},
title={Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach},
year={2019},
volume={},
number={},
pages={60-67},
keywords={edge computing;self-organization;decentralized computing;spatial computing;distributed coordination},
doi={10.1109/FMEC.2019.8795355},
ISSN={},
month={June}}
@inproceedings{CPVN-COORD2019,
author = {Casadei, Roberto and Pianini, Danilo and Viroli, Mirko and Natali, Antonio },
title = {Self-organising Coordination Regions: {A} Pattern for Edge Computing},
booktitle = {Coordination Models and Languages, Proceedings},
pages = {182--199},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_11},
doi = {10.1007/978-3-030-22397-7\_11},
editor = {Riis Nielson, Hanne and Tuosto, Emilio},
series = {Lecture Notes in Computer Science},
volume = {11533},
publisher = {Springer}
}
@proceedings{,
year = 2019,
keywords = {Fluidware; IoT programming; coordination},
status = {Published},
venue_list = {--},
series = {CEUR Workshop Proceedings},
author = {Mariani, Stefano and Casadei, Roberto and Fornari, Fabrizio and Fortino, Giancarlo and Pianini, Danilo and Re, Barbara and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zambonelli, Franco},
title = {Case studies for a new IoT programming paradigm: Fluidware},
abstract = {A number of scientific and technological advancements enabled turning the Internet of Things vision into reality. However, there is still a bottleneck in designing and developing IoT applications and services: each device has to be programmed individually, and services are deployed to specific devices. The Fluidware approach advocates that to
truly scale and raise the level of abstraction a novel perspective is needed, focussing on device ensembles and dynamic allocation of resources. In this paper, we motivate the need for such a paradigm shift through three
case studies emphasising a mismatch between state of art solutions and desired properties to achieve},
volume = 2502} @inproceedings{CVAPD-COORD2019,
Author = {Casadei, Roberto and Viroli, Mirko and Audrito, Giorgio and Pianini, Danilo and Damiani, Ferruccio},
Booktitle = {Coordination Models and Languages},
Doi = {10.1007/978-3-030-22397-7_12},
Editor = {Riis Nielson, Hanne and Tuosto, Emilio},
Note = {21st {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
Pages = {200--217},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Aggregate Processes in Field Calculus},
Url = {http://link.springer.com/10.1007978-3-030-22397-7_12},
Volume = 11533,
Year = 2019} @inproceedings{DBLP:conf/saso/PianiniCV19,
author = {Danilo Pianini and
Roberto Casadei and
Mirko Viroli},
title = {Security in Collective Adaptive Systems: {A} Roadmap},
booktitle = {{IEEE} 4th International Workshops on Foundations and Applications
of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20,
2019},
pages = {86--91},
year = {2019},
crossref = {DBLP:conf/saso/2019fasw},
url = {https://doi.org/10.1109/FAS-W.2019.00034},
doi = {10.1109/FAS-W.2019.00034},
timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
biburl = {https://dblp.org/rec/bib/conf/saso/PianiniCV19},
bibsource = {dblp computer science bibliography, https://dblp.org}
} @inproceedings{DBLP:conf/saso/CasadeiPSV19,
author = {Roberto Casadei and
Danilo Pianini and
Guido Salvaneschi and
Mirko Viroli},
title = {On Context-Orientation in Aggregate Programming},
booktitle = {{IEEE} 4th International Workshops on Foundations and Applications
of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20,
2019},
pages = {92--97},
year = {2019},
crossref = {DBLP:conf/saso/2019fasw},
url = {https://doi.org/10.1109/FAS-W.2019.00035},
doi = {10.1109/FAS-W.2019.00035},
timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
biburl = {https://dblp.org/rec/bib/conf/saso/CasadeiPSV19},
bibsource = {dblp computer science bibliography, https://dblp.org}
} @inproceedings{blockchain-goodtechs2018,
acm = {10.1145/3284869.3284870},
address = {New Work, NY, USA},
author = {Pianini, Danilo and Ciatto, Giovanni and Casadei, Roberto and Mariani, Stefano and Viroli, Mirko and Omicini, Andrea},
booktitle = {GOODTECHS'18 -- Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good},
dblp = {conf/goodtechs/PianiniCC0VO18},
doi = {10.1145/3284869.3284870},
iris = {11585/655097},
keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
location = {Bologna, Italy},
month = nov,
pages = {271--276},
publisher = {ACM},
scholar = {3798219571928546753},
scopus = {2-s2.0-85061088949},
title = {Transparent Protection of Aggregate Computations from {B}yzantine Behaviours via Blockchain},
url = {http://dl.acm.org/citation.cfm?doid=3284870},
wos = {000470918900046},
year = 2018
} @inproceedings{casadei2018ecas,
booktitle = {2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W)},
year = 2018,
status = {Published},
author = {Casadei, Roberto and Viroli, Mirko},
title = {Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT},
pages = {106--111},
doi = {10.1109/FAS-W.2018.00033}} @inproceedings{VBDACP-COORDNATION2018,
author = {Viroli, Mirko and
Beal, Jacob and
Damiani, Ferruccio and
Audrito, Giorgio and
Casadei, Roberto and
Pianini, Danilo },
title = {From Field-Based Coordination to Aggregate Computing},
booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2018, Held as Part of the 13th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2018, Madrid, Spain, June 18-21, 2018. Proceedings},
editor = {Di Marzo Serugendo, Giovanna and
Loreti, Michele},
series = {Lecture Notes in Computer Science},
volume = {10852},
publisher = {Springer},
pages = {252--279},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92408-3_12},
doi = {10.1007/978-3-319-92408-3_12},
} @InProceedings{CAV-FOCLASA2017-LNCS10729,
author={Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
editor={Cerone, Antonio and Roveri, Marco},
title={Combining Trust and Aggregate Computing},
booktitle={Software Engineering and Formal Methods},
year={2018},
publisher={Springer International Publishing},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages={507--522},
abstract={Recent trends such as the Internet of Things and pervasive computing demand for novel engineering approaches able to support the specification and scalable runtime execution of adaptive behaviour of large collections of interacting devices. Aggregate computing is one such approach, formally founded in the field calculus, which enables programming of device aggregates by a global stance, through a functional composition of self-organisation patterns that is turned automatically into repetitive local computations and gossip-like interactions. However, the logically decentralised and open nature of such algorithms and systems presumes a fundamental cooperation of the devices involved: an error in a device or a focused attack may significantly compromise the computation outcome and hence the algorithms built on top of it. We propose trust as a framework to detect, ponder or isolate voluntary/involuntary misbehaviours, with the goal of mitigating the influence on the overall computation. To better understand the fragility of aggregate systems in face of attacks and investigate possible countermeasures, in this paper we consider the paradigmatic case of the gradient algorithm, analysing the impact of offences and the mitigation afforded by the adoption of trust mechanisms.},
isbn={978-3-319-74781-1}
} @inproceedings{ACDV-SASO2017,
author = {Audrito, Giorgio and Casadei, Roberto and Damiani, Ferruccio and Viroli, Mirko},
title = {Compositional Blocks for Optimal Self-Healing Gradients},
booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
pages = {91--100},
year = {2017},
url = {http://doi.ieeecomputersociety.org/10.1109/SASO.2017.18},
doi = {10.1109/SASO.2017.18},
publisher = {{IEEE} Computer Society},
isbn = {978-1-5090-6555-4}
} @inproceedings{casadei-mass2016,
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
title = {Simulating Large-scale Aggregate MASs with Alchemist and Scala},
booktitle = {Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September 11-14, 2016.},
pages = {1495--1504},
editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
month = {11-14 September},
publisher = {IEEE Computer Society Press},
address = {Gdansk, Poland},
year = {2016},
status = {Published},
url = {http://dx.doi.org/10.15439/2016F407},
doi = {10.15439/2016F407},
timestamp = {Tue, 18 Oct 2016 14:39:01 +0200},
abstract = {Recent works in the context of large-scale adaptive systems, such as those based on opportunistic IoT-based applications, promote aggregate programming, a development approach for distributed systems in which the collectivity of devices is directly targeted, instead of individual ones. This makes the resulting behaviour highly insensitive to network size, density, and topology, and as such, intrinsically robust to failures and changes to working conditions (e.g., location of computational load, communication technology, and computational infrastructure). Most specifically, we argue that aggregate programming is particularly suitable for building models and simulations of complex large-scale reactive MASs. Accordingly, in this paper we describe SCAFI (Scala Fields), a Scala-based API and DSL for aggregate programming, and its integration with the ALCHEMIST simulator, and usage scenarios in the context of smart mobility.}
} @INPROCEEDINGS{AFVC-ECAS2016,
author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Casadei, Roberto},
title = {Run-Time Management of Computation Domains in Field Calculus},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Augsburg, Germany, September 12--16, 2016},
pages = {192--197},
year = 2016,
url = {https://doi.org/10.1109/FAS-W.2016.50},
doi = {10.1109/FAS-W.2016.50},
editor = {Elnikety, Sameh and Lewis, Peter R. and M{\"{u}}ller{-}Schloer, Christian},
isbn = {978-1-5090-3651-6}
}
@inproceedings{AggregatecomputingVlsubicomp16,
author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
title = {On Execution Platforms for Large-scale Aggregate Computing},
booktitle = {Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct},
series = {UbiComp '16},
year = {2016},
isbn = {978-1-4503-4462-3},
location = {Heidelberg, Germany},
pages = {1321--1326},
numpages = {6},
url = {http://doi.acm.org/10.1145/2968219.2979129},
doi = {10.1145/2968219.2979129},
acm = {2979129},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {aggregate computing, cloud computing, execution platforms, internet of things, large-scale systems},
} @inproceedings{aggregatescala-pmldc2016,
acm = {2957372},
Address = {New York, NY, USA},
Articleno = {5},
Author = {Casadei, Roberto and Viroli, Mirko},
Booktitle = {1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16)},
Doi = {10.1145/2957319.2957372},
Isbn = {978-1-4503-4775-4},
Keywords = {DSL, Scala, aggregate programming, complex adaptive systems, distributed platform},
Location = {Rome, Italy},
Month = {17}}},
Publisher = {ACM},
Title = {Towards Aggregate Programming in {S}cala},
Url = {http://doi.acm.org/10.1145/2957319.2957372},
Year = 2016} 
0000-0001-9149-949X