{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:01:54Z","timestamp":1779087714185,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662492239","type":"print"},{"value":"9783662492246","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-49224-6_24","type":"book-chapter","created":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T08:35:44Z","timestamp":1452501344000},"page":"297-311","source":"Crossref","is-referenced-by-count":27,"title":["An Experimental Spatio-Temporal Model Checker"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Ciancia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Grilletti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,12]]},"reference":[{"key":"24_CR1","volume-title":"Handbook of Spatial Logics","year":"2007","unstructured":"Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.): Handbook of Spatial Logics. Springer, Netherlands (2007)"},{"key":"24_CR2","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/978-3-642-28756-5_35","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Caires","year":"2012","unstructured":"Caires, L., Vieira, H.T.: SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 485\u2013491. Springer, Heidelberg (2012)"},{"key":"24_CR4","unstructured":"Ciancia, V.: topochecker - a topological model checker (2015). \n                      http:\/\/fmt.isti.cnr.it\/topochecker\n                      \n                     - \n                      https:\/\/github.com\/vincenzoml\/topochecker"},{"key":"24_CR5","unstructured":"Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M.: Spatio-temporal model-checking of vehicular movement in transport systems. submitted for journal publication, available from the authors"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/978-3-662-44602-7_18","volume-title":"Theoretical Computer Science","author":"V Ciancia","year":"2014","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Specifying and verifying properties of space. In: Diaz, J., Lanese, I., Sangiorgi, D. (eds.) TCS 2014. LNCS, vol. 8705, pp. 222\u2013235. Springer, Heidelberg (2014)"},{"key":"24_CR7","unstructured":"Ciancia, V., Latella, D., Massink, M., Paskauskas, R.: Exploring spatio-temporal properties of bike-sharing systems. In: 9th International Conference on Self-Adaptive and Self-Organizing Systems Workshops. IEEE (volume to appear, 2015)"},{"key":"24_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"EM Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2001)"},{"issue":"1\u2014-3","key":"24_CR9","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0304-3975(02)00701-6","volume":"305","author":"A Galton","year":"2003","unstructured":"Galton, A.: A generalized topological view of motion in discrete space. Theor. Comput. Sci. 305(1\u2014-3), 111\u2013134 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"24_CR10","unstructured":"Grilletti, G., Ciancia, V.: STLCS model checker (2014). \n                      https:\/\/github.com\/cherosene\/ctl_logic"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Haghighi, I., Jones, A., Kong, Z., Bartocci, E., Grosu, R., Belta, C.: Spatel: a novel spatial-temporal logic and its applications to networked systems. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015, Seattle, WA, USA, 14\u201316 April 2015, pp. 189\u2013198. ACM (2015)","DOI":"10.1145\/2728606.2728633"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/978-1-4020-5587-4_9","volume-title":"Handbook of Spatial Logics","author":"R Kontchakov","year":"2007","unstructured":"Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: Spatial logic + temporal logic = ? In: Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 497\u2013564. Springer, Netherlands (2007)"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-23820-3_2","volume-title":"Runtime Verification","author":"L Nenzi","year":"2015","unstructured":"Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.: Qualitative and quantitative monitoring of spatio-temporal properties. In: Bartocci, E., Majumdar, R., et al. (eds.) RV 2015. LNCS, vol. 9333, pp. 21\u201337. Springer, Heidelberg (2015)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49224-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:16:33Z","timestamp":1559380593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49224-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662492239","9783662492246"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49224-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}