Daniela Briola, Viviana Mascardi, Davide Ancona. Distributed Runtime Verification of JADE Multiagent Systems. In David Camacho, Lars Braubach, Salvatore Venticinque, Costin Badica, editors, Intelligent Distributed Computing VIII - Proceedings of the 8th International Symposium on Intelligent Distributed Computing, IDC 2014, Madrid, Spain, September 3-5, 2014. Volume 570 of Studies in Computational Intelligence, pages 81-91, Springer, 2014. [doi]