Per Year

@inproceedings{blockchain-goodtechs2018,
   acm = {3284870},
   address = {New Work, NY, USA},
   apice = {BlockchainGoodtechs2018},
   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},
   core = {287851425},
   dblp = {conf/goodtechs/PianiniCC0VO18},
   doi = {10.1145/3284869.3284870},
   iris = {11585/655097},
   keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
   lens = {066-721-296-501-482},
   location = {Bologna, Italy},
   month = nov,
   openalex = {W2908544680},
   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 = {https://dl.acm.org/doi/10.1145/3284869.3284870},
   wos = {WOS:000470918900046},
   year = 2018
}

@inproceedings{wf-io-t2018,
   apice = {WfIoT2018},
   author = {Fortino, Giancarlo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zhou, MengChu},
   booktitle = {4th {IEEE} World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018},
   doi = {10.1109/WF-IoT.2018.8355174},
   eisbn = {978-1-4673-9944-9},
   isbn = {978-1-4673-9945-6},
   pages = {488--492},
   title = {Opportunistic cyberphysical services: {A} novel paradigm for the future Internet of Things},
   url = {https://doi.org/10.1109/WF-IoT.2018.8355174},
   year = 2018
}

@article{tomacs2018,
   acm = {3177774},
   address = {New York, NY, USA},
   apice = {TOMACS2018},
   articleno = 16,
   author = {Viroli, Mirko and Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo},
   doi = {10.1145/3177774},
   issn = {1049-3301},
   issue_date = {March 2018},
   journal = {ACM Transactions on Modeling and Computer Simulation},
   keywords = {Aggregate computing, collective adaptive systems, distributed algorithms, field calculus, self-stabilisation, simulation and modeling},
   month = mar,
   number = 2,
   numpages = 28,
   pages = {16:1--16:28},
   publisher = {ACM},
   title = {Engineering Resilient Collective Adaptive Systems by Self-Stabilisation},
   url = {https://doi.acm.org/10.1145/3177774},
   volume = 28,
   year = 2018
}

@article{gradients-scp166,
   apice = {SCPGradients2018},
   author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko},
   doi = {10.1016/j.scico.2018.06.002},
   issn = {0167-6423},
   journal = {Science of Computer Programming},
   keywords = {Aggregate programming, Gradient, Information speed, Reliability, Spatial computing},
   pages = {146--166},
   title = {Optimal single-path information propagation in gradient-based algorithms},
   url = {https://www.sciencedirect.com/science/article/pii/S0167642318302387},
   volume = 166,
   year = 2018
}

@inproceedings{coordination-aggregate-computing2018,
   apice = {CoordinationAggregateComputing2018},
   author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
   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},
   doi = {10.1007/978-3-319-92408-3_12},
   editor = {Di Marzo Serugendo, Giovanna and Loreti, Michele},
   pages = {252--279},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {From Field-Based Coordination to Aggregate Computing},
   url = {https://doi.org/10.1007/978-3-319-92408-3_12},
   volume = 10852,
   year = 2018
}

@article{spatialtuples-exsys35,
   apice = {SpatialtuplesExsys35},
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
   core = {287851426},
   dblp = {journals/es/RicciVOMCP18},
   doi = {10.1111/exsy.12273},
   editor = {Camacho, David and Novais, Paulo},
   iris = {11585/646034},
   issn = {0266-4720},
   journal = {Expert Systems},
   keywords = {Artificial intelligence, coordination, pervasive computing, spatial computing, software engineering},
   lens = {037-189-579-473-936},
   month = oct,
   note = {{S}pecial Issue: New trends and innovations in intelligent distributed computing},
   number = 5,
   openalex = {W2801510041},
   publisher = {Wiley},
   scholar = {15432439871249761138},
   scopus = {2-s2.0-85045836760},
   title = {Spatial Tuples: Augmenting Reality with Tuples},
   url = {https://onlinelibrary.wiley.com/doi/10.1111/exsy.12273},
   volume = 35,
   wos = {WOS:000446560700003},
   year = 2018
}

@inproceedings{coordination-universality2018,
   apice = {CoordinationUniversality2018},
   author = {Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Viroli, Mirko},
   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},
   doi = {10.1007/978-3-319-92408-3_1},
   editor = {Di Marzo Serugendo, Giovanna and Loreti, Michele},
   pages = {1--20},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Space-Time Universality of Field Calculus},
   url = {https://link.springer.com/10.1007/978-3-319-92408-3_1},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-319-92408-3_1.pdf},
   volume = 10852,
   year = 2018
}

@inproceedings{trustaggregate-foclasa2017,
   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.},
   apice = {TrustaggregateFoclasa2017},
   author = {Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
   booktitle = {Software Engineering and Formal Methods},
   doi = {10.1007/978-3-319-74781-1_34},
   editor = {Cerone, Antonio and Roveri, Marco},
   isbn = {978-3-319-74781-1},
   pages = {507--522},
   publisher = {Springer International Publishing},
   scopus = {2-s2.0-85042100191},
   series = {Lecture Notes in Computer Science},
   title = {Combining Trust and Aggregate Computing},
   url = {https://link.springer.com/10.1007/978-3-319-74781-1_34},
   urlpdf = {https://link.springer.com/content/pdf/10.1007%2F978-3-319-74781-1_34.pdf},
   volume = 10729,
   year = 2018
}

@inproceedings{casadei2018ecas,
   abstract = {On the way to the materialisation of the pervasive computing vision, the technological progress swelling from mobile computing and the Internet of Things (IoT) domain is already rich of missed opportunities. Firstly, coordinating large numbers of heterogeneous situated entities to achieve system-level goals in a resilient and self-adaptive way is complex and requires novel approaches to be seamlessly injected into mainstream distributed computing models. Secondly, achieving effective exploitation of computer resources is difficult, due to operational constraints resulting from current paradigms and uncomprehensive software infrastructures which hinder flexibility, adaptation, and smooth coordination of computational tasks execution. Indeed, building dynamic, context-oriented applications in small- or large-scale IoT with traditional abstractions is hard: even harder is to achieve opportunistic, QoS- and QoE-driven application task management across available hardware and networking infrastructure. In this insight paper, we analyse by the collective adaptation perspective the key directions of the impelling paradigm shift urged by forthcoming large-scale IoT scenarios. Specifically, we consider how collective abstractions and platforms can synergistically assist in such a transformation, by better capturing and enacting a notion of ``collective service'' as well as the dynamic, opportunistic, and context-driven traits of space-time-situated computations},
   apice = {SlefadaptiveiotEcas2018},
   author = {Casadei, Roberto and Viroli, Mirko},
   booktitle = {2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W)},
   doi = {10.1109/FAS-W.2018.00033},
   numpages = 6,
   pages = {106--111},
   title = {Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT},
   year = 2018
}

@article{scp-trust2018,
   apice = {SCPTrust2018},
   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 = {https://www.sciencedirect.com/science/article/pii/S0167642318303046},
   volume = 167,
   year = 2018
}

@incollection{actors-aggregate2018,
   apice = {ActorsAggregate2018},
   author = {Casadei, Roberto and Viroli, Mirko},
   booktitle = {Programming with Actors: State-of-the-Art and Research Perspectives},
   doi = {10.1007/978-3-030-00302-9_4},
   editor = {Ricci, Alessandro and Haller, Philipp},
   pages = {94--122},
   publisher = {Springer International Publishing},
   series = {Lecture Notes in Computer Science},
   title = {Programming Actor-Based Collective Adaptive Systems},
   url = {https://doi.org/10.1007/978-3-030-00302-9_4},
   volume = 10789,
   year = 2018
}

@inproceedings{field-calculus-rtss2018,
   apice = {FieldCalculusRTSS2018},
   author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Bini, Enrico},
   booktitle = {2018 IEEE Real-Time Systems Symposium (RTSS)},
   doi = {10.1109/RTSS.2018.00013},
   issn = {2576-3172},
   keywords = {Calculus;Aggregates;Programming;Computational modeling;Real-time systems;Sensors;Wireless sensor networks;aggregate computing;field calculus;shortest path;IoT;distributed systems},
   month = {Dec},
   pages = {23--34},
   title = {Distributed Real-Time Shortest-Paths Computations with the Field Calculus},
   year = 2018
}

@inproceedings{aggregate-alp4iot2017,
   apice = {AggregateAlp4iot2017},
   author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko},
   booktitle = {Proceedings 1st Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT at iFM 2017, Turin, Italy, September 18, 2017.},
   doi = {10.4204/EPTCS.264.2},
   editor = {Pianini, Danilo and Salvaneschi, Guido},
   issn = {2075–2180},
   numpages = 5,
   pages = {18--22},
   scopus = {2-s2.0-85048436603},
   series = {Electronic Proceedings in Theoretical Computer Science},
   title = {Aggregate Graph Statistics},
   url = {https://doi.org/10.4204/EPTCS.264.2},
   urlpdf = {https://eptcs.web.cse.unsw.edu.au/paper.cgi?ALP4IoT2017.2.pdf},
   volume = 264,
   year = 2017
}