{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T04:53:27Z","timestamp":1749099207982},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,13]]},"DOI":"10.1109\/memocode57689.2022.9954594","type":"proceedings-article","created":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T15:22:51Z","timestamp":1669648971000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Runtime Verification for Clinically Interpretable Arrhythmia Classification"],"prefix":"10.1109","author":[{"given":"Alex","family":"Baird","sequence":"first","affiliation":[{"name":"University of Auckland,Auckland,New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srinivas","family":"Pinisetty","sequence":"additional","affiliation":[{"name":"I.I.T. Bhubaneswar,Jatni,Odisha,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathan","family":"Allen","sequence":"additional","affiliation":[{"name":"University of Auckland,Auckland,New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nitish","family":"Patel","sequence":"additional","affiliation":[{"name":"University of Auckland,Auckland,New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland,Auckland,New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.compbiomed.2019.103540"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1186\/1475-925X-13-160"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s11517-015-1364-x"},{"key":"ref30","article-title":"Mobile cardiac health-care monitoring and notification with real timetachycardia and bradycardia arrhythmia detection","author":"golzar","year":"2017","journal-title":"Journal of medical signals and sensors"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TBME.1985.325532"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jelectrocard.2009.06.006"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3359986.3361200"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASPEC.2007.31"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.06.060"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04694-0_4"},{"journal-title":"A Theory of Timed Automata","year":"1990","author":"alur","key":"ref14"},{"journal-title":"The Only EKG BOOK You'll Ever Need NINTH EDITION","year":"2019","author":"thaler","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.06.060"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"journal-title":"Oxford Textbook of Medicine","year":"2003","author":"warrell","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/51.932724"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6579\/ab87b4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/51.646221"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s11760-017-1103-x"},{"key":"ref3","first-page":"51","author":"elkilany","year":"2017","journal-title":"Sudden Cardiac Death"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3109\/03091909809062475"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-013-0823-6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IEMBS.1996.652646"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3109\/03091909809032534"},{"journal-title":"Out-of-hospital cardiac arrest registry r?hita mate manawa m? waho i te h?hipera","year":"2020","author":"dicker","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3412841.3442139"},{"journal-title":"Cardiovascular diseases cvds","year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1161\/01.CIR.101.23.e215"},{"key":"ref22","first-page":"227","article-title":"A new method for detecting atrial fibrillation using rr intervals","author":"moody","year":"1983","journal-title":"Computers in Cardiology"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8556922"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jelectrocard.2003.09.041"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1166\/jmihi.2018.2442"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020949"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2020.100639"}],"event":{"name":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2022,10,13]]},"location":"Shanghai, China","end":{"date-parts":[[2022,10,14]]}},"container-title":["2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9954458\/9954381\/09954594.pdf?arnumber=9954594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T15:08:56Z","timestamp":1671462536000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9954594\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,13]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/memocode57689.2022.9954594","relation":{},"subject":[],"published":{"date-parts":[[2022,10,13]]}}}