{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:30Z","timestamp":1750220970205,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T00:00:00Z","timestamp":1555286400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005017","name":"Bayerisches Staatsministerium f\u00fcr Wirtschaft, Infrastruktur, Verkehr und Technologie","doi-asserted-by":"publisher","award":["EU EFRE 0704\/883 25"],"award-info":[{"award-number":["EU EFRE 0704\/883 25"]}],"id":[{"id":"10.13039\/501100005017","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DFG","award":["SCHR 603\/9-2,SCHR 603\/13-1,SCHR 603\/14-2,SCHR 603\/15-1"],"award-info":[{"award-number":["SCHR 603\/9-2,SCHR 603\/13-1,SCHR 603\/14-2,SCHR 603\/15-1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,15]]},"DOI":"10.1145\/3312480.3313170","type":"proceedings-article","created":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T12:18:36Z","timestamp":1553516316000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["G\n            <scp>EN<\/scp>\n            EE"],"prefix":"10.1145","author":[{"given":"Christian","family":"Eichler","sequence":"first","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"W\u00e4gemann","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Schr\u00f6der-Preikschat","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,15]]},"reference":[{"volume-title":"Proc. of CPSBench '18","author":"Boano C. A.","key":"e_1_3_2_1_1_1"},{"volume-title":"Proc. of ATC '10","author":"Carroll A.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","unstructured":"EEMBC\u00ae. 2019. IoTMark\u2122-BLE - An EEMBC Benchmark. eembc.org\/iotmark\/.  EEMBC\u00ae. 2019. IoTMark\u2122-BLE - An EEMBC Benchmark. eembc.org\/iotmark\/."},{"key":"e_1_3_2_1_4_1","unstructured":"EEMBC\u00ae. 2019. ULPMark\u2122- An EEMBC Benchmark. eembc.org\/ulpmark\/.  EEMBC\u00ae. 2019. ULPMark\u2122- An EEMBC Benchmark. eembc.org\/ulpmark\/."},{"volume-title":"Proc. of WCET '18","author":"Eichler C.","key":"e_1_3_2_1_5_1"},{"volume-title":"Proc. of RTAS '17","author":"Eichler C.","key":"e_1_3_2_1_6_1"},{"volume-title":"Proc. of WCET '16","author":"Falk H.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3046679"},{"volume-title":"Proc. of WWC '01","author":"Guthaus M. R.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","unstructured":"Infineon Technologies AG. 2014. Evaluation Board XMC 4500 Relax Kit & XMC 4500 Relax Lite Kit.  Infineon Technologies AG. 2014. Evaluation Board XMC 4500 Relax Kit & XMC 4500 Relax Lite Kit."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.17"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2516821.2516847"},{"volume-title":"Proc. of CGO '04","author":"Lattner C.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737978"},{"volume-title":"Proc. of OSDI '18","author":"Maeng K.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2009.74"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007905003094"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"H. G. Rice. 1953. Classes of recursively enumerable sets and their decision problems. Trans. of the American Mathematical Society (1953).  H. G. Rice. 1953. Classes of recursively enumerable sets and their decision problems. Trans. of the American Mathematical Society (1953).","DOI":"10.1090\/S0002-9947-1953-0053041-6"},{"volume-title":"Proc. of ISORC '17","author":"Sieh V.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","unstructured":"Espressif Systems. 2018. ESP8266EX Datasheet Version 6.0.  Espressif Systems. 2018. ESP8266EX Datasheet Version 6.0."},{"volume-title":"Proc. of RTAS '14","author":"V\u00f6lp M.","key":"e_1_3_2_1_22_1"},{"volume-title":"Proc. of ECRTS '18","author":"W\u00e4gemann P.","key":"e_1_3_2_1_23_1"},{"volume-title":"Proc. of RTAS '17","author":"W\u00e4gemann P.","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.17"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3078631"},{"volume-title":"Proc. of RTSS WiP '16","author":"W\u00e4gemann P.","key":"e_1_3_2_1_27_1"},{"volume-title":"Proc. of ATC '12","author":"Yoon C.","key":"e_1_3_2_1_28_1"}],"event":{"name":"CPS-IoT Week '19: Cyber-Physical Systems and Internet of Things Week 2019","acronym":"CPS-IoT Week '19","location":"Montreal Quebec Canada"},"container-title":["Proceedings of the 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3312480.3313170","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3312480.3313170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:28Z","timestamp":1750204468000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3312480.3313170"}},"subtitle":["a benchmark generator for static analysis tools of energy-constrained cyber-physical systems"],"short-title":[],"issued":{"date-parts":[[2019,4,15]]},"references-count":27,"alternative-id":["10.1145\/3312480.3313170","10.1145\/3312480"],"URL":"https:\/\/doi.org\/10.1145\/3312480.3313170","relation":{},"subject":[],"published":{"date-parts":[[2019,4,15]]},"assertion":[{"value":"2019-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}