{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T07:09:44Z","timestamp":1763968184039,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"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":[[2016,5,14]]},"DOI":"10.1145\/2889160.2889233","type":"proceedings-article","created":{"date-parts":[[2016,5,16]],"date-time":"2016-05-16T12:27:23Z","timestamp":1463401643000},"page":"112-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Use runtime verification to improve the quality of medical care practice"],"prefix":"10.1145","author":[{"given":"Yu","family":"Jiang","sequence":"first","affiliation":[{"name":"Capital Normal University, China and University of Illinois at Urbana-Champaign and Tsinghua University, China"}]},{"given":"Han","family":"Liu","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}]},{"given":"Hui","family":"Kong","sequence":"additional","affiliation":[{"name":"Institute of Science and Technology, Austria"}]},{"given":"Rui","family":"Wang","sequence":"additional","affiliation":[{"name":"Capital Normal University, China"}]},{"given":"Mohammad","family":"Hosseini","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795214"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000367.2000368"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_36"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2004.02.003"},{"key":"e_1_3_2_1_6_1","volume-title":"A look into the nature and causes of human errors in the intensive care unit. Critical care medicine, 23(2):294--300","author":"Donchin Y.","year":"1995","unstructured":"Y. Donchin , D. Gopher , M. Olin , Y. Badihi , M. R. Biesky , C. L. Sprung , R. Pizov , and S. Cotev . A look into the nature and causes of human errors in the intensive care unit. Critical care medicine, 23(2):294--300 , 1995 . Y. Donchin, D. Gopher, M. Olin, Y. Badihi, M. R. Biesky, C. L. Sprung, R. Pizov, and S. Cotev. A look into the nature and causes of human errors in the intensive care unit. Critical care medicine, 23(2):294--300, 1995."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2168342.2168348"},{"key":"e_1_3_2_1_8_1","volume-title":"Disseminating medical knowledge: the proforma approach. Artificial intelligence in medicine, 14(1):157--182","author":"Fox J.","year":"1998","unstructured":"J. Fox , N. Johns , and A. Rahmanzadeh . Disseminating medical knowledge: the proforma approach. Artificial intelligence in medicine, 14(1):157--182 , 1998 . J. Fox, N. Johns, and A. Rahmanzadeh. Disseminating medical knowledge: the proforma approach. Artificial intelligence in medicine, 14(1):157--182, 1998."},{"key":"e_1_3_2_1_9_1","volume-title":"Decision support for health care: the proforma evidence base. Informatics in primary care, 14(1):49--54","author":"Fox J.","year":"2006","unstructured":"J. Fox , V. Patkar , and R. Thomson . Decision support for health care: the proforma evidence base. Informatics in primary care, 14(1):49--54 , 2006 . J. Fox, V. Patkar, and R. Thomson. Decision support for health care: the proforma evidence base. Informatics in primary care, 14(1):49--54, 2006."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68524-1_3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.190611"},{"key":"e_1_3_2_1_12_1","first-page":"200","volume-title":"Proceedings\/the... Annual Symposium on Computer Application {sic} in Medical Care. Symposium on Computer Applications in Medical Care","author":"Hripcsak G.","year":"1990","unstructured":"G. Hripcsak , P. D. Clayton , T. A. Pryor , P. Haug , O. Wigertz , and J. Van der Lei. The arden syntax for medical logic modules . In Proceedings\/the... Annual Symposium on Computer Application {sic} in Medical Care. Symposium on Computer Applications in Medical Care , pages 200 -- 204 . American Medical Informatics Association , 1990 . G. Hripcsak, P. D. Clayton, T. A. Pryor, P. Haug, O. Wigertz, and J. Van der Lei. The arden syntax for medical logic modules. In Proceedings\/the... Annual Symposium on Computer Application {sic} in Medical Care. Symposium on Computer Applications in Medical Care, pages 200--204. American Medical Informatics Association, 1990."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45337-7_18"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-53956-5_14"},{"key":"e_1_3_2_1_15_1","unstructured":"M. G. e. Lansberg. Antithrombotic and thrombolytic therapy for ischemic stroke: antithrombotic therapy and prevention of thrombosis: American college of chest physicians evidence-based clinical practice guidelines. CHEST Journal 141(2_suppl):e601S--e636S 2012.  M. G. e. Lansberg. Antithrombotic and thrombolytic therapy for ischemic stroke: antithrombotic therapy and prevention of thrombosis: American college of chest physicians evidence-based clinical practice guidelines. CHEST Journal 141(2_suppl):e601S--e636S 2012."},{"key":"e_1_3_2_1_16_1","first-page":"383","volume-title":"Symposium on","author":"Laroussinie F.","year":"2002","unstructured":"F. Laroussinie , N. Markey , and P. Schnoebelen . Temporal logic with forgettable past. In Logic in Computer Science , Symposium on , pages 383 -- 383 . IEEE Computer Society , 2002 . F. Laroussinie, N. Markey, and P. Schnoebelen. Temporal logic with forgettable past. In Logic in Computer Science, Symposium on, pages 383--383. IEEE Computer Society, 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.10"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.50"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1503\/cmaj.081148.R2"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/3115971.3116164"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834965.2834967"},{"key":"e_1_3_2_1_24_1","volume-title":"Upp2sf: Translating uppaal models to simulink","author":"Pajic M.","year":"2011","unstructured":"M. Pajic , I. Lee , R. Mangharam , and O. Sokolsky . Upp2sf: Translating uppaal models to simulink . University of Pennsylvania , Tech. Rep, 2011 . M. Pajic, I. Lee, R. Mangharam, and O. Sokolsky. Upp2sf: Translating uppaal models to simulink. University of Pennsylvania, Tech. Rep, 2011."},{"issue":"1","key":"e_1_3_2_1_25_1","first-page":"3","article-title":"Model-driven safety analysis of closed-loop medical systems. Industrial Informatics","volume":"10","author":"Pajic M.","year":"2014","unstructured":"M. Pajic , R. Mangharam , O. Sokolsky , D. Arney , J. Goldman , and I. Lee . Model-driven safety analysis of closed-loop medical systems. Industrial Informatics , IEEE Transactions on , 10 ( 1 ): 3 -- 16 , 2014 . M. Pajic, R. Mangharam, O. Sokolsky, D. Arney, J. Goldman, and I. Lee. Model-driven safety analysis of closed-loop medical systems. Industrial Informatics, IEEE Transactions on, 10(1):3--16, 2014.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1136\/jamia.1998.0050467"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.43"},{"key":"e_1_3_2_1_28_1","volume-title":"Non-compliance with guidelines: motivations and consequences in a case study. Studies in health technology and informatics, 101:75--87","author":"Quaglini S.","year":"2003","unstructured":"S. Quaglini , P. Ciccarese , G. Micieli , and A. Cavallini . Non-compliance with guidelines: motivations and consequences in a case study. Studies in health technology and informatics, 101:75--87 , 2003 . S. Quaglini, P. Ciccarese, G. Micieli, and A. Cavallini. Non-compliance with guidelines: motivations and consequences in a case study. Studies in health technology and informatics, 101:75--87, 2003."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1097\/00006527-200601000-00004"},{"key":"e_1_3_2_1_30_1","volume-title":"Runtime application of hybrid-asbru clinical guidelines. Journal of biomedical informatics, 40(5):507--526","author":"Young O.","year":"2007","unstructured":"O. Young , Y. Shahar , Y. Liel , E. Lunenfeld , G. Bar , E. Shalom , S. B. Martins , L. T. Vaszar , T. Marom , and M. K. Goldstein . Runtime application of hybrid-asbru clinical guidelines. Journal of biomedical informatics, 40(5):507--526 , 2007 . O. Young, Y. Shahar, Y. Liel, E. Lunenfeld, G. Bar, E. Shalom, S. B. Martins, L. T. Vaszar, T. Marom, and M. K. Goldstein. Runtime application of hybrid-asbru clinical guidelines. Journal of biomedical informatics, 40(5):507--526, 2007."}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\TCSE TC on Software Engineering","IEEE-CS\\DATC IEEE Computer Society"],"location":"Austin Texas","acronym":"ICSE '16"},"container-title":["Proceedings of the 38th International Conference on Software Engineering Companion"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2889160.2889233","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2889160.2889233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:12Z","timestamp":1750221552000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2889160.2889233"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":29,"alternative-id":["10.1145\/2889160.2889233","10.1145\/2889160"],"URL":"https:\/\/doi.org\/10.1145\/2889160.2889233","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}