{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:11:17Z","timestamp":1725747077366},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642404948"},{"type":"electronic","value":"9783642404955"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40495-5_18","type":"book-chapter","created":{"date-parts":[[2013,9,2]],"date-time":"2013-09-02T11:09:30Z","timestamp":1378120170000},"page":"175-184","source":"Crossref","is-referenced-by-count":1,"title":["Assessing Agents Interaction Quality via Multi-agent Runtime Verification"],"prefix":"10.1007","author":[{"given":"Najwa Abu","family":"Bakar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Selamat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1109\/ICIMT.2009.105","volume-title":"ICIMT 2009 Proceedings of the 2009 International Conference on Information and Multimedia Technology","author":"S. Abdul Bujang","year":"2009","unstructured":"Abdul Bujang, S., Selamat, A.: Verification of Mobile SMS Application with Model Checking Agent. In: ICIMT 2009 Proceedings of the 2009 International Conference on Information and Multimedia Technology, pp. 361\u2013365. IEEE Computer Society, Washington, DC (2009)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Abu Bakar, N., Selamat, A.: Analyzing model checking approach for multi agent system verification. In: 2011 5th Malaysian Conference on Software Engineering (MySEC), pp. 95\u2013100 (2011)","DOI":"10.1109\/MySEC.2011.6140650"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Abu Bakar, N., Selamat, A.: Agent-based Model Checking Verification Framework. In: 2012 IEEE Conference on Open Systems (ICOS), pp. 1\u20134 (2012)","DOI":"10.1109\/ICOS.2012.6417649"},{"key":"18_CR4","volume-title":"Modern Information Retrieval","author":"R. Baeza-Yates","year":"1999","unstructured":"Baeza-Yates, R., Ribeiro-Neto, B.: Modern Information Retrieval. ACM Press, New York (1999)"},{"key":"18_CR5","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing multi-agent systems with JADE","author":"F.L. Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing multi-agent systems with JADE. John Wiley & Sons, Ltd., West Sussex (2007)"},{"key":"18_CR6","unstructured":"Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., et al.: Systems and Software Verification: Model-Checking Techniques and Tools (1999)"},{"key":"18_CR7","unstructured":"Besterfield, D., Besterfield-Michna, C., Besterfield, G., Besterfield-Sacre, M., Urdhwareshe, H., Urdhwareshe, R.: Total Quality Management. Pearson Education (2011)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1207","DOI":"10.1007\/11875581_143","volume-title":"Intelligent Data Engineering and Automated Learning \u2013 IDEAL 2006","author":"J.A. Bot\u00eda","year":"2006","unstructured":"Bot\u00eda, J.A., G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Intelligent data analysis for the verification of multi-agent systems interactions. In: Corchado, E., Yin, H., Botti, V., Fyfe, C. (eds.) IDEAL 2006. LNCS, vol.\u00a04224, pp. 1207\u20131214. Springer, Heidelberg (2006)"},{"key":"18_CR9","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"18_CR10","unstructured":"FIPA: The Foundation for Intelligent Physical Agents (2012), \n                    \n                      http:\/\/www.fipa.org\/\n                    \n                    \n                   (retrieved May 18, 2012)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-642-01338-6_15","volume-title":"Agent-Oriented Software Engineering IX","author":"J.J. G\u00f3mez-Sanz","year":"2009","unstructured":"G\u00f3mez-Sanz, J.J., Bot\u00eda, J., Serrano, E., Pav\u00f3n, J.: Testing and debugging of MAS interactions with INGENIAS. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol.\u00a05386, pp. 199\u2013212. Springer, Heidelberg (2009)"},{"key":"18_CR12","unstructured":"JAT Jade Agent Testing framework, \n                    \n                      http:\/\/jattool.sourceforge.net\n                    \n                    \n                   (retrieved March 18, 2013)"},{"key":"18_CR13","series-title":"SCI","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-03958-4_22","volume-title":"New Challenges in Computational Collective Intelligence","author":"A. Selamat","year":"2009","unstructured":"Selamat, A., Lockman, M.T.: Multi-agent Verification of RFID System. In: Nguyen, N.T., Katarzyniak, R.P., Janiak, A. (eds.) New Challenges in Computational Collective Intelligence. SCI, vol.\u00a0244, pp. 255\u2013268. Springer, Heidelberg (2009)"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer Aided Verification","author":"A. Lomuscio","year":"2009","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A model checker for the verification of multi-agent systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 682\u2013688. Springer, Heidelberg (2009)"},{"key":"18_CR15","unstructured":"Osman, N.: Runtime Verification of Deontic and Trust Models in Multiagent Interactions. Phd Thesis (2008)"},{"key":"18_CR16","unstructured":"Poutakidis, D.: Debugging Multi-Agent Systems With Design Document. Phd Thesis (2008)"},{"key":"18_CR17","unstructured":"Raimondi, F.: Model checking multi-agent system. Phd Thesis (2006)"},{"key":"18_CR18","unstructured":"Silva, C., Pinto, R., Castro, J., Tedesco, P.: Requirements for Multi-Agent Systems. In: Workshop em Engenharia de Requisitos (WER), Piracicaba-SP, Brasil, pp. 198\u2013212 (2003)"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-11355-0_12","volume-title":"Declarative Agent Languages and Technologies VII","author":"M.P. Singh","year":"2010","unstructured":"Singh, M.P., Chopra, A.K.: Correctness Properties for Multiagent Systems. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol.\u00a05948, pp. 192\u2013207. Springer, Heidelberg (2010)"},{"key":"18_CR20","unstructured":"Sycara, K.P.: Multiagent Systems. AI Magazine\u00a019(2), 79\u201392 (1998); Association for the Advancement of Artificial Intelligence"},{"key":"18_CR21","volume-title":"An Introduction to MultiAgent Systems","author":"M. Wooldridge","year":"2009","unstructured":"Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. John Wiley & Sons, United Kingdom (2009)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Computational Collective Intelligence. Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40495-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T21:34:25Z","timestamp":1558042465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40495-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642404948","9783642404955"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40495-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}