1 citations · 1 across the 1 of their papers we have counts for
5 papers
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang +2
Improving the effectiveness and safety of patient care is the ultimate objective for medical cyber-physical systems. Many medical best practice guidelines exist, but most of the ex…
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang +2
Improving effectiveness and safety of patient care is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be reduced by…
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang +2
Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate is significantly reduced by computeriz…
Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints
Chunhui Guo, Hao Wu, Xiayu Hua +2
Reliability, longevity, availability, and deadline guarantees are the four most important metrics to measure the QoS of long-running safety-critical real-time applications. Softwar…
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang +2
Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be significantly reduced by comput…