research
∙
05/01/2023
PMDG: Privacy for Multi-Perspective Process Mining through Data Generalization
Anonymization of event logs facilitates process mining while protecting ...
share
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...
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
