{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T15:03:12Z","timestamp":1775314992008,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T00:00:00Z","timestamp":1492473600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,18]]},"DOI":"10.1145\/3055378.3055384","type":"proceedings-article","created":{"date-parts":[[2017,4,14]],"date-time":"2017-04-14T12:18:54Z","timestamp":1492172334000},"page":"11-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Osiris"],"prefix":"10.1145","author":[{"given":"Nikos","family":"Ar\u00e9chiga","sequence":"first","affiliation":[{"name":"Toyota InfoTechnology Center, USA, Mountain View, California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumanth","family":"Dathathri","sequence":"additional","affiliation":[{"name":"California Institute of Technology, Pasadena, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shashank","family":"Vernekar","sequence":"additional","affiliation":[{"name":"Toyota InfoTechnology Center, USA, Mountain View, California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nagesh","family":"Kathare","sequence":"additional","affiliation":[{"name":"Toyota InfoTechnology Center, USA, Mountain View, California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sicun","family":"Gao","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinichi","family":"Shiraishi","sequence":"additional","affiliation":[{"name":"Toyota InfoTechnology Center, USA, Mountain View, California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"M. Abadi A. Agarwal P. Barham E. Brevdo Z. Chen C. Citro G. S. Corrado A. Davis J. Dean M. Devin S. Ghemawat I. Goodfellow A. Harp G. Irving M. Isard Y. Jia R. Josefowicz L. Kaiser M. Kudlur J. Levenberg D. Man\u00e9 R. Monga S. Moore D. Murray C. Olah M. Schuster J. Shlens B. Steiner I. Sutskever K. Talwar P. Tucker V. Vanhoucke V. Vasudevan F. Vi\u00e9gas O. Vinyals P. Warden M. Wattenberg M. Wicke Y. Yu and X. Zheng. 2015. TensorFlow. Technical Report. Google Research.  M. Abadi A. Agarwal P. Barham E. Brevdo Z. Chen C. Citro G. S. Corrado A. Davis J. Dean M. Devin S. Ghemawat I. Goodfellow A. Harp G. Irving M. Isard Y. Jia R. Josefowicz L. Kaiser M. Kudlur J. Levenberg D. Man\u00e9 R. Monga S. Moore D. Murray C. Olah M. Schuster J. Shlens B. Steiner I. Sutskever K. Talwar P. Tucker V. Vanhoucke V. Vasudevan F. Vi\u00e9gas O. Vinyals P. Warden M. Wattenberg M. Wicke Y. Yu and X. Zheng. 2015. TensorFlow. Technical Report. Google Research."},{"key":"e_1_3_2_1_2_1","volume-title":"Semantic Translation of Simulink\/Stateflow Model to Hybrid Automata Using Graph Transformations. Electronic Notes in Theoretical Computer Science","author":"Agrawal Aditya","year":"2004","unstructured":"Aditya Agrawal , Gyula Simon , and Gabor Karsai . 2004. Semantic Translation of Simulink\/Stateflow Model to Hybrid Automata Using Graph Transformations. Electronic Notes in Theoretical Computer Science ( 2004 ). Aditya Agrawal, Gyula Simon, and Gabor Karsai. 2004. Semantic Translation of Simulink\/Stateflow Model to Hybrid Automata Using Graph Transformations. Electronic Notes in Theoretical Computer Science (2004)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1988-0917826-0"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Edmund Clarke Orna Grumberg Somesh Jha Yuan Lu and Helmut Veith. 2000. Counterexample-guided Abstraction Refinement. (2000).  Edmund Clarke Orna Grumberg Somesh Jha Yuan Lu and Helmut Veith. 2000. Counterexample-guided Abstraction Refinement. (2000).","DOI":"10.1007\/10722167_15"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"A. Donz\u00e9. 2010. Breach A TooTool for Verification and Parameter Synthesis of Hybrid Systems. In Computer Aided Verification.  A. Donz\u00e9. 2010. Breach A TooTool for Verification and Parameter Synthesis of Hybrid Systems. In Computer Aided Verification.","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"e_1_3_2_1_9_1","volume-title":"Satisfiability Modulo ODEs. In Formal Methods in Computer-Aided Design (FMCAD)","author":"Gao S.","year":"2013","unstructured":"S. Gao , S. Kong , and E. M. Clarke . 2013 . Satisfiability Modulo ODEs. In Formal Methods in Computer-Aided Design (FMCAD) , 2013 . IEEE, 105--112. S. Gao, S. Kong, and E. M. Clarke. 2013. Satisfiability Modulo ODEs. In Formal Methods in Computer-Aided Design (FMCAD), 2013. IEEE, 105--112."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"D. Harel D. Kozen and J. Tiuryn. 2000. Dynamic Logic. MIT Press Foundations of Computing Series.  D. Harel D. Kozen and J. Tiuryn. 2000. Dynamic Logic. MIT Press Foundations of Computing Series.","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_10"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318268"},{"key":"e_1_3_2_1_13_1","volume-title":"Benchmarks for Model Transformations and Conformance Checking. In Workshop on Applied Verification for Continuous and Hybrid Systems.","author":"Jin X.","unstructured":"X. Jin , J. V. Deshmukh , J. Kapinski , K. Ueda , and K. Butts . 2014 . Benchmarks for Model Transformations and Conformance Checking. In Workshop on Applied Verification for Continuous and Hybrid Systems. X. Jin, J. V. Deshmukh, J. Kapinski, K. Ueda, and K. Butts. 2014. Benchmarks for Model Transformations and Conformance Checking. In Workshop on Applied Verification for Continuous and Hybrid Systems."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562139"},{"key":"e_1_3_2_1_16_1","unstructured":"M. Yamaura N. Ar\u00e9chiga and S. Shiraishi. 2017. Simulink Verification Benchmark. https:\/\/github.com\/Toyota-ITC-SSD\/SimulinkVerificationBenchmark. (2017).  M. Yamaura N. Ar\u00e9chiga and S. Shiraishi. 2017. Simulink Verification Benchmark. https:\/\/github.com\/Toyota-ITC-SSD\/SimulinkVerificationBenchmark. (2017)."}],"event":{"name":"CPS Week '17: Cyber Physical Systems Week 2017","location":"Pittsburgh PA USA","acronym":"CPS Week '17","sponsor":["IEEE Signal Processing Society","SIGBED ACM Special Interest Group on Embedded Systems","IEEE CS"]},"container-title":["Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3055378.3055384","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3055378.3055384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:26Z","timestamp":1750220606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3055378.3055384"}},"subtitle":["A Tool for Abstraction and Verification of Control Software with Lookup Tables"],"short-title":[],"issued":{"date-parts":[[2017,4,18]]},"references-count":15,"alternative-id":["10.1145\/3055378.3055384","10.1145\/3055378"],"URL":"https:\/\/doi.org\/10.1145\/3055378.3055384","relation":{},"subject":[],"published":{"date-parts":[[2017,4,18]]},"assertion":[{"value":"2017-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}