{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:11:56Z","timestamp":1725520316576},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642347092"},{"type":"electronic","value":"9783642347108"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34710-8_37","type":"book-chapter","created":{"date-parts":[[2012,11,10]],"date-time":"2012-11-10T01:59:10Z","timestamp":1352512750000},"page":"378-381","source":"Crossref","is-referenced-by-count":0,"title":["Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata"],"prefix":"10.1007","author":[{"given":"Gianluca","family":"Amato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Scozzari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/3-540-45873-5_4","volume-title":"Hybrid Systems: Computation and Control","author":"E. Aaron","year":"2002","unstructured":"Aaron, E., Ivan\u010di\u0107, F., Metaxas, D.: Hybrid System Models of Navigation Strategies for Games and Animations. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 7\u201320. Springer, Heidelberg (2002)"},{"key":"37_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.\u00a0736, pp. 209\u2013229. Springer, Heidelberg (1993)"},{"issue":"3","key":"37_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T.A., Ho, P.-H.: Automatic symbolic verification of embedded systems. IEEE Trans. Softw. Eng.\u00a022(3), 181\u2013201 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"46","key":"37_CR4","doi-asserted-by":"publisher","first-page":"4626","DOI":"10.1016\/j.tcs.2009.07.038","volume":"410","author":"G. Amato","year":"2009","unstructured":"Amato, G., Lipton, J., McGrail, R.: On the algebraic structure of declarative programming languages. Theoretical Computer Science\u00a0410(46), 4626\u20134671 (2009)","journal-title":"Theoretical Computer Science"},{"key":"37_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-15769-1_9","volume-title":"Static Analysis","author":"G. Amato","year":"2010","unstructured":"Amato, G., Parton, M., Scozzari, F.: Deriving Numerical Abstract Domains via Principal Component Analysis. In: Cousot, R., Martel, M. (eds.) SAS 2010. LNCS, vol.\u00a06337, pp. 134\u2013150. Springer, Heidelberg (2010)"},{"key":"37_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-642-16612-9_37","volume-title":"Runtime Verification","author":"G. Amato","year":"2010","unstructured":"Amato, G., Parton, M., Scozzari, F.: A Tool Which Mines Partial Execution Traces to Improve Static Analysis. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 475\u2013479. Springer, Heidelberg (2010)"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Amato, G., Parton, M., Scozzari, F.: Discovering invariants via simple component analysis. Journal of Symbolic Computation 47(12) (2012)","DOI":"10.1016\/j.jsc.2011.12.052"},{"key":"37_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-02261-6_9","volume-title":"Logic, Language, Information and Computation","author":"G. Amato","year":"2009","unstructured":"Amato, G., Scozzari, F.: Observational Completeness on Abstract Interpretation. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol.\u00a05514, pp. 99\u2013112. Springer, Heidelberg (2009)"},{"issue":"2-4","key":"37_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.3233\/FI-2011-381","volume":"106","author":"G. Amato","year":"2011","unstructured":"Amato, G., Scozzari, F.: Observational completeness on abstract interpretation. Fundamenta Informaticae\u00a0106(2-4), 149\u2013173 (2011)","journal-title":"Fundamenta Informaticae"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Amato, G., Scozzari, F.: The abstract domain of parallelotopes. In: Midtgaard, J., Might, M. (eds.) The Fourth International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012). Electronic Notes in Theoretical Computer Science. Elsevier (2012)","DOI":"10.1016\/j.entcs.2012.09.003"},{"key":"37_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-28717-6_29","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"G. Amato","year":"2012","unstructured":"Amato, G., Scozzari, F.: Random: R-Based Analyzer for Numerical Domains. In: Bj\u00f8rner, N., Voronkov, A. (eds.) LPAR-18 2012. LNCS, vol.\u00a07180, pp. 375\u2013382. Springer, Heidelberg (2012)"},{"key":"37_CR12","first-page":"269","volume-title":"POPL 1979: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL 1979: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 269\u2013282. ACM Press, New York (1979)"},{"issue":"2-3","key":"37_CR13","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation and applications to logic programs. The Journal of Logic Programming\u00a013(2-3), 103\u2013179 (1992)","journal-title":"The Journal of Logic Programming"},{"issue":"3","key":"37_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","volume":"10","author":"G. Frehse","year":"2008","unstructured":"Frehse, G.: Phaver: algorithmic verification of hybrid systems past hytech. Int. J. Softw. Tools Technol. Transf.\u00a010(3), 263\u2013279 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"37_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-46430-1_14","volume-title":"Hybrid Systems: Computation and Control","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A., Horowitz, B., Majumdar, R., Howard, W.-T.: Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods. In: Lynch, N., Krogh, B. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 130\u2013144. Springer, Heidelberg (2000)"},{"key":"37_CR16","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Hytech: a model checker for hybrid systems. International Journal on Software Tools for Technology Transfer\u00a01, 110\u2013122 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Motion in Games"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34710-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T22:47:45Z","timestamp":1594853265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34710-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642347092","9783642347108"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34710-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}