{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T18:40:25Z","timestamp":1781808025803,"version":"3.54.5"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8714967","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:29:07Z","timestamp":1558027747000},"page":"890-895","source":"Crossref","is-referenced-by-count":6,"title":["Better Late Than Never : Verification of Embedded Systems After Deployment"],"prefix":"10.23919","author":[{"given":"Martin","family":"Ring","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fritjof","family":"Bornebusch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Luth","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","first-page":"737","article-title":"Yices 2.2","volume":"8559","author":"dutertre","year":"2014","journal-title":"International Conference on Computer-Aided Verification (CAV)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691175"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2015.7238101"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISED.2017.8303924"},{"key":"ref15","article-title":"OMG Systems Modeling Language (OMG SysML)","year":"2015","journal-title":"OMG Tech Rep formal\/2015-06-04"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45669-4_4"},{"key":"ref17","first-page":"714","author":"baaij","year":"2010","journal-title":"CLaSH Structural Descriptions of Synchronous Hardware Using Haskell"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2016.7880369"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49487-6_1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2016.7482447"},{"key":"ref3","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref6","author":"martin","year":"2007","journal-title":"ESL Design and Verification A Prescription for Electronic System Level Methodology"},{"key":"ref5","first-page":"53","article-title":"Formal Specification Level: Towards verification-driven design based on natural language processing","author":"drechsler","year":"2012","journal-title":"Forum on specification and Design Languages (FDL)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/11532231_23"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref2","first-page":"1","article-title":"SMT-based stimuli generation in the SystemC verification library","author":"wille","year":"2009","journal-title":"Forum on specification and Design Languages (FDL)"},{"key":"ref1","author":"yuan","year":"2006","journal-title":"Constraint-Based Verification"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/VLSISOC.2007.4402478"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2013.31"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3194554.3194643"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Florence, Italy","start":{"date-parts":[[2019,3,25]]},"end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08714967.pdf?arnumber=8714967","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T19:49:34Z","timestamp":1559591374000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8714967\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":22,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8714967","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}