{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T05:07:07Z","timestamp":1748668027722,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/vlsi-soc.2015.7314424","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T23:01:11Z","timestamp":1446505271000},"page":"246-251","source":"Crossref","is-referenced-by-count":12,"title":["A time-window based approach for dynamic assertions mining on control signals"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"Danese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Filini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref10"},{"year":"0","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116251"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1012"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2001.966704"},{"year":"0","key":"ref15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/565816.503275"},{"key":"ref3","first-page":"1","article-title":"Standard for property specification language (PSL)","year":"2012","journal-title":"IEC 62531 2012(E) (IEEE Std 1850–2010)"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.7873\/DATE.2015.0110","article-title":"Automatic Extraction of Assertions from Execution Traces of Behavioural Models","author":"alessandro danese","year":"2015","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2241176"},{"year":"0","key":"ref8"},{"year":"0","key":"ref7","article-title":"Jasper Activeprop"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015727"},{"key":"ref1","first-page":"131","article-title":"Assertion-based verification turns the corner","volume":"19","author":"gupta","year":"2002","journal-title":"IEEE Design & Test of Computers"},{"year":"0","key":"ref9"}],"event":{"name":"2015 IFIP\/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)","start":{"date-parts":[[2015,10,5]]},"location":"Daejeon, South Korea","end":{"date-parts":[[2015,10,7]]}},"container-title":["2015 IFIP\/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7304349\/7314373\/07314424.pdf?arnumber=7314424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T06:05:04Z","timestamp":1567317904000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7314424\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/vlsi-soc.2015.7314424","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}