{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:00:32Z","timestamp":1740132032111,"version":"3.37.3"},"reference-count":20,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100002418","name":"Intel Corporation CAD SRS Funding","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1109\/tcad.2020.3040259","type":"journal-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:08:06Z","timestamp":1606270086000},"page":"2416-2420","source":"Crossref","is-referenced-by-count":3,"title":["Recurrence in Dense-Time AMS Assertions"],"prefix":"10.1109","volume":"40","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6652-9113","authenticated-orcid":false,"given":"Sayandeep","family":"Sanyal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4590-0665","authenticated-orcid":false,"given":"Antonio Anastasio Bruto","family":"da Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2178-8154","authenticated-orcid":false,"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TCAD.2016.2525798"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TCAD.2018.2857361"},{"key":"ref12","article-title":"AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic","author":"ni?kovi?","year":"2018","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref13","article-title":"AMT: A property-based monitoring tool for analog systems","author":"ni?kovi?","year":"2007","journal-title":"Formal Modeling and Analysis of Timed Systems"},{"key":"ref14","article-title":"Monitoring temporal properties of continuous signals","author":"ni?kovi?","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/506147.506151"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/978-3-319-10512-3_16"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1007\/978-3-662-49674-9_47"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/978-3-319-65765-3_13"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/978-3-030-20652-9_26"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TCAD.2018.2824288"},{"key":"ref3","first-page":"372","article-title":"Real-time specification patterns","author":"konrad","year":"2005","journal-title":"Proc 27th ICSE"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/2348839.2348842"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/1497561.1497564"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TCAD.2012.2202394"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TENCON.2009.5396176"},{"year":"2010","journal-title":"IEEE Std 1850-2010 (Revision of IEEE Std1850-2005) - Redline 1850-2010","first-page":"1","key":"ref2"},{"year":"0","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/TCAD.2012.2203599"},{"year":"2020","author":"sanyal","journal-title":"Recurrence in dense-time AMS assertions","key":"ref20"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9579466\/09268140.pdf?arnumber=9268140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:49:32Z","timestamp":1652194172000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9268140\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":20,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2020.3040259","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2021,11]]}}}