{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:30Z","timestamp":1750307370345,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,12]],"date-time":"2010-04-12T00:00:00Z","timestamp":1271030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,12]]},"DOI":"10.1145\/1791212.1791284","type":"proceedings-article","created":{"date-parts":[[2010,5,11]],"date-time":"2010-05-11T14:46:29Z","timestamp":1273589189000},"page":"418-419","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A platform for implantable medical device validation"],"prefix":"10.1145","author":[{"given":"Miroslav","family":"Pajic","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"Zhihao","family":"Jiang","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"Allison","family":"Connolly","sequence":"additional","affiliation":[{"name":"Johns Hopkins University"}]},{"given":"Sanjay","family":"Dixit","sequence":"additional","affiliation":[{"name":"Hospital of the Univ. of Penn."}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]}],"member":"320","published-online":{"date-parts":[[2010,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"nano-RK Sensor RTOS. http:\/\/nanork.org.  nano-RK Sensor RTOS. http:\/\/nanork.org."},{"key":"e_1_3_2_1_2_1","unstructured":"Simulink design verifier 1.5. mathworks.  Simulink design verifier 1.5. mathworks."},{"key":"e_1_3_2_1_3_1","unstructured":"Spartan-3 FPGA Datasheet.  Spartan-3 FPGA Datasheet."},{"key":"e_1_3_2_1_4_1","unstructured":"Simulink HDL Coder 1.6. Mathworks 2009.  Simulink HDL Coder 1.6. Mathworks 2009."},{"key":"e_1_3_2_1_5_1","volume-title":"UC Berkeley","author":"Camera K.","year":"2001","unstructured":"K. Camera . SF2VHD : A StateFlow to VHDL Translator. Masters Thesis , UC Berkeley , 2001 . K. Camera. SF2VHD: A StateFlow to VHDL Translator. Masters Thesis, UC Berkeley, 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.127"},{"key":"e_1_3_2_1_7_1","first-page":"286","author":"Recalls W. H. M.","year":"2001","unstructured":"W. H. M. et. al. Recalls and safety alerts involving pacemakers and implantable cardioverter-defibrillator generators. J. American Med. Ass. , 286 , 2001 . W. H. M. et. al. Recalls and safety alerts involving pacemakers and implantable cardioverter-defibrillator generators. J. American Med. Ass., 286, 2001.","journal-title":"J. American Med. Ass."},{"key":"e_1_3_2_1_8_1","volume-title":"Health. Ensuring the Safety of Marketed Medical Devices. US FDA","author":"C.","year":"2006","unstructured":"C. for Devices and R . Health. Ensuring the Safety of Marketed Medical Devices. US FDA , 2006 . C. for Devices and R. Health. Ensuring the Safety of Marketed Medical Devices. US FDA, 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9028-z"}],"event":{"name":"IPSN '10: The 9th International Conference on Information Processing in Sensor Networks","sponsor":["IEEE-SPS Signal Processing Society","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Stockholm Sweden","acronym":"IPSN '10"},"container-title":["Proceedings of the 9th ACM\/IEEE International Conference on Information Processing in Sensor Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1791212.1791284","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1791212.1791284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:51Z","timestamp":1750245771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1791212.1791284"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,12]]},"references-count":9,"alternative-id":["10.1145\/1791212.1791284","10.1145\/1791212"],"URL":"https:\/\/doi.org\/10.1145\/1791212.1791284","relation":{},"subject":[],"published":{"date-parts":[[2010,4,12]]},"assertion":[{"value":"2010-04-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}