Per anno

 @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{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}
} 

 @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{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}} 

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