Per anno
@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{ABDPV-COORD2019, author = {Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo and Viroli, Mirko}, title = {The share Operator for Field-Based Coordination}, booktitle = {Coordination Models and Languages, Proceedings}, pages = {54--71}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-22397-7\_4}, doi = {10.1007/978-3-030-22397-7\_4}, editor = {Riis Nielson, Hanne and Tuosto, Emilio}, volume = {11533}, series = {Lecture Notes in Computer Science}, volume = {11533}, publisher = {Springer} }
@inproceedings{AVDPB-FORTE2019, author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob}, title = {On a Higher-Order Calculus of Computational Fields}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 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 = {289--292}, year = {2019}, publisher = {Springer}, url = {https://doi.org/10.1007/978-3-030-21759-4\_17}, doi = {10.1007/978-3-030-21759-4\_17}, editor = {P{\'{e}}rez, Jorge A. and Yoshida, Nobuko}, series = {Lecture Notes in Computer Science}, volume = {11535}, isbn = {978-3-030-21758-7}, }
@article{fieldcalculusTocl20, author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob}, doi = {10.1145/3285956}, journal = {{ACM} Transactions on Computational Logic}, month = jan, number = 1, pages = {1--55}, publisher = {ACM}, title = {A Higher-Order Calculus of Computational Fields}, url = {https://doi.org/10.1145/3285956}, volume = 20, year = 2019}
@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} }
@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}
@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{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} }