{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T07:41:13Z","timestamp":1751787673566},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/hldvt.2016.7748260","type":"proceedings-article","created":{"date-parts":[[2016,11,22]],"date-time":"2016-11-22T02:23:51Z","timestamp":1479781431000},"page":"85-92","source":"Crossref","is-referenced-by-count":3,"title":["High-level modeling for computer-aided clinical trials of medical devices"],"prefix":"10.1109","author":[{"given":"Houssam","family":"Abbas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhihao","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuk Jin","family":"Jang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Beccani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jackson","family":"Liangy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jacc.2007.09.073"},{"journal-title":"Clinical Cardiac Electrophysiology","year":"2008","author":"josephson","key":"ref3"},{"key":"ref6","article-title":"Learning deformable motifs in continuous time series data","author":"saria","year":"2011","journal-title":"International Joint Conference on Artificial Intelligence"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1056\/NEJMoa1211107"},{"key":"ref8","first-page":"585","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Proc 23rd International Conference on Computer Aided Verification (CAV'11) Volume 6806 of LNCS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/5.18626"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.hrthm.2011.10.004"},{"year":"0","key":"ref1","article-title":"Ask The ICD"}],"event":{"name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2016,10,7]]},"location":"Santa Cruz, CA, USA","end":{"date-parts":[[2016,10,8]]}},"container-title":["2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7746774\/7748241\/07748260.pdf?arnumber=7748260","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,7]],"date-time":"2016-12-07T17:32:30Z","timestamp":1481131950000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7748260\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2016.7748260","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}