{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:14:43Z","timestamp":1729660483706,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/isvlsi.2013.6654617","type":"proceedings-article","created":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T22:23:30Z","timestamp":1384208610000},"page":"20-25","source":"Crossref","is-referenced-by-count":1,"title":["Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs"],"prefix":"10.1109","author":[{"given":"Alair Dias","family":"Junior","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diogenes C. da Silva","family":"Junior","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/92.386221"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2004.1281743"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1996.566770"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341373"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.06.007"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228421"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/54.936247"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558643"},{"key":"12","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/978-3-642-22110-1_24","article-title":"Kratos - A software model checker for systemc","volume":"6806","author":"cimatti","year":"2011","journal-title":"Lecture Notes in Computer Science"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-011-5225-8"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.230831"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2004.1431224"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1531542.1531563"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-010-5148-9"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147120"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2011.07.020"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31880-4_13"},{"key":"28","article-title":"A bit too precise? Bounded verification of quantized digital filters","author":"cox","year":"0","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2012"},{"journal-title":"Verification Techniques for System-Level Design","year":"2008","author":"fujita","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.44"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2006.319965"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630082"},{"key":"7","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","article-title":"Specification and verification of concurrent systems in cesar","author":"queille","year":"1982","journal-title":"Proceedings of the 5th Colloquium on International Symposium on Programming"},{"key":"6","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BFb0025774","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","volume":"131","author":"clarke","year":"1982","journal-title":"Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2012.6261235"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-3631-5","author":"gro\ufffde","year":"2010","journal-title":"Quality-Driven SystemC Designs"},{"key":"9","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","article-title":"A tool for checking ANSI-C programs","volume":"2988","author":"clarke","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"8","first-page":"193","article-title":"Symbolic model checking without bdds","author":"biere","year":"1999","journal-title":"TACAS '99"}],"event":{"name":"2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)","start":{"date-parts":[[2013,8,5]]},"location":"Natal, Brazil","end":{"date-parts":[[2013,8,7]]}},"container-title":["2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6646390\/6654605\/06654617.pdf?arnumber=6654617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:46:06Z","timestamp":1498095966000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6654617\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/isvlsi.2013.6654617","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}