{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:54:39Z","timestamp":1725879279275},"publisher-location":"Singapore","reference-count":16,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811037276"},{"type":"electronic","value":"9789811037283"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-981-10-3728-3_7","type":"book-chapter","created":{"date-parts":[[2017,1,28]],"date-time":"2017-01-28T04:42:46Z","timestamp":1485578566000},"page":"52-63","source":"Crossref","is-referenced-by-count":2,"title":["ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts"],"prefix":"10.1007","author":[{"given":"Keiichiro","family":"Takada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Munehiro","family":"Takimoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsutomu","family":"Kumazawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasushi","family":"Kambayashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,29]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Alba, E., Chicano, F.: Finding safety errors with ACO. In: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, pp. 1066\u20131073 (2007)","DOI":"10.1145\/1276958.1277171"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Alba, E., Chicano, F.: ACOhg: dealing with huge graphs. In: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, pp. 10\u201317 (2007)","DOI":"10.1145\/1276958.1276961"},{"issue":"6","key":"7_CR3","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/j.ipl.2007.11.015","volume":"106","author":"F Chicano","year":"2008","unstructured":"Chicano, F., Alba, E.: Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models. Inf. Process. Lett. 106(6), 221\u2013231 (2008)","journal-title":"Inf. Process. Lett."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Chicano, F., Alba, E.: Finding liveness errors with ACO. In: IEEE Congress on Evolutionary Computation, pp. 2997\u20133004 (2008)","DOI":"10.1109\/CEC.2008.4631202"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.ins.2013.02.041","volume":"237","author":"I Boussa\u00efd","year":"2013","unstructured":"Boussa\u00efd, I., Lepagnot, J., Siarry, P.: A survey on optimization metaheuristics. Inf. Sci. 237, 82\u2013117 (2013)","journal-title":"Inf. Sci."},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69850-0_1","volume-title":"25 Years of Model Checking - History, Achievements, Perspectives","author":"EM Clarke","year":"2008","unstructured":"Clarke, E.M.: The birth of model checking. In: Grumberg, O., Veith, H. (eds.) 25MC Festschrift. LNCS, vol. 5000, pp. 1\u201326. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-69850-0_1"},{"key":"7_CR7","volume-title":"Concurrency: State Models and Java Programs","author":"J Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. Wiley, New York (1999)"},{"key":"7_CR8","volume-title":"The Spin Model Checker Primer and Reference Manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The Spin Model Checker Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"issue":"7","key":"7_CR9","first-page":"e1","volume":"16","author":"T Kumazawa","year":"2016","unstructured":"Kumazawa, T., Yokoyama, C., Takimoto, M., Kambayashi, Y.: Ant colony optimization based model checking extended by smell-like pheromone. EAI Endorsed Trans. Ind. Netw. Intell. Syst. 16(7), e1 (2016)","journal-title":"EAI Endorsed Trans. Ind. Netw. Intell. Syst."},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"EM Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 52\u201371. Springer, Heidelberg (1982). doi: 10.1007\/BFb0025774"},{"issue":"2\u20133","key":"7_CR11","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/s10009-002-0104-3","volume":"5","author":"S Edelkamp","year":"2004","unstructured":"Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Directed explicit-state model checking in the validation of communication protocols. Int. J. Softw. Tools Technol. Transf. 5(2\u20133), 247\u2013267 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"7_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1992)"},{"issue":"5","key":"7_CR13","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker spin. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/3-540-46017-9_10","volume-title":"Model Checking Software","author":"A Lluch-Lafuente","year":"2002","unstructured":"Lluch-Lafuente, A., Edelkamp, S., Leue, S.: Partial order reduction in directed model checking. In: Bo\u0161na\u010dki, D., Leue, S. (eds.) SPIN 2002. LNCS, vol. 2318, pp. 112\u2013127. Springer, Heidelberg (2002). doi: 10.1007\/3-540-46017-9_10"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Francesca, G., Santone, A., Vaglini, G., Villani, M.L.: Ant colony optimization for deadlock detection in concurrent systems. In: IEEE Annual Computer Software and Applications Conference, pp. 108\u2013117 (2011)","DOI":"10.1109\/COMPSAC.2011.22"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: European Software Engineering Conference, pp. 257\u2013266 (2003)","DOI":"10.1145\/940071.940106"}],"container-title":["Advances in Intelligent Systems and Computing","Harmony Search Algorithm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-3728-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T09:13:48Z","timestamp":1498382028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-3728-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811037276","9789811037283"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-3728-3_7","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017]]}}}