{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T17:05:27Z","timestamp":1725383127972},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/iwsoc.2004.1319856","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T13:50:22Z","timestamp":1096379422000},"page":"87-92","source":"Crossref","is-referenced-by-count":1,"title":["Verification strategy determination using dependence analysis of transaction-level models"],"prefix":"10.1109","author":[{"given":"S.","family":"Regimbal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Savaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Bois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Specification and Design of Embedded Systems","year":"1994","author":"gajski","key":"15"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/596992.597003"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-7991-5_6"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/IWSOC.2003.1213040"},{"journal-title":"System Design with SystemC","year":"2002","author":"gro?tker","key":"12"},{"journal-title":"The Verification Guild","year":"0","author":"bergeron","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219043"},{"journal-title":"White Paper","article-title":"The unified verification methodology","year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"7","article-title":"Slice-based measurement of function coupling position paper","author":"harman","year":"1997","journal-title":"Proc ICSE Workshop Process Modelling and Empirical Studies of Software Eng"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.666825"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1145\/940071.940096","article-title":"Context-sensitive slicing of concurrent programs","author":"krinke","year":"2003","journal-title":"Proc ESEC\/FSE'03"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6"},{"journal-title":"Software Engineering-A Practioner's Approach 4th Ed","year":"1996","author":"pressman","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"}],"event":{"name":"4th IEEE International Workshop on System-on-Chip for Real-Time Applications","start":{"date-parts":[[2004,7,19]]},"location":"Banff, Alta., Canada","end":{"date-parts":[[2004,7,21]]}},"container-title":["4th IEEE International Workshop on System-on-Chip for Real-Time Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9224\/29242\/01319856.pdf?arnumber=1319856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,3]],"date-time":"2020-02-03T18:31:23Z","timestamp":1580754683000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1319856\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iwsoc.2004.1319856","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}