{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T00:24:26Z","timestamp":1771547066999,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,23]],"date-time":"2016-05-23T00:00:00Z","timestamp":1463961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["610640"],"award-info":[{"award-number":["610640"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,23]]},"DOI":"10.1145\/2906363.2906367","type":"proceedings-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T18:21:10Z","timestamp":1463163670000},"page":"190-193","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A Lightweight Design Space Exploration and Optimization Language"],"prefix":"10.1145","author":[{"given":"Alexander","family":"Diewald","sequence":"first","affiliation":[{"name":"fortiss GmbH, An-Institut Technische Universit\u00e4t M\u00fcnchen, Guerickestr. 25, 80805 Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Voss","sequence":"additional","affiliation":[{"name":"fortiss GmbH, An-Institut Technische Universit\u00e4t M\u00fcnchen, Guerickestr. 25, 80805 Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Barner","sequence":"additional","affiliation":[{"name":"fortiss GmbH, An-Institut Technische Universit\u00e4t M\u00fcnchen Guerickestr. 25 80805 Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,5,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2414762"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/993483"},{"key":"e_1_3_2_1_3_1","first-page":"19","volume-title":"Proc. 8th Int. Workshop Model-based Architecting of Cyber-physical and Embedded Systems (ACES-MB)","author":"Aravantinos V.","year":"2015"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001576.2001808"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2014.02.007"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340482"},{"key":"e_1_3_2_1_7_1","unstructured":"IBM ILOG CPLEX. 12.1 2010.  IBM ILOG CPLEX. 12.1 2010."},{"key":"e_1_3_2_1_8_1","first-page":"284","volume-title":"Proc. Int. IEEE Symp. Computer Aided Control Systems Design","author":"L\u00f6fberg J.","year":"2004"},{"key":"e_1_3_2_1_9_1","unstructured":"C. Barrett P. Fontaine and C. Tinelli. The SMT-LIB standard -- version 2.5 2010.  C. Barrett P. Fontaine and C. Tinelli. The SMT-LIB standard -- version 2.5 2010."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0055-2"}],"event":{"name":"SCOPES '16: 19th International Workshop on Software and Compilers for Embedded Systems","location":"Sankt Goar Germany","acronym":"SCOPES '16","sponsor":["EDAA European Design Automation Association","SIGBED"]},"container-title":["Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2906363.2906367","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2906363.2906367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:55:50Z","timestamp":1750272950000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2906363.2906367"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,23]]},"references-count":10,"alternative-id":["10.1145\/2906363.2906367","10.1145\/2906363"],"URL":"https:\/\/doi.org\/10.1145\/2906363.2906367","relation":{},"subject":[],"published":{"date-parts":[[2016,5,23]]},"assertion":[{"value":"2016-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}