{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T09:16:16Z","timestamp":1767777376423,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104218"},{"type":"electronic","value":"9783319104225"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-10422-5_10","type":"book-chapter","created":{"date-parts":[[2014,9,2]],"date-time":"2014-09-02T15:50:57Z","timestamp":1409673057000},"page":"81-91","source":"Crossref","is-referenced-by-count":18,"title":["Distributed Runtime Verification of JADE Multiagent Systems"],"prefix":"10.1007","author":[{"given":"Daniela","family":"Briola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Mascardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Ancona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Ancona, D., Barbieri, M., Mascardi, V.: Constrained global types for dynamic checking of protocol conformance in multi-agent systems. In: SAC. ACM (2013)","DOI":"10.1145\/2480362.2480620"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Ancona, D., Briola, D., Seghrouchni, A.E.F., Mascardi, V., Taillibert, P.: Efficient verification of MASs with projections. In: EMAS Pre-proceedings (2014)","DOI":"10.1007\/978-3-319-14484-9_13"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-37890-4_5","volume-title":"Declarative Agent Languages and Technologies X","author":"D. Ancona","year":"2013","unstructured":"Ancona, D., Drossopoulou, S., Mascardi, V.: Automatic generation of self-monitoring MASs from multiparty global session types in Jason. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS, vol.\u00a07784, pp. 76\u201395. Springer, Heidelberg (2013)"},{"key":"10_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1007\/978-3-540-74829-8_115","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"B.M. Balachandran","year":"2007","unstructured":"Balachandran, B.M., Enkhsaikhan, M.: Developing multi-agent e-commerce applications with JADE. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part III. LNCS (LNAI), vol.\u00a04694, pp. 941\u2013949. Springer, Heidelberg (2007)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/978-3-642-45343-4_3","volume-title":"EMAS 2013","author":"M. Baldoni","year":"2013","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F.: 2COMM: A commitment-based MAS architecture. In: Winikoff, M. (ed.) EMAS 2013. LNCS, vol.\u00a08245, pp. 38\u201357. Springer, Heidelberg (2013)"},{"key":"10_CR6","unstructured":"Briola, D., Mascardi, V.: Design and implementation of a NetLogo interface for the stand-alone FYPA system. In: WOA, pp. 41\u201350 (2011)"},{"key":"10_CR7","first-page":"106","volume":"4","author":"D. Briola","year":"2009","unstructured":"Briola, D., Mascardi, V., Martelli, M.: Intelligent agents that monitor, diagnose and solve problems: Two success stories of industry-university collaboration. J. of Inf. Assurance and Security\u00a04, 106\u2013117 (2009)","journal-title":"J. of Inf. Assurance and Security"},{"key":"10_CR8","unstructured":"Briola, D., Mascardi, V., Martelli, M., Caccia, R., Milani, C.: Dynamic resource allocation in a MAS: A case study from the industry. In: WOA (2009)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Coelho, R., Kulesza, U., von Staa, A., Lucena, C.: Unit testing in multi-agent systems using mock agents and aspects. In: SELMAS, pp. 83\u201390. ACM (2006)","DOI":"10.1145\/1138063.1138079"},{"key":"10_CR10","unstructured":"Mascardi, V., Ancona, D.: Attribute global types for dynamic checking of protocols in logic-based multiagent systems. TPLP 13(4-5-Online-Supplement) (2013)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/978-3-319-03524-6_26","volume-title":"AI*IA 2013: Advances in Artificial Intelligence","author":"V. Mascardi","year":"2013","unstructured":"Mascardi, V., Briola, D., Ancona, D.: On the expressiveness of attribute global types: The formalization of a real multiagent system protocol. In: Baldoni, M., Baroglio, C., Boella, G., Micalizio, R. (eds.) AI*IA 2013. LNCS, vol.\u00a08249, pp. 300\u2013311. Springer, Heidelberg (2013)"},{"issue":"13-15","key":"10_CR12","doi-asserted-by":"publisher","first-page":"2785","DOI":"10.1016\/j.neucom.2008.10.025","volume":"72","author":"E. Serrano","year":"2009","unstructured":"Serrano, E., G\u00f3mez-Sanz, J.J., Bot\u00eda, J.A., Pav\u00f3n, J.: Intelligent data analysis applied to debug complex software systems. Neurocomput.\u00a072(13-15), 2785\u20132795 (2009)","journal-title":"Neurocomput."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Ughetti, M., Trucco, T., Gotta, D.: Development of agent-based, peer-to-peer mobile applications on ANDROID with JADE. In: UBICOMM (2008)","DOI":"10.1109\/UBICOMM.2008.72"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing VIII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10422-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T03:32:49Z","timestamp":1675827169000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10422-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319104218","9783319104225"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10422-5_10","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2015]]}}}