{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:10:50Z","timestamp":1729617050557,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/ddecs.2014.6868816","type":"proceedings-article","created":{"date-parts":[[2014,8,8]],"date-time":"2014-08-08T14:34:40Z","timestamp":1407508480000},"page":"306-309","source":"Crossref","is-referenced-by-count":1,"title":["Verifying robust frequency domain properties of non linear oscillators using SMT"],"prefix":"10.1109","author":[{"given":"Hafiz ul","family":"Asad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin D.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederic","family":"Surre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"crossref","first-page":"1395","DOI":"10.1016\/j.mejo.2008.05.013","article-title":"Formal verification of analog and mixed signal designs: A survey","volume":"39","author":"mohamed","year":"2008","journal-title":"Microelectronics Journal"},{"key":"ref3","first-page":"449","article-title":"On periodicity detection and structural periodic similarity","author":"michail","year":"2005","journal-title":"SIAM International Conference on Data Mining"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/j.entcs.2006.02.019","article-title":"Time domain verification of oscillator circuit properties","volume":"153","author":"goran","year":"2006","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"ref6","first-page":"93","article-title":"Formal verification of analog designs using metitarski","author":"william","year":"2009","journal-title":"Formal Methods in Computer-Aided Design 2009 FMCAD 2009"},{"key":"ref11","first-page":"257","article-title":"Verifying analog oscillator circuits using forward\/backward abstraction refinement","author":"goran","year":"2006","journal-title":"European Design and Automation Association"},{"key":"ref5","first-page":"649","article-title":"A formal approach to verification of linear analog circuits wth parameter tolerances","author":"lars","year":"1998","journal-title":"IEEE Computer Society"},{"journal-title":"MATLAB Version 8 2 (R2013b)","year":"2013","key":"ref12"},{"key":"ref8","first-page":"6","article-title":"Finding the steady-state response of analog and microwave circuits","author":"kenneth","year":"1988","journal-title":"IEEE"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","article-title":"The algorithmic analysis of hybrid systems","volume":"138","author":"rajeev","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"ref2","first-page":"105","article-title":"Satisfiability modulo odes. In Formal Methods in Computer-Aided Design (FMCAD)","author":"sicun","year":"2013","journal-title":"IEEE"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_22"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-540-88387-6_14","article-title":"Sat modulo ode: A direct sat approach to hybrid systems","author":"eggers","year":"2008","journal-title":"Automated Technology for Verification and Analysis"}],"event":{"name":"2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","start":{"date-parts":[[2014,4,23]]},"location":"Warsaw, Poland","end":{"date-parts":[[2014,4,25]]}},"container-title":["17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6862738\/6868744\/06868816.pdf?arnumber=6868816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T14:10:22Z","timestamp":1498140622000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6868816\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ddecs.2014.6868816","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}