{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:34:04Z","timestamp":1729665244298,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1109\/aspdac.2011.5722168","type":"proceedings-article","created":{"date-parts":[[2011,3,5]],"date-time":"2011-03-05T07:54:28Z","timestamp":1299311668000},"page":"1-6","source":"Crossref","is-referenced-by-count":9,"title":["Analog circuit verification by statistical model checking"],"prefix":"10.1109","author":[{"given":"Ying-Chih","family":"Wang","sequence":"first","affiliation":[]},{"given":"Anvesh","family":"Komuravelli","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Zuliani","sequence":"additional","affiliation":[]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"76","article-title":"Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations","author":"chutinan","year":"1999","journal-title":"HSCC"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382573"},{"key":"ref12","first-page":"275","article-title":"Verification of analog\/mixed-signal circuits using labeled hybrid petri nets","author":"little","year":"2006","journal-title":"ICCAD"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351136"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457009"},{"key":"ref4","first-page":"73","article-title":"Approximate probabilistic model checking","volume":"2937","author":"herault","year":"2004","journal-title":"VMCAI Ser LNCS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.05.002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63165-8_199"},{"key":"ref5","first-page":"202","article-title":"Statistical model checking of black-box probabilistic systems","volume":"3114","author":"sen","year":"2004","journal-title":"CAV Ser LNCS"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1145\/1755952.1755987","article-title":"Bayesian statistical model checking with application to Stateflow\/Simulink verification","author":"zuliani","year":"2010","journal-title":"HSCC"},{"key":"ref1","first-page":"149","article-title":"Statistical model checking of mixed-analog circuits with an application to a third order delta-sigma modulator","volume":"5394","author":"clarke","year":"0"},{"key":"ref9","first-page":"271","article-title":"Monte Carlo Model Checking","volume":"3440","author":"grosu","year":"2005","journal-title":"TACAS Ser LNCS"}],"event":{"name":"2011 16th Asia and South Pacific Design Automation Conference ASP-DAC 2011","start":{"date-parts":[[2011,1,25]]},"location":"Yokohama, Japan","end":{"date-parts":[[2011,1,28]]}},"container-title":["16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5716646\/5722157\/05722168.pdf?arnumber=5722168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:31:45Z","timestamp":1497889905000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5722168\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2011.5722168","relation":{},"subject":[],"published":{"date-parts":[[2011,1]]}}}