{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:18:09Z","timestamp":1730222289724,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/fmcad.2009.5351136","type":"proceedings-article","created":{"date-parts":[[2009,12,11]],"date-time":"2009-12-11T13:55:16Z","timestamp":1260539716000},"page":"93-100","source":"Crossref","is-referenced-by-count":18,"title":["Formal verification of analog designs using MetiTarski"],"prefix":"10.1109","author":[{"given":"William","family":"Denman","sequence":"first","affiliation":[]},{"given":"Behzad","family":"Akbarpour","sequence":"additional","affiliation":[]},{"given":"Sofiene","family":"Tahar","sequence":"additional","affiliation":[]},{"given":"Mohamed H.","family":"Zaki","sequence":"additional","affiliation":[]},{"given":"Lawrence C.","family":"Paulson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1002\/cta.4490140102"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1023\/A:1005806324129"},{"year":"2009","author":"sutcliffe","journal-title":"The TPTP problem library for automated theorem proving","key":"18"},{"year":"0","journal-title":"Maple 12 The essential tool for mathematics and modelling","key":"15"},{"year":"2006","author":"chen","journal-title":"The Circuits and Filters Handbook","key":"16"},{"year":"0","author":"ratschan","journal-title":"HSolver Verification of hybrid systems based on the constraint solver RSolver","key":"13"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1007\/s10703-006-0031-0"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1023\/A:1008791128550"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1016\/j.mejo.2008.05.013"},{"key":"21","first-page":"263","article-title":"PHAVer: Algorithmic verification of hybrid systems past HyTech","volume":"3414","author":"frehse","year":"2005","journal-title":"ser LNCS"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1007\/1-4020-2530-0_6"},{"year":"2004","author":"sedra","journal-title":"Microelectronic Circuits","key":"22"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1109\/DATE.1998.655927"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1090\/S0002-9947-1983-0704611-X"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1006\/jsco.1993.1057"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1016\/S0010-4655(01)00462-3"},{"key":"3","first-page":"1","article-title":"Applications of MetiTarski in the verification of control and hybrid systems","volume":"5469","author":"akbarpour","year":"2009","journal-title":"ser LNCS"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1145\/968708.968710"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/ICCD.1999.808362"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1007\/978-3-540-85110-3_18"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/DATE.2006.244113"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/ICCAD.2004.1382573"},{"key":"5","first-page":"21","article-title":"Verification of analog and mixed-signal circuits using hybrid system techniques","volume":"3312","author":"dang","year":"2004","journal-title":"ser LNCS"},{"key":"4","first-page":"103","article-title":"Reachability analysis using polygonal projections","volume":"1569","author":"greenstreet","year":"1999","journal-title":"ser LNCS"},{"year":"0","author":"tiwari","journal-title":"HybridSal A tool for abstracting hybridsal specifications to SAL specifications","key":"9"},{"key":"8","article-title":"A bond graph approach for the constraint based verification of analog circuits","author":"denman","year":"2008","journal-title":"Workshop Formal Verification of Analog Circuits"}],"event":{"name":"2009 9<sup>th<\/sup> International Conference Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2009,11,15]]},"location":"Austin, TX","end":{"date-parts":[[2009,11,18]]}},"container-title":["2009 Formal Methods in Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5344684\/5351113\/05351136.pdf?arnumber=5351136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T15:18:44Z","timestamp":1489850324000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5351136\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2009.5351136","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}