research
∙
09/23/2019
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts
Improving the effectiveness and safety of patient care is the ultimate o...
share
research
∙
11/20/2018
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report
Improving effectiveness and safety of patient care is an ultimate object...
research
∙
11/20/2018
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)
Improving patient care safety is an ultimate objective for medical cyber...
research
∙
11/20/2018
Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints
Reliability, longevity, availability, and deadline guarantees are the fo...
research
∙
11/02/2018