{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:04:28Z","timestamp":1725660268760},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5457062","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:33Z","timestamp":1361297793000},"page":"1578-1583","source":"Crossref","is-referenced-by-count":1,"title":["Robust design of embedded systems"],"prefix":"10.1109","author":[{"given":"Martin","family":"Lukasiewycz","sequence":"first","affiliation":[]},{"given":"Michael","family":"Glass","sequence":"additional","affiliation":[]},{"given":"Jurgen","family":"Teich","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2005.846356"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(96)00002-6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2006.5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.277577"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(93)90060-C"},{"key":"ref16","first-page":"1","article-title":"Symbolic model checking","author":"burch","year":"1990","journal-title":"Proc Symp Logic Comput Sci"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF00936165"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389233"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090711"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2005.859465"},{"key":"ref3","first-page":"119","article-title":"Creating Robust Solutions by Means of Evolutionary","author":"branke","year":"1998","journal-title":"Proc PPSN VII"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.cma.2007.03.003"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1115\/1.1290247"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.19"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1162\/evco.2006.14.4.463"},{"key":"ref2","first-page":"237","article-title":"Trade-off between Performance and Robust-ness: An Evolutionary Multiobjective Approach","author":"jin","year":"2003","journal-title":"Proceedings of EMO 2003"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068140"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1176254.1176267"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/1629911.1629925","article-title":"Denigning Heterogeneous ECU Networks via Compact Architecture Encoding and Hybrid Timing Analysis","author":"gla\u00df","year":"2009","journal-title":"Proc of DAC '09"}],"event":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","start":{"date-parts":[[2010,3,8]]},"location":"Dresden","end":{"date-parts":[[2010,3,12]]}},"container-title":["2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5450668\/5456897\/05457062.pdf?arnumber=5457062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,29]],"date-time":"2023-06-29T16:46:10Z","timestamp":1688057170000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5457062\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5457062","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}