{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:10Z","timestamp":1750221190968,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,24]],"date-time":"2018-06-24T00:00:00Z","timestamp":1529798400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1545002,1545008"],"award-info":[{"award-number":["1545002,1545008"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,24]]},"DOI":"10.1145\/3195970.3196062","type":"proceedings-article","created":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T13:54:59Z","timestamp":1529416499000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["<i>IAfinder<\/i>"],"prefix":"10.1145","author":[{"given":"Zhicheng","family":"Fu","sequence":"first","affiliation":[{"name":"Illinois Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhao","family":"Wang","sequence":"additional","affiliation":[{"name":"Illinois Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunhui","family":"Guo","sequence":"additional","affiliation":[{"name":"Illinois Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Illinois Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shangping","family":"Ren","sequence":"additional","affiliation":[{"name":"Illinois Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,24]]},"reference":[{"volume-title":"State Chart XML (SCXML): State Machine Notation for Control Abstraction. (February","year":"2007","key":"e_1_3_2_1_1_1","unstructured":"2007. State Chart XML (SCXML): State Machine Notation for Control Abstraction. (February 2007 ). http:\/\/www.w3.org\/TR\/scxml\/#join 2007. State Chart XML (SCXML): State Machine Notation for Control Abstraction. (February 2007). http:\/\/www.w3.org\/TR\/scxml\/#join"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_4_1","unstructured":"American Heart Association. 2017. About Cardiac Arrest. http:\/\/www.heart.org\/HEARTORG\/Conditions\/More\/CardiacArrest\/About-Cardiac-Arrest_UCM_307905_Article.jsp. (2017).  American Heart Association. 2017. About Cardiac Arrest. http:\/\/www.heart.org\/HEARTORG\/Conditions\/More\/CardiacArrest\/About-Cardiac-Arrest_UCM_307905_Article.jsp. (2017)."},{"key":"e_1_3_2_1_5_1","volume-title":"Radiological Health, Office of Compliance Division of Analysis, and Program Operations.","author":"Food","year":"2013","unstructured":"Food , Drug Administration Center for Devices , Radiological Health, Office of Compliance Division of Analysis, and Program Operations. 2013 . Medical Device Recall ReportvFY2003 to FY 2012. https:\/\/www.fda.gov\/downloads\/aboutfda\/centersoffices\/officeofmedicalproductsandtobacco\/cdrh\/cdrhtransparency\/ucm388442.pdf. (2013). Food, Drug Administration Center for Devices, Radiological Health, Office of Compliance Division of Analysis, and Program Operations. 2013. Medical Device Recall ReportvFY2003 to FY2012. https:\/\/www.fda.gov\/downloads\/aboutfda\/centersoffices\/officeofmedicalproductsandtobacco\/cdrh\/cdrhtransparency\/ucm388442.pdf. (2013)."},{"key":"e_1_3_2_1_6_1","unstructured":"U.S. Food and Drug Administration. 2013. Class 1 Device Recall The HAMILTON T1. https:\/\/www.accessdata.fda.gov\/scripts\/cdrh\/cfdocs\/cfRes\/res.cfm?ID=115383. (2013).  U.S. Food and Drug Administration. 2013. Class 1 Device Recall The HAMILTON T1. https:\/\/www.accessdata.fda.gov\/scripts\/cdrh\/cfdocs\/cfRes\/res.cfm?ID=115383. (2013)."},{"key":"e_1_3_2_1_7_1","unstructured":"U.S. Food and Drug Administration. 2017. Medical Device Databases. http:\/\/www.fda.gov\/medicaldevices\/deviceregulationandguidance\/databases\/. (2017).  U.S. Food and Drug Administration. 2017. Medical Device Databases. http:\/\/www.fda.gov\/medicaldevices\/deviceregulationandguidance\/databases\/. (2017)."},{"key":"e_1_3_2_1_8_1","volume-title":"Study of Software-Related Causes in the FDA Medical Device Recalls. In the 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)","author":"Fu Zhicheng","year":"2017","unstructured":"Zhicheng Fu , Chunhui Guo , Zhenyu Zhang , Shangping Ren , Yu Jiang , and Lui Sha . 2017 . Study of Software-Related Causes in the FDA Medical Device Recalls. In the 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) , 2017. Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Yu Jiang, and Lui Sha. 2017. Study of Software-Related Causes in the FDA Medical Device Recalls. In the 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), 2017."},{"key":"e_1_3_2_1_9_1","volume-title":"Efficiently Using Prefix-trees in Mining Frequent Itemsets. In the 1st IEEE ICDM Workshop on Frequent Itemset Mining Implementations.","author":"Gosta Grahne","year":"2003","unstructured":"Grahne Gosta and Zhu Jianfei . 2003 . Efficiently Using Prefix-trees in Mining Frequent Itemsets. In the 1st IEEE ICDM Workshop on Frequent Itemset Mining Implementations. Grahne Gosta and Zhu Jianfei. 2003. Efficiently Using Prefix-trees in Mining Frequent Itemsets. In the 1st IEEE ICDM Workshop on Frequent Itemset Mining Implementations."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2984464.2984498"},{"key":"e_1_3_2_1_11_1","unstructured":"Ariane 501 inquiry board. 1996. Ariane 5 - Flight 501 failure report. http:\/\/www.di.unito.it\/~damiani\/ariane5rep.html. (1996).  Ariane 501 inquiry board. 1996. Ariane 5 - Flight 501 failure report. http:\/\/www.di.unito.it\/~damiani\/ariane5rep.html. (1996)."},{"volume-title":"Retrieved","year":"2016","key":"e_1_3_2_1_12_1","unstructured":"Itemis. 2016 . Yakindu Statechart Tools (SCT). https:\/\/www.itemis.com\/en\/yakindu\/statechart-tools\/. (2016) . Retrieved July 31, 2016 from https:\/\/www.itemis.com\/en\/yakindu\/statechart-tools\/ Itemis. 2016. Yakindu Statechart Tools (SCT). https:\/\/www.itemis.com\/en\/yakindu\/statechart-tools\/. (2016). Retrieved July 31, 2016 from https:\/\/www.itemis.com\/en\/yakindu\/statechart-tools\/"},{"key":"e_1_3_2_1_13_1","volume-title":"Data-centered runtime verification of wireless medical cyber-physical system","author":"Jiang Yu","year":"2016","unstructured":"Yu Jiang and etl. 2016. Data-centered runtime verification of wireless medical cyber-physical system . IEEE Transactions on Industrial Informatics ( 2016 ). Yu Jiang and etl. 2016. Data-centered runtime verification of wireless medical cyber-physical system. IEEE Transactions on Industrial Informatics (2016)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012535017876"},{"key":"e_1_3_2_1_15_1","unstructured":"S. Leue. 1999. Baby death due to software-controlled air bag deactivation?. In ACM Risks Digest.  S. Leue. 1999. Baby death due to software-controlled air bag deactivation?. In ACM Risks Digest ."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Lewis T. A. G. Mahatham and Wrage L. 2004. Assumptions Management in Software Development. In Technical Report. CMU.  Lewis T. A. G. Mahatham and Wrage L. 2004. Assumptions Management in Software Development. In Technical Report. CMU .","DOI":"10.21236\/ADA443152"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081755"},{"key":"e_1_3_2_1_18_1","unstructured":"The W3C Document Object Model. 2017. Java DOM Parser - Overview. https:\/\/www.tutorialspoint.com\/java_xml\/java_dom_parser.htm. (2017).  The W3C Document Object Model. 2017. Java DOM Parser - Overview. https:\/\/www.tutorialspoint.com\/java_xml\/java_dom_parser.htm. (2017)."},{"key":"e_1_3_2_1_19_1","first-page":"1","article-title":"Introduction to MATLAB \/ SIMULINK. In Numerical Computing with MATLAB, Revised Reprint. SIAM, Philadelphia","volume":"1","author":"Moler Cleve B.","year":"2008","unstructured":"Cleve B. Moler . 2008 . Introduction to MATLAB \/ SIMULINK. In Numerical Computing with MATLAB, Revised Reprint. SIAM, Philadelphia , Chapter 1 , 1 -- 51 . Cleve B. Moler. 2008. Introduction to MATLAB \/ SIMULINK. In Numerical Computing with MATLAB, Revised Reprint. SIAM, Philadelphia, Chapter 1, 1--51.","journal-title":"Chapter"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4249\/scholarpedia.6477"},{"key":"e_1_3_2_1_21_1","volume-title":"An Organ-Centric Best Practice Assist System for Acute Care. In 29th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2016","author":"Rahmaniheris Maryam","year":"2016","unstructured":"Maryam Rahmaniheris , Po-Liang Wu , Lui Sha , and Richard R. Berlin . 2016 . An Organ-Centric Best Practice Assist System for Acute Care. In 29th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2016 , Belfast, UK and Dublin, Ireland , June 20-24, 2016 . 100--105. Maryam Rahmaniheris, Po-Liang Wu, Lui Sha, and Richard R. Berlin. 2016. An Organ-Centric Best Practice Assist System for Acute Care. In 29th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2016, Belfast, UK and Dublin, Ireland, June 20-24, 2016. 100--105."},{"key":"e_1_3_2_1_22_1","volume-title":"Analytical System Composition. In The First Analytic Virtual Integration of Cyber-Physical Systems Workshop.","author":"Sha Lui","year":"2010","unstructured":"Lui Sha and Jose Meseguer . 2010 . Analytical System Composition. In The First Analytic Virtual Integration of Cyber-Physical Systems Workshop. Lui Sha and Jose Meseguer. 2010. Analytical System Composition. In The First Analytic Virtual Integration of Cyber-Physical Systems Workshop."},{"key":"e_1_3_2_1_23_1","unstructured":"Wikipedia. 2017. Invariant (computer science). (2017).  Wikipedia. 2017. Invariant (computer science). (2017)."}],"event":{"name":"DAC '18: The 55th Annual Design Automation Conference 2018","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE Council on Electronic Design Automation (CEDA)","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Francisco California","acronym":"DAC '18"},"container-title":["Proceedings of the 55th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3195970.3196062","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3195970.3196062","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3195970.3196062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:13Z","timestamp":1750210753000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3195970.3196062"}},"subtitle":["identifying potential implicit assumptions to facilitate validation in medical cyber-physical system"],"short-title":[],"issued":{"date-parts":[[2018,6,24]]},"references-count":22,"alternative-id":["10.1145\/3195970.3196062","10.1145\/3195970"],"URL":"https:\/\/doi.org\/10.1145\/3195970.3196062","relation":{},"subject":[],"published":{"date-parts":[[2018,6,24]]},"assertion":[{"value":"2018-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}