{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:23:52Z","timestamp":1729635832416,"version":"3.28.0"},"reference-count":52,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/bibm.2016.7822737","type":"proceedings-article","created":{"date-parts":[[2017,1,20]],"date-time":"2017-01-20T03:36:10Z","timestamp":1484883370000},"page":"1445-1452","source":"Crossref","is-referenced-by-count":2,"title":["CyberCardia project: Modeling, verification and validation of implantable cardiac devices"],"prefix":"10.1109","author":[{"given":"Md. Ariful","family":"Islam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyunkyung","family":"Lim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Paoletti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhihao","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacek","family":"Cyranka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sicun","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elizabeth","family":"Cherry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio","family":"Fenton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard A.","family":"Gray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Glimm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Shan Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Qinsi Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"journal-title":"A Wavelet Tour of Signal Processing","year":"1999","author":"mallat","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/cnm.2615"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1002970"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1137\/15M1019283"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1038\/nature10216"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1161\/CIRCEP.114.002344"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1063\/1.4829632"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8159.1995.tb06986.x"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1046\/j.1540-8167.2001.01393.x"},{"key":"ref28","first-page":"381","article-title":"Low-energy anti-fibrillation pacing (LEAP): A gentle, non traumatic defibrillation option","volume":"33","author":"chebbok","year":"2012","journal-title":"European Heart Journal"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8167.1997.tb00835.x"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1161\/CIRCULATIONAHA.108.825091"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1529\/biophysj.104.043299"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1005087"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1113\/jphysiol.1977.sp011853"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1063\/1.166311"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.bpj.2012.11.007"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1161\/01.CIR.97.17.1738"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1155\/2015\/720575"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-79403-7_12"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8167.2000.tb01805.x"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/S0092-8240(03)00041-7"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45177-0_9"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31365-3_23"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562138"},{"key":"ref11","article-title":"Computing compositional proofs of input-to-output stability using SOS optimization and 8-decidability","author":"murthy","year":"2016","journal-title":"Nonlinear Analysis Hybrid Systems"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref12","article-title":"A composition theorem for bisimulation functions","author":"girard","year":"2013","journal-title":"arXiv preprint arXiv 1304 5153"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1113\/expphysiol.2008.044610"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1152\/ajpheart.00794.2003"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1063\/1.166311","article-title":"Vortex dynamics in three-dimensional continuous myocardium with fiber rotation: filament instability and fibrillation","volume":"8","author":"fenton","year":"1998","journal-title":"Chaos An Interdisciplinary Journal of Nonlinear Science"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.71.1103"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.66.671"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s13253-016-0244-7"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1113\/jphysiol.1952.sp004764","article-title":"A quantitative description of membrane current and its application to conduction and excitation in nerve","volume":"117","author":"hodgkin","year":"1952","journal-title":"The Journal of Physiology"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0289-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"ref6","article-title":"Model-order reduction of ion channel dynamics using approximate bisimulation","author":"islam","year":"0","journal-title":"Theoretical Computer Science 2014"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33636-2_16"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582235"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.4249\/scholarpedia.1868"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728609"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.3389\/fphys.2013.00071"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1126\/science.7313693"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8167.1999.tb00281.x"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1161\/01.RES.0000224540.97431.f0"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1161\/01.CIR.76.6.1196"},{"key":"ref41","first-page":"15","author":"alur","year":"2016","journal-title":"Proceedings of the European Symposium on Programming Languages and Systems"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1424320112"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1063\/1.1504242"}],"event":{"name":"2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)","start":{"date-parts":[[2016,12,15]]},"location":"Shenzhen, China","end":{"date-parts":[[2016,12,18]]}},"container-title":["2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7811899\/7822470\/07822737.pdf?arnumber=7822737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T19:53:18Z","timestamp":1568749998000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7822737\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/bibm.2016.7822737","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}