@Inproceedings{EPTCS302.4, author = {Audrito, Giorgio and Damiani, Ferruccio and Stolz, Volker and Viroli, Mirko}, year = {2019}, title = {On Distributed Runtime Verification by Aggregate Computing}, editor = {Ancona, Davide and Pace, Gordon}, booktitle = {{\rm Proceedings of the Second Workshop on} Verification of Objects at RunTime EXecution, {\rm Amsterdam, Netherlands, 17th July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {302}, publisher = {Open Publishing Association}, pages = {47-61}, doi = {10.4204/EPTCS.302.4}, }