( en | de | ru )

 

Disambiguation of "Guo, Chunhui"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems.

, , , , and . COMPSAC (1), page 760-765. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chunhui Luo

Chunhui Liu

Chunhui Li

Chunhui Wang

Chunhui Gu

 

Other publications of authors with the same name

Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Dual-Level Periodic Rejuvenations., , , , and . IEEE Trans. Computers, 66 (3): 553-559 (2017)IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system., , , , , and . DAC, page 143:1-143:6. ACM, (2018)Using Event Log Timing Information to Assist Process Scenario Discoveries., , , and . AIKE, page 58-64. IEEE, (2020)Joint Charging, Routing, and Power Allocations in Rechargeable Wireless Sensor Networks., and . IWCMC, page 1436-1441. IEEE, (2021)Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design., , , , and . CBMS, page 373-378. IEEE Computer Society, (2017)Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)., , , , and . CoRR, (2018)Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)., , , , and . CoRR, (2018)Mining Timing Constraints from Event Logs for Process Model., , and . COMPSAC, page 1011-1016. IEEE, (2020)Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance., , , , and . HPCC/CSS/ICESS, page 1160-1165. IEEE, (2015)Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints., , , , and . CoRR, (2018)