{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T02:41:31Z","timestamp":1648608091439},"reference-count":17,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2017]]},"DOI":"10.1587\/transinf.2016fop0009","type":"journal-article","created":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T18:23:23Z","timestamp":1496255003000},"page":"1172-1181","source":"Crossref","is-referenced-by-count":0,"title":["Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages"],"prefix":"10.1587","volume":"E100.D","author":[{"given":"Reona","family":"MINODA","sequence":"first","affiliation":[{"name":"Graduate School of Information Science and Technology, Hokkaido University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-ichi","family":"MINATO","sequence":"additional","affiliation":[{"name":"Graduate School of Information Science and Technology, Hokkaido University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] R. Minoda, Y. Tanaka, and S. Minato, \u201cVerifying Scenarios of Proximity-based Federation among Smart Objects through Model Checking,\u201d Proc. Tenth Intl. Conf. on Mobile Ubiquitous Computing, Systems, Services and Technologies, pp.65-71, 2016.","DOI":"10.5220\/0006429900130021"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] M. Weiser, \u201cThe Computer for the 21st Century,\u201d Scientific American, vol.265, no.3, pp.94-104, Sept. 1991.","DOI":"10.1038\/scientificamerican0991-94"},{"key":"3","unstructured":"[3] Y. Tanaka, \u201cProximity-based federation of smart objects: liberating ubiquitous computing from stereotyped application scenarios,\u201d Knowledge-Based and Intelligent Information and Engineering Systems, vol.6276, pp.14-30, Springer, 2010."},{"key":"4","unstructured":"[4] R. Milner, \u201cTheories for the global ubiquitous computer,\u201d Foundations of Software Science and Computation Structures, vol.2987, pp.5-11, Springer, 2004."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] J. Julia and Y. Tanaka, \u201cProximity-based federation of smart objects,\u201d Journal of Intelligent Information Systems, vol.46, no.1, pp.147-178, Feb. 2016.","DOI":"10.1007\/s10844-015-0357-4"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] R. Alur and D.L. Dill, \u201cA theory of timed automata,\u201d Theoretical Computer Science, vol.126, no.2, pp.183-235, April 1994.","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] R. Drechsler and U. K\u00fchne, eds., Formal Modeling and Verification of Cyber-Physical Systems, Springer Fachmedien Wiesbaden, Wiesbaden, 2015.","DOI":"10.1007\/978-3-658-09994-7"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] C. Xu and S.C. Cheung, \u201cInconsistency Detection and Resolution for Context-aware Middleware Support,\u201d Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.336-345, 2005.","DOI":"10.1145\/1081706.1081759"},{"key":"9","unstructured":"[9] S. Kauffman, Investigations, Oxford University Press, Oxford New York, 2002."},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] J.R. Burch, E.M. Clarke, K.L. McMillan, and D.L. Dill, \u201cSequential circuit verification using symbolic model checking,\u201d Proceedings of the 27th ACM\/IEEE Design Automation Conference, DAC '90, New York, NY, USA, pp.46-51, ACM, 1990.","DOI":"10.1145\/123186.123223"},{"key":"11","unstructured":"[11] J.C. Mitchell, V. Shmatikov, and U. Stern, \u201cFinite-state Analysis of SSL 3.0,\u201d Proceedings of the 7th Conference on USENIX Security Symposium-Volume 7, SSYM'98, Berkeley, CA, USA, p.16, USENIX Association, 1998."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] S.A. Kripke, \u201cSemantical Analysis of Modal Logic I Normal Modal Propositional Calculi,\u201d Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, vol.9, no.5-6, pp.67-96, 1963.","DOI":"10.1002\/malq.19630090502"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] A. Pnueli, \u201cThe temporal logic of programs,\u201d 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] G. Holzmann, \u201cThe model checker SPIN,\u201d IEEE Trans. Softw. Eng., vol.23, no.5, pp.279-295, May 1997.","DOI":"10.1109\/32.588521"},{"key":"15","unstructured":"[15] J. Magee and J. Kramer, Concurrency State Models and Java Programs, John Wiley & Sons, New York, USA, 1999."},{"key":"16","unstructured":"[16] A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, \u201cNusmv 2: An opensource tool for symbolic model checking,\u201d Computer Aided Verification, vol.2404, pp.359-364, 2002."},{"key":"17","unstructured":"[17] R. Cavada, A. Cimatti, C.A. Jochim, G. Keighren, E. Olivetti, M. Pistore, M. Roveri, and A. Tchaltsev, \u201cNuSMV 2.6 User Manual,\u201d FBK-irst, http:\/\/nusmv.fbk.eu\/NuSMV\/userman\/v26\/nusmv.pdf, accessed Dec. 14. 2016."}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/6\/E100.D_2016FOP0009\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T06:02:11Z","timestamp":1569391331000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/6\/E100.D_2016FOP0009\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":17,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2016fop0009","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}