{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T10:37:12Z","timestamp":1761561432293,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,13]],"date-time":"2010-04-13T00:00:00Z","timestamp":1271116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-0930225CNS-0930510"],"award-info":[{"award-number":["CNS-0930225CNS-0930510"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","award":["2008-TJ-1851"],"award-info":[{"award-number":["2008-TJ-1851"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,13]]},"DOI":"10.1145\/1795194.1795197","type":"proceedings-article","created":{"date-parts":[[2010,5,25]],"date-time":"2010-05-25T13:08:24Z","timestamp":1274792904000},"page":"12-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["Automatic abstraction for verification of cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Robert A.","family":"Thacker","sequence":"first","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin R.","family":"Jones","sequence":"additional","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris J.","family":"Myers","sequence":"additional","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Zheng","sequence":"additional","affiliation":[{"name":"University of South Florida"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Tech. and Tools","author":"Aho A. V.","year":"1988","unstructured":"A. V. Aho , R. Sethi , and J. D. Ullman . Compilers: Principles , Tech. and Tools . Addison-Wesley , 1988 . A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Tech. and Tools. Addison-Wesley, 1988."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","first-page":"209","volume-title":"Hybrid Systems","author":"Alur R.","year":"1992","unstructured":"R. Alur , C. Courcoubetis , T. A. Henzinger , and P.-H. Ho . Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems . In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems , volume 736 of LNCS , pages 209 -- 229 . Springer , 1992 . R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 209--229. Springer, 1992."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805817"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008330914786"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/827268.828974"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00133-8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1233501.1233556"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779046.1779058"},{"key":"e_1_3_2_1_10_1","volume-title":"NSV-II: Second International Workshop on Numerical Software Verification","author":"Maka H.","year":"2009","unstructured":"H. Maka , G. Frehse , and B. H. Krogh . Polyhedral domains and widening for verification of numerical programs . In NSV-II: Second International Workshop on Numerical Software Verification , 2009 . H. Maka, G. Frehse, and B. H. Krogh. Polyhedral domains and widening for verification of numerical programs. In NSV-II: Second International Workshop on Numerical Software Verification, 2009."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792354.1792393"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"R. A. Thacker. A New Verification Method for Embedded Systems. PhD thesis U. of Utah Jan. 2010.   R. A. Thacker. A New Verification Method for Embedded Systems . PhD thesis U. of Utah Jan. 2010.","DOI":"10.1109\/ICCD.2009.5413154"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2006159"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.816214"}],"event":{"name":"ICCPS '10: ACM\/IEEE 1st International Conference on Cyber-Physical Systems","sponsor":["IEEE-CS\\TCRT TC on Real-Time Systems","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Stockholm Sweden","acronym":"ICCPS '10"},"container-title":["Proceedings of the 1st ACM\/IEEE International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1795194.1795197","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1795194.1795197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:53Z","timestamp":1750245773000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1795194.1795197"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,13]]},"references-count":15,"alternative-id":["10.1145\/1795194.1795197","10.1145\/1795194"],"URL":"https:\/\/doi.org\/10.1145\/1795194.1795197","relation":{},"subject":[],"published":{"date-parts":[[2010,4,13]]},"assertion":[{"value":"2010-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}