{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:23:27Z","timestamp":1725791007176},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/emsoft.2013.6658589","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T15:52:14Z","timestamp":1385049134000},"page":"1-10","source":"Crossref","is-referenced-by-count":12,"title":["Diversely enumerating system-level architectures"],"prefix":"10.1109","author":[{"given":"Ethan K.","family":"Jackson","sequence":"first","affiliation":[]},{"given":"Gabor","family":"Simko","sequence":"additional","affiliation":[]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21581-0_23"},{"key":"17","first-page":"69","article-title":"Approximating the pareto front of multi-criteria optimization problems","author":"legriel","year":"2010","journal-title":"TACAS"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15579-6_10"},{"journal-title":"Discrete Multivariate Distributions","year":"1996","author":"johnson","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2001.932514"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.9"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879027"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.299"},{"key":"12","first-page":"441","article-title":"Synthesizing cyber-physical architectural models with real-time constraints","author":"hang","year":"2011","journal-title":"CAV"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024817"},{"key":"20","first-page":"290","article-title":"Constraint-based design-space exploration and model synthesis","author":"neema","year":"2003","journal-title":"EMSOFT"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/2001576.2001665"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/2348283.2348396"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970507"},{"journal-title":"Handbook of Satisfiability Volume 185 of Frontiers in Artificial Intelligence and Applications","year":"2009","author":"biere","key":"3"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1201\/b10956","author":"basu","year":"2011","journal-title":"Statistical Inference The Minimum Distance Approach"},{"key":"10","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/2380356.2380372","article-title":"Timed model checking with abstractions: Towards worst-case response time analysis in resource-sharing manycore systems","author":"giannopoulou","year":"2012","journal-title":"EMSOFT"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/776038.776042"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00161-X"},{"key":"6","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"TACAS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1390334.1390446"},{"key":"4","first-page":"150","article-title":"The OpenSMT solver","author":"bruttomesso","year":"2010","journal-title":"TACAS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.70747"},{"key":"8","first-page":"502","article-title":"An extensible SAT-solver","author":"ee?n","year":"2003","journal-title":"SAT"}],"event":{"name":"2013 International \u00a0Conference on Embedded \u00a0Software (EMSOFT)","start":{"date-parts":[[2013,9,29]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 Proceedings of the International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648479\/6658572\/06658589.pdf?arnumber=6658589","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,3]],"date-time":"2019-08-03T22:39:26Z","timestamp":1564871966000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6658589\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2013.6658589","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}