Per Year

 @inproceedings{coordination-processes2019,
    apice = {CoordinationProcesses2019},
    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 = {https://link.springer.com/10.1007978-3-030-22397-7_12},
    volume = 11533,
    year = 2019
} 

 @inproceedings{field-calculus-share-coordination2019,
    apice = {FieldCalculusShareCoordination2019},
    author = {Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo and Viroli, Mirko},
    booktitle = {Coordination Models and Languages, Proceedings},
    doi = {10.1007/978-3-030-22397-7\_4},
    editor = {Riis Nielson, Hanne and Tuosto, Emilio},
    pages = {54--71},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {The share Operator for Field-Based Coordination},
    url = {https://doi.org/10.1007/978-3-030-22397-7\_4},
    volume = 11533,
    year = 2019
} 

 @inproceedings{forte-hfc2019,
    apice = {ForteHfc2019},
    author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
    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},
    doi = {10.1007/978-3-030-21759-4_17},
    editor = {P{\'{e}}rez, Jorge A. and Yoshida, Nobuko},
    isbn = {978-3-030-21758-7},
    pages = {289--292},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {On a Higher-Order Calculus of Computational Fields},
    url = {https://doi.org/10.1007/978-3-030-21759-4\_17},
    volume = 11535,
    year = 2019
} 

 @article{fieldcalculus-tocl20,
    acm = {3301291.3285956},
    apice = {FieldCalculusTOCL2019},
    author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
    doi = {10.1145/3285956},
    issn = {1529-3785},
    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{context-aggregate-ecas2019,
    apice = {ContextAggregateEcas2019},
    author = {Roberto Casadei and Danilo Pianini and Guido Salvaneschi and Mirko Viroli},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/bib/conf/saso/CasadeiPSV19},
    booktitle = {{IEEE} 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019},
    doi = {10.1109/FAS-W.2019.00035},
    pages = {92--97},
    timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
    title = {On Context-Orientation in Aggregate Programming},
    url = {https://doi.org/10.1109/FAS-W.2019.00035},
    year = 2019
} 

 @article{aggregate-jlamp2019,
    apice = {AggregateJLamp2019},
    author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
    doi = {10.1016/j.jlamp.2019.100486},
    issn = {2352-2208},
    journal = {Journal of Logical and Algebraic Methods in Programming},
    keywords = {"Distributed systems, Aggregate computing, Field calculus, Spatial computing"},
    publisher = {Elsevier},
    title = {From distributed coordination to field calculus and aggregate computing},
    url = {"https://www.sciencedirect.com/science/article/pii/S235222081930032X"},
    volume = 109,
    year = 2019
} 

 @article{aggregate-inf-sci2019,
    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.},
    apice = {AggregateInfSci2019},
    author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
    doi = {10.1016/j.ins.2019.05.058},
    issn = {0020-0255},
    journal = {Information Sciences},
    keywords = {Internet of Things, Edge computing, Smart city, Opportunistic services, Aggregate computing},
    pages = {154--169},
    publisher = {Elsevier},
    title = {A development approach for collective opportunistic {Edge-of-Things} services},
    url = {https://www.sciencedirect.com/science/article/pii/S002002551930461X},
    volume = 498,
    year = 2019
} 

 @proceedings{fluidware-aixia2019,
    apice = {FluidwareAixia2019},
    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},
    keywords = {Fluidware; IoT programming; coordination},
    series = {CEUR Workshop Proceedings},
    title = {Case studies for a new IoT programming paradigm: Fluidware},
    url = {https://ceur-ws.org/Vol-2502/paper6.pdf},
    volume = 2502,
    year = 2019
} 

 @article{opportunisticaggregate-fgcs91,
    apice = {OpportunisticaggregateFgcs91},
    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{self-organising-regions-coordination2019,
    apice = {SelfOrganisingRegionsCoordination2019},
    author = {Casadei, Roberto and Pianini, Danilo and Viroli, Mirko and Natali, Antonio},
    booktitle = {Coordination Models and Languages, Proceedings},
    doi = {10.1007/978-3-030-22397-7\_11},
    editor = {Riis Nielson, Hanne and Tuosto, Emilio},
    pages = {182--199},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Self-organising Coordination Regions: {A} Pattern for Edge Computing},
    url = {https://doi.org/10.1007/978-3-030-22397-7\_11},
    volume = 11533,
    year = 2019
} 

 @inproceedings{security-ecas2019,
    apice = {SecurityEcas2019},
    author = {Danilo Pianini and Roberto Casadei and Mirko Viroli},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/bib/conf/saso/PianiniCV19},
    booktitle = {{IEEE} 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019},
    doi = {10.1109/FAS-W.2019.00034},
    pages = {86--91},
    timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
    title = {Security in Collective Adaptive Systems: {A} Roadmap},
    url = {https://doi.org/10.1109/FAS-W.2019.00034},
    year = 2019
}