66 citations · 140 across the 21 of their papers we have counts for
4 papers · 1 filter
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…
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…