{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T19:47:42Z","timestamp":1768679262372,"version":"3.49.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.23919\/date48585.2020.9116371","type":"proceedings-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T23:28:37Z","timestamp":1592263717000},"page":"1109-1114","source":"Crossref","is-referenced-by-count":9,"title":["A compositional approach using Keras for neural networks in real-time systems"],"prefix":"10.23919","author":[{"given":"Xin","family":"Yang","sequence":"first","affiliation":[]},{"given":"Partha","family":"Roop","sequence":"additional","affiliation":[]},{"given":"Hammond","family":"Pearce","sequence":"additional","affiliation":[]},{"given":"Jin Woo","family":"Ro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","year":"0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.21236\/ADA043369"},{"key":"ref12","year":"0"},{"key":"ref13","first-page":"1582","article-title":"Car-following models: an experiment based benchmarking","volume":"6","author":"ranjitkar","year":"2005","journal-title":"Journal of the Eastern Asia Society for Transportation Studies"},{"key":"ref14","first-page":"2013","article-title":"Darknet: Open source neural networks in c","author":"redmon","year":"0"},{"key":"ref15","article-title":"Jinja2 documentation","author":"ronacher","year":"2008","journal-title":"Welcome to Jinja2-Jinja2 Documentation (2 8-dev)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8556931"},{"key":"ref17","article-title":"Towards a time-predictable dual-issue microprocessor: The patmos approach","author":"schoeberl","year":"2011","journal-title":"Bringing Theory to Practice Predictability and Performance in Embedded Systems"},{"key":"ref18","article-title":"Towards verified artificial intelligence","author":"seshia","year":"0"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88079-0_24"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"425","DOI":"10.7551\/mitpress\/5641.003.0021","article-title":"The foundations of Esterel","author":"berry","year":"2000","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0364-0213(90)90002-E"},{"key":"ref5","article-title":"Keras","author":"chollet","year":"2015"},{"key":"ref8","first-page":"5","article-title":"The platin tool kit-the t-crest approach for compiler and wcet integration","author":"hepp","year":"2015","journal-title":"Proceedings 18th Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"ref2","article-title":"Principles of cyber-physical systems","author":"alur","year":"2015"},{"key":"ref1","first-page":"265","article-title":"Tensorflow: A system for large-scale machine learning","author":"abadi","year":"2016","journal-title":"12th USENIX Symposium on Operating Systems Design and Implementation ( OSDI 16)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2000.840840"},{"key":"ref20","article-title":"Using The Gnu Compiler Collection: A Gnu Manual For Gcc Version 4.3.3","author":"stallman","year":"2009"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICPHYS.2018.8387644"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2510366"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2011.2143407"}],"event":{"name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Grenoble, France","start":{"date-parts":[[2020,3,9]]},"end":{"date-parts":[[2020,3,13]]}},"container-title":["2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9112295\/9116186\/09116371.pdf?arnumber=9116371","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T18:26:06Z","timestamp":1723055166000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9116371\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":23,"URL":"https:\/\/doi.org\/10.23919\/date48585.2020.9116371","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}