{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T22:16:42Z","timestamp":1767046602693,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T00:00:00Z","timestamp":1570579200000},"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":[[2019,10,9]]},"DOI":"10.1145\/3359986.3361204","type":"proceedings-article","created":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T12:21:06Z","timestamp":1570450866000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A compositional approach for real-time machine learning"],"prefix":"10.1145","author":[{"given":"Nathan","family":"Allen","sequence":"first","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yash","family":"Raje","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Woo","family":"Ro","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2017.2743247"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Berry. 2000. The foundations of Esterel.. In Proof language and interaction. 425--454.","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/keras.io. Last accessed","author":"Chollet F.","year":"2019","unstructured":"F. Chollet. [n.d.]. https:\/\/keras.io. Last accessed: 4 May 2019."},{"volume-title":"Model checking","author":"Clarke Edmund","key":"e_1_3_2_1_5_1","unstructured":"Edmund MClarke Jr, Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith. 2018. Model checking. MIT press."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"T. Gehr M. Mirman D. Drachsler-Cohen P. Tsankov S. Chaudhuri and M. Vechev. 2018. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. (May 2018) 3--18. 10.1109\/SP.2018.00058","DOI":"10.1109\/SP.2018.00058"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2017.25"},{"volume-title":"Elements of artificial neural networks","author":"Mehrotra Kishan","key":"e_1_3_2_1_8_1","unstructured":"Kishan Mehrotra, Chilukuri K Mohan, and Sanjay Ranka. 1997. Elements of artificial neural networks. MIT press."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2018.2794204"},{"volume-title":"Neural networks and deep learning","author":"Nielsen Michael A","key":"e_1_3_2_1_10_1","unstructured":"Michael A Nielsen. [n.d.]. Neural networks and deep learning. Vol. 25."},{"key":"e_1_3_2_1_11_1","volume-title":"FSP Workshop 2018; Fifth International Workshop on FPGAs for Software Programmers. VDE, 1--8.","author":"Noronha Daniel H","year":"2018","unstructured":"Daniel H Noronha, Bahar Salehpour, and Steven JE Wilton. 2018. LeFlow: Enabling flexible FPGA high-level synthesis of tensorflow deep neural networks. In FSP Workshop 2018; Fifth International Workshop on FPGAs for Software Programmers. VDE, 1--8."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8556931"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2735380"},{"key":"e_1_3_2_1_14_1","volume-title":"Seshia and Dorsa Sadigh","author":"Sanjit","year":"2016","unstructured":"Sanjit A. Seshia and Dorsa Sadigh. 2016. Towards Verified Artificial Intelligence. CoRR abs\/1606.08514 (2016). arXiv:1606.08514 http:\/\/arxiv.org\/abs\/1606.08514"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898003"},{"volume-title":"Model-driven design using IEC 61499: a synchronous approach for embedded and automation systems","author":"Yoong Li Hsien","key":"e_1_3_2_1_16_1","unstructured":"Li Hsien Yoong, Partha S Roop, Zeeshan E Bhatti, and Matthew MY Kuo. 2014. Model-driven design using IEC 61499: a synchronous approach for embedded and automation systems. Springer."}],"event":{"name":"MEMOCODE '19: 17th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"La Jolla California","acronym":"MEMOCODE '19"},"container-title":["Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361204","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359986.3361204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:27Z","timestamp":1750202007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,9]]},"references-count":16,"alternative-id":["10.1145\/3359986.3361204","10.1145\/3359986"],"URL":"https:\/\/doi.org\/10.1145\/3359986.3361204","relation":{},"subject":[],"published":{"date-parts":[[2019,10,9]]},"assertion":[{"value":"2019-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}