{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T15:08:26Z","timestamp":1762009706774,"version":"build-2065373602"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/memcod.2018.8556922","type":"proceedings-article","created":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T00:57:30Z","timestamp":1544144250000},"page":"1-11","source":"Crossref","is-referenced-by-count":15,"title":["Security of Pacemakers using Runtime Verification"],"prefix":"10.1109","author":[{"given":"Srinivas","family":"Pinisetty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha S","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vidula","family":"Sawant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.7763\/IJCEE.2012.V4.522"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69149-5_40"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref14","first-page":"40","article-title":"Runtime verification of safety-progress properties","volume":"5779","author":"falcone","year":"2009","journal-title":"Runtime Verification 2009 ser LNCS"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.06.060"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/978-3-642-29860-8_20","article-title":"Algorithms for monitoring real-time properties","author":"basin","year":"2012","journal-title":"Runtime Verification"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","article-title":"Rule-based runtime verification revisited","volume":"17","author":"havelund","year":"2015","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3126500"},{"key":"ref19","first-page":"188","article-title":"Modeling and verification of a dual chamber implantable pacemaker","author":"jiang","year":"2012","journal-title":"TACAS ser TACAS'12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1126\/science.347.6221.499"},{"key":"ref3","article-title":"Pacemaker hack can deliver deadly 830-volt jolt","volume":"17","author":"kirk","year":"2012","journal-title":"ComputerWorld"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2013.2245664"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2521727"},{"key":"ref8","first-page":"377","article-title":"Ecg database applicable for development and testing of pace detection algorithms","volume":"18","author":"jekova","year":"2014","journal-title":"Int J Bioautomation"},{"key":"ref7","first-page":"494","article-title":"Towards Certified Runtime Verification","volume":"7635","author":"olaf blech","year":"2012","journal-title":"ICFEM 2012 ser LNCS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2667218"},{"journal-title":"Cardiac Pacemakers Step by Step An Illustrated Guide","year":"2008","author":"barold","key":"ref1"},{"journal-title":"ecgSignal","year":"2018","key":"ref9"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/j.jbi.2015.04.007","article-title":"Security and privacy issues in implantable medical devices: A comprehensive survey","volume":"55","author":"camara","year":"2015","journal-title":"Journal of Biomedical Informatics"},{"year":"2018","key":"ref22"},{"journal-title":"PhysioNet","year":"2018","key":"ref21"},{"year":"2018","key":"ref24"},{"journal-title":"Uppaal DBM Library","year":"2018","key":"ref23"}],"event":{"name":"2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2018,10,15]]},"location":"Beijing, China","end":{"date-parts":[[2018,10,18]]}},"container-title":["2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536775\/8556861\/08556922.pdf?arnumber=8556922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T03:04:09Z","timestamp":1643252649000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8556922\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/memcod.2018.8556922","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}