5 citations · 12 across the 7 of their papers we have counts for
7 papers
PMDG: Privacy for Multi-Perspective Process Mining through Data Generalization
Ryan Hildebrant, Stephan A. Fahrenkrog-Petersen, Matthias Weidlich +1
Anonymization of event logs facilitates process mining while protecting sensitive information of process stakeholders. Existing techniques, however, focus on the privatization of t…
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…
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems
Mohammad Hosseini, Yu Jiang, Poliang Wu +3
There is a great divide between rural and urban areas, particularly in medical emergency care. Although medical best practice guidelines exist in hospital handbooks, they are often…