0 | Medical Guidance Systems Grouphttps://mgsgroup.netlify.app/publication-type/0/0Wowchemy (https://wowchemy.com)en-us© 2021Wed, 24 Jun 2020 20:47:29 +0000https://mgsgroup.netlify.app/media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_2.png0https://mgsgroup.netlify.app/publication-type/0/Mining Timing Constraints from Event Logs for Process, IEEE Computers, Systems and Applications Conference, COMPSAC 2020https://mgsgroup.netlify.app/publication/mining-timing-constraints-from-event-logs-for-process-ieee-computers-systems-and-applications-conference-compsac-2020/Wed, 24 Jun 2020 20:47:29 +0000https://mgsgroup.netlify.app/publication/mining-timing-constraints-from-event-logs-for-process-ieee-computers-systems-and-applications-conference-compsac-2020/Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet of Things Journal 6(4): 6276-6284https://mgsgroup.netlify.app/publication/design-verifiably-correct-model-patterns-to-facilitate-modeling-medical-best-practice-guidelines-with-statecharts-ieee-internet-of-things-journal-6-4-6276-6284-2019-doi-10-1109-jiot-2018-2879475/Mon, 24 Jun 2019 20:49:10 +0000https://mgsgroup.netlify.app/publication/design-verifiably-correct-model-patterns-to-facilitate-modeling-medical-best-practice-guidelines-with-statecharts-ieee-internet-of-things-journal-6-4-6276-6284-2019-doi-10-1109-jiot-2018-2879475/Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments. The 15th IEEE International Conference on Embedded Software and Systems (ICESS).https://mgsgroup.netlify.app/publication/prevent-potential-hazards-caused-by-medical-device-time-differences-in-integrated-clinical-environments-the-15th-ieee-international-conference-on-embedded-software-and-systems-icess-2019/Mon, 24 Jun 2019 20:48:25 +0000https://mgsgroup.netlify.app/publication/prevent-potential-hazards-caused-by-medical-device-time-differences-in-integrated-clinical-environments-the-15th-ieee-international-conference-on-embedded-software-and-systems-icess-2019/ Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet Things J. 6(4): 6276-6284 (2019)https://mgsgroup.netlify.app/publication/design-verifiably-correct-model-patterns-to-facilitate-modeling-medical-best-practice-guidelines-with-statecharts-ieee-internet-things-j-6-4-6276-6284-2019/Mon, 24 Jun 2019 20:48:06 +0000https://mgsgroup.netlify.app/publication/design-verifiably-correct-model-patterns-to-facilitate-modeling-medical-best-practice-guidelines-with-statecharts-ieee-internet-things-j-6-4-6276-6284-2019/Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. ICCPS 2018: 253-262https://mgsgroup.netlify.app/publication/model-and-integrate-medical-resource-available-times-and-relationships-in-verifiably-correct-executable-medical-best-practice-guideline-models-iccps-2018-253-262-doi-10-1109-iccps-2018-00032/Sun, 24 Jun 2018 20:49:49 +0000https://mgsgroup.netlify.app/publication/model-and-integrate-medical-resource-available-times-and-relationships-in-verifiably-correct-executable-medical-best-practice-guideline-models-iccps-2018-253-262-doi-10-1109-iccps-2018-00032/IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. DAC 2018: 143:1-143:6https://mgsgroup.netlify.app/publication/iafinder-identifying-potential-implicit-assumptions-to-facilitate-validation-in-medical-cyber-physical-system-dac-2018-143-1-143-6-doi-10-1145-3195970-3196062/Sun, 24 Jun 2018 20:49:31 +0000https://mgsgroup.netlify.app/publication/iafinder-identifying-potential-implicit-assumptions-to-facilitate-validation-in-medical-cyber-physical-system-dac-2018-143-1-143-6-doi-10-1145-3195970-3196062/Reducing Patient Waiting Time for Radiotherapy Treatments with a Genetic Algorithm. The 5th Annual Conference on Computational Science & Computational Intelligence (CSCI)https://mgsgroup.netlify.app/publication/reducing-patient-waiting-time-for-radiotherapy-treatments-with-a-genetic-algorithm-the-5th-annual-conference-on-computational-science-computational-intelligence-csci-2018-doi-10-1109-jiot-2018-2879475/Sun, 24 Jun 2018 20:48:49 +0000https://mgsgroup.netlify.app/publication/reducing-patient-waiting-time-for-radiotherapy-treatments-with-a-genetic-algorithm-the-5th-annual-conference-on-computational-science-computational-intelligence-csci-2018-doi-10-1109-jiot-2018-2879475/A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. MMSys 2017: 158-163https://mgsgroup.netlify.app/publication/a-mobile-geo-communication-dataset-for-physiology-aware-dash-in-rural-ambulance-transport-mmsys-2017-158-163-doi-10-1145-3083187-3083211/Wed, 28 Jun 2017 00:26:35 +0000https://mgsgroup.netlify.app/publication/a-mobile-geo-communication-dataset-for-physiology-aware-dash-in-rural-ambulance-transport-mmsys-2017-158-163-doi-10-1145-3083187-3083211/A physiology-aware communication architecture for distributed emergency medical CPS. ICCPS 2017: 83 doi>10.1145/3055004.3064841https://mgsgroup.netlify.app/publication/a-physiology-aware-communication-architecture-for-distributed-emergency-medical-cps-iccps-2017-83-doi-10-1145-3055004-3064841/Sat, 24 Jun 2017 20:53:14 +0000https://mgsgroup.netlify.app/publication/a-physiology-aware-communication-architecture-for-distributed-emergency-medical-cps-iccps-2017-83-doi-10-1145-3055004-3064841/Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD 2017: 964-969https://mgsgroup.netlify.app/publication/model-and-integrate-medical-resource-availability-into-verifiably-correct-executable-medical-guidelines-iccad-2017-964-969-doi-10-1109-iccad-2017-8203885/Sat, 24 Jun 2017 20:53:00 +0000https://mgsgroup.netlify.app/publication/model-and-integrate-medical-resource-availability-into-verifiably-correct-executable-medical-guidelines-iccad-2017-964-969-doi-10-1109-iccad-2017-8203885/Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols. ICCAD 2017: 957-963https://mgsgroup.netlify.app/publication/toward-safe-interoperations-in-network-connected-medical-cyber-physical-systems-using-open-loop-safe-protocols-iccad-2017-957-963-doi-10-1109-iccad-2017-8203884/Sat, 24 Jun 2017 20:52:46 +0000https://mgsgroup.netlify.app/publication/toward-safe-interoperations-in-network-connected-medical-cyber-physical-systems-using-open-loop-safe-protocols-iccad-2017-957-963-doi-10-1109-iccad-2017-8203884/Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE 2017: 1615-1618https://mgsgroup.netlify.app/publication/modeling-and-integrating-physical-environment-assumptions-in-medical-cyber-physical-system-design-date-2017-1615-1618-doi-10-23919-date-2017-7927249/Sat, 24 Jun 2017 20:52:33 +0000https://mgsgroup.netlify.app/publication/modeling-and-integrating-physical-environment-assumptions-in-medical-cyber-physical-system-design-date-2017-1615-1618-doi-10-23919-date-2017-7927249/Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. CHASE 2017: 245-246https://mgsgroup.netlify.app/publication/adaptive-clinical-data-communication-for-remote-monitoring-in-rural-ambulance-transport-chase-2017-245-246-doi-10-1109-chase-2017-85/Sat, 24 Jun 2017 20:52:22 +0000https://mgsgroup.netlify.app/publication/adaptive-clinical-data-communication-for-remote-monitoring-in-rural-ambulance-transport-chase-2017-245-246-doi-10-1109-chase-2017-85/Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. CBMS 2017: 373-378https://mgsgroup.netlify.app/publication/modeling-and-integrating-human-interaction-assumptions-in-medical-cyber-physical-system-design-cbms-2017-373-378-doi-10-1109-cbms-2017-50/Sat, 24 Jun 2017 20:52:04 +0000https://mgsgroup.netlify.app/publication/modeling-and-integrating-human-interaction-assumptions-in-medical-cyber-physical-system-design-cbms-2017-373-378-doi-10-1109-cbms-2017-50/Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. CBMS 2017: 117-122https://mgsgroup.netlify.app/publication/pattern-based-statechart-modeling-approach-for-medical-best-practice-guidelines-a-case-study-cbms-2017-117-122-doi-10-1109-cbms-2017-14/Sat, 24 Jun 2017 20:51:32 +0000https://mgsgroup.netlify.app/publication/pattern-based-statechart-modeling-approach-for-medical-best-practice-guidelines-a-case-study-cbms-2017-117-122-doi-10-1109-cbms-2017-14/Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. IEEE Trans. Multimedia 19(10): 2307-2321https://mgsgroup.netlify.app/publication/toward-physiology-aware-dash-bandwidth-compliant-prioritized-clinical-multimedia-communication-in-ambulances-ieee-trans-multimedia-19-10-2307-2321-2017-doi-10-1109-tmm-2017-2733298/Sat, 24 Jun 2017 20:51:20 +0000https://mgsgroup.netlify.app/publication/toward-physiology-aware-dash-bandwidth-compliant-prioritized-clinical-multimedia-communication-in-ambulances-ieee-trans-multimedia-19-10-2307-2321-2017-doi-10-1109-tmm-2017-2733298/On Exploiting Structured Human Interactions to Enhance Sensing Accuracy in Cyber-physical Systems. TCPS 1(3): 16:1-16:19https://mgsgroup.netlify.app/publication/on-exploiting-structured-human-interactions-to-enhance-sensing-accuracy-in-cyber-physical-systems-tcps-1-3-16-1-16-19-2017-doi-10-1145-3064006/Sat, 24 Jun 2017 20:50:49 +0000https://mgsgroup.netlify.app/publication/on-exploiting-structured-human-interactions-to-enhance-sensing-accuracy-in-cyber-physical-systems-tcps-1-3-16-1-16-19-2017-doi-10-1145-3064006/Supporting Emergency Medical Care Teams with an Integrated Status Display Providing Real-Time Access to Medical Best Practices, Workflow Tracking, and Patient Data. J. Medical Systems 41(12): 186:1-186:19https://mgsgroup.netlify.app/publication/supporting-emergency-medical-care-teams-with-an-integrated-status-display-providing-real-time-access-to-medical-best-practices-workflow-tracking-and-patient-data-j-medical-systems-41-12-186-1-186-19-2017-doi-https-doi-org-10-1007-s10916-017-082/Sat, 24 Jun 2017 20:50:17 +0000https://mgsgroup.netlify.app/publication/supporting-emergency-medical-care-teams-with-an-integrated-status-display-providing-real-time-access-to-medical-best-practices-workflow-tracking-and-patient-data-j-medical-systems-41-12-186-1-186-19-2017-doi-https-doi-org-10-1007-s10916-017-082/Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. J. Medical Systems 41(1): 9:1-9:12https://mgsgroup.netlify.app/publication/preventable-medical-errors-driven-modeling-of-medical-best-practice-guidance-systems-j-medical-systems-41-1-9-1-9-12-2017-doi-https-doi-org-10-1007-s10916-016-0614-2/Sat, 24 Jun 2017 20:50:00 +0000https://mgsgroup.netlify.app/publication/preventable-medical-errors-driven-modeling-of-medical-best-practice-guidance-systems-j-medical-systems-41-1-9-1-9-12-2017-doi-https-doi-org-10-1007-s10916-016-0614-2/Model-Driven Design of Clinical Guidance Systems. CoRR abs/1610.06895 arXiv:1610.06895v1https://mgsgroup.netlify.app/publication/model-driven-design-of-clinical-guidance-systems-corr-abs-1610-06895-2016-arxiv-1610-06895v1/Fri, 24 Jun 2016 20:55:15 +0000https://mgsgroup.netlify.app/publication/model-driven-design-of-clinical-guidance-systems-corr-abs-1610-06895-2016-arxiv-1610-06895v1/Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. SMC 2016: 4394-4399https://mgsgroup.netlify.app/publication/using-human-intellectual-tasks-as-guidelines-to-systematically-model-medical-cyber-physical-systems-smc-2016-4394-4399-doi-10-1109-smc-2016-7844922/Fri, 24 Jun 2016 20:54:51 +0000https://mgsgroup.netlify.app/publication/using-human-intellectual-tasks-as-guidelines-to-systematically-model-medical-cyber-physical-systems-smc-2016-4394-4399-doi-10-1109-smc-2016-7844922/Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) 2016: 112-121https://mgsgroup.netlify.app/publication/use-runtime-verification-to-improve-the-quality-of-medical-care-practice-icse-companion-volume-2016-112-121-doi-10-1145-2889160-2889233/Fri, 24 Jun 2016 20:54:38 +0000https://mgsgroup.netlify.app/publication/use-runtime-verification-to-improve-the-quality-of-medical-care-practice-icse-companion-volume-2016-112-121-doi-10-1145-2889160-2889233/Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ICCPS 2016: 34:1-34:10https://mgsgroup.netlify.app/publication/transforming-medical-best-practice-guidelines-to-executable-and-verifiable-statechart-models-iccps-2016-34-1-34-10-doi-10-1109-iccps-2016-7479121/Fri, 24 Jun 2016 20:54:26 +0000https://mgsgroup.netlify.app/publication/transforming-medical-best-practice-guidelines-to-executable-and-verifiable-statechart-models-iccps-2016-34-1-34-10-doi-10-1109-iccps-2016-7479121/An Organ-Centric Best Practice Assist System for Acute Care. CBMS 2016: 100-105https://mgsgroup.netlify.app/publication/an-organ-centric-best-practice-assist-system-for-acute-care-cbms-2016-100-105-doi-10-1109-cbms-2016-12/Fri, 24 Jun 2016 20:54:16 +0000https://mgsgroup.netlify.app/publication/an-organ-centric-best-practice-assist-system-for-acute-care-cbms-2016-100-105-doi-10-1109-cbms-2016-12/A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. CBMS 2016: 60-65https://mgsgroup.netlify.app/publication/a-self-adaptively-evolutionary-screening-approach-for-sepsis-patient-cbms-2016-60-65-doi-10-1109-cbms-2016-8/Fri, 24 Jun 2016 20:54:02 +0000https://mgsgroup.netlify.app/publication/a-self-adaptively-evolutionary-screening-approach-for-sepsis-patient-cbms-2016-60-65-doi-10-1109-cbms-2016-8/A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. J. Medical Systems 40(11): 227:1-227:17https://mgsgroup.netlify.app/publication/a-pathophysiological-model-driven-communication-for-dynamic-distributed-medical-best-practice-guidance-systems-j-medical-systems-40-11-227-1-227-17-2016-doi-https-doi-org-10-1007-s10916-016-0583-5/Fri, 24 Jun 2016 20:53:49 +0000https://mgsgroup.netlify.app/publication/a-pathophysiological-model-driven-communication-for-dynamic-distributed-medical-best-practice-guidance-systems-j-medical-systems-40-11-227-1-227-17-2016-doi-https-doi-org-10-1007-s10916-016-0583-5/Sepsis Patient Detection and Monitor Based on Auto-BN. J. Medical Systems 40(4): 111:1-111:10https://mgsgroup.netlify.app/publication/sepsis-patient-detection-and-monitor-based-on-auto-bn-j-medical-systems-40-4-111-1-111-10-2016-doi-https-doi-org-10-1007-s10916-016-0444-2/Fri, 24 Jun 2016 20:53:34 +0000https://mgsgroup.netlify.app/publication/sepsis-patient-detection-and-monitor-based-on-auto-bn-j-medical-systems-40-4-111-1-111-10-2016-doi-https-doi-org-10-1007-s10916-016-0444-2/