{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:43:15Z","timestamp":1730274195836,"version":"3.28.0"},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/isicir.2016.7829707","type":"proceedings-article","created":{"date-parts":[[2017,1,26]],"date-time":"2017-01-26T23:10:09Z","timestamp":1485472209000},"page":"1-3","source":"Crossref","is-referenced-by-count":0,"title":["Safety across the HW\/SW interface - Can formal methods meet the challenge?"],"prefix":"10.1109","author":[{"given":"Christian","family":"Bartsch","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Villarraga","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2016.7483356"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2014.2363152"},{"key":"ref6","first-page":"119","article-title":"An equivalence checker for hardware-dependent software","author":"villarraga","year":"2013","journal-title":"ACM & IEEE Int'l Conf on Formal Methods and Models for Codesign"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57685-5_4"},{"key":"ref2","first-page":"85","article-title":"Symbolic fault injection","volume":"259","author":"larsson","year":"2007","journal-title":"Proc of 4th International Verification Workshop in connection with CADE-21"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2014.2299711"}],"event":{"name":"2016 International Symposium on Integrated Circuits (ISIC)","start":{"date-parts":[[2016,12,12]]},"location":"Singapore","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 International Symposium on Integrated Circuits (ISIC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7822827\/7829673\/07829707.pdf?arnumber=7829707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,6]],"date-time":"2018-04-06T04:50:49Z","timestamp":1522990249000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7829707\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/isicir.2016.7829707","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}