{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:23:16Z","timestamp":1729671796663,"version":"3.28.0"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/iccps.2012.10","type":"proceedings-article","created":{"date-parts":[[2012,5,24]],"date-time":"2012-05-24T22:29:08Z","timestamp":1337898548000},"page":"13-22","source":"Crossref","is-referenced-by-count":18,"title":["From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP)"],"prefix":"10.1109","author":[{"given":"Tao","family":"Li","sequence":"first","affiliation":[]},{"given":"Feng","family":"Tan","sequence":"additional","affiliation":[]},{"given":"Qixin","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Lei","family":"Bu","sequence":"additional","affiliation":[]},{"given":"Jian-Nong","family":"Cao","sequence":"additional","affiliation":[]},{"given":"Xue","family":"Liu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.01.016"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2226594"},{"journal-title":"Fundamentals of Engineering Thermodynamics","year":"2003","author":"moran","key":"17"},{"key":"36","article-title":"Toward online hybrid systems model checking of cyberphysical systems time-bounded short-run behavior","author":"bu","year":"0","journal-title":"ICCPS'11 Work-in-Progress Session Apr 2011"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00038-9"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-9-S2-S3"},{"key":"15","first-page":"258","article-title":"PHAVer: Algorithmic Verification of Hybrid Systems past HyTech","volume":"2289","author":"frehse","year":"2005","journal-title":"LNCS"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795214"},{"journal-title":"Nonin 9843 Oximeter\/Co2 Detector","year":"0","key":"16"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-COMPANION.2009.5070972"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"journal-title":"Understanding Anesthesia Equipment","year":"2007","author":"dorsch","key":"14"},{"key":"37","article-title":"From offline long-run to online short-run: Exploring a new approach of hybrid systems model checking for mdpnp","author":"li","year":"0","journal-title":"Joint Workshop on HCMDSS\/MDPnP Apr 2011"},{"key":"11","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","volume":"736","author":"alur","year":"1992","journal-title":"Hybrid Systems"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2065210"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"journal-title":"From Offline Toward Real-Time A Hybrid Systems Model Checking and CPS Co-Design Approach for MDPnP (Technical Report Appendices)","year":"0","author":"li","key":"21"},{"key":"20","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/3-540-61739-6_49","article-title":"Uniformity for the decidability of hybrid automata","volume":"1145","author":"roux","year":"1996","journal-title":"Static Analysis"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.2004.1317256"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450080"},{"journal-title":"Principles of Surgery","year":"2009","author":"brunicardi","key":"22"},{"journal-title":"PhysioNet The Research Resource for Complex Physiologic Signals","year":"0","key":"23"},{"key":"24","first-page":"4","article-title":"Collecting statistics over runtime executions","volume":"70","author":"finkbeiner","year":"2002","journal-title":"ENTCS"},{"key":"25","first-page":"123","article-title":"Online efficient predictive safety analysis of multithreaded programs","author":"sen","year":"0","journal-title":"Proceedings of 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04) Barcelona Spain 2004"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.066"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/NCM.2009.191"},{"key":"28","first-page":"378","article-title":"Smart play-out of behavioral requirements","author":"harel","year":"0","journal-title":"Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD '02) London UK 2002"},{"key":"29","first-page":"20","article-title":"Lightweight hybrid model checking facilitating online prediction of temporal properties","author":"sauterand","year":"0","journal-title":"Proceedings of the 21st Nordic Workshop on Programming Theory NWPT 09 Kgs Lyngby Denmark 2009"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-88735-7_1"},{"journal-title":"Medical Devices and Medical Systems Essential Safety Requirements for Equipment Comprising the Patient-Centric Integrated Clinical Environment (ICE) Part 1 General Requirements and Conceptual Model","year":"2009","key":"10"},{"journal-title":"Medical Device Plug-and-Play (MDPnP)","year":"0","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1039\/c0mb00253d"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795215"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837463"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940107"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1002\/047172288X.ch14"},{"journal-title":"Uppaal Tron User Manual","year":"2007","author":"larsen","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1213\/01.ane.0000265557.73688.32"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1213\/01.ANE.0000177102.11682.20"}],"event":{"name":"2012 IEEE\/ACM Third International Conference on Cyber-Physical Systems (ICCPS)","start":{"date-parts":[[2012,4,17]]},"location":"Beijing, China","end":{"date-parts":[[2012,4,19]]}},"container-title":["2012 IEEE\/ACM Third International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6197284\/6197382\/06197384.pdf?arnumber=6197384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T19:14:26Z","timestamp":1497986066000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6197384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/iccps.2012.10","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}