{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:41:26Z","timestamp":1725500486230},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/date.2005.74","type":"proceedings-article","created":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T20:16:50Z","timestamp":1112386610000},"page":"390-395","source":"Crossref","is-referenced-by-count":5,"title":["Automated Synthesis of Assertion Monitors using Visual Specifications"],"prefix":"10.1109","author":[{"given":"A.A.","family":"Gadkari","sequence":"first","affiliation":[]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Introduction to Algorithms","year":"1990","author":"cormen","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00252-X"},{"key":"18","first-page":"538","article-title":"FoCs: Automatic generation of simulation checkers from formal specifications","author":"abarbanel","year":"2000","journal-title":"Proc of CAV 2000"},{"key":"15","first-page":"283","article-title":"Model checking timing diagrams","author":"amla","year":"2000","journal-title":"Proc of FMCAD 2000"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2001.972814"},{"journal-title":"Distributed system design with message sequence charts","year":"2000","author":"kru?ger","key":"14"},{"journal-title":"AMBA AHB Cycle Level Interface Specification","year":"2003","key":"11"},{"journal-title":"OCP Specification Version 1 0","year":"0","key":"12"},{"journal-title":"0-In Design Automation","year":"0","key":"3"},{"journal-title":"Assertion-Based Verification","year":"2003","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"journal-title":"The ForSpec Temporal Logic A New Temporal Property Specification Language","year":"2002","author":"armoni","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/988952.989038"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39724-3_18"},{"journal-title":"Property Specification Language Reference Manual Version 1 01","year":"2003","author":"accellera","key":"5"},{"journal-title":"Verisity Design","year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"journal-title":"The Esterel v5 Language Primer Version v5 91","year":"2000","author":"berry","key":"8"}],"event":{"name":"Design, Automation and Test in Europe","location":"Munich, Germany"},"container-title":["Design, Automation and Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9609\/30361\/01395591.pdf?arnumber=1395591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T03:36:22Z","timestamp":1489548982000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1395591\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/date.2005.74","relation":{},"subject":[]}}