default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFHIES 2011: Johannesburg, South Africa
- Zhiming Liu, Alan Wassyng:
Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7151, Springer 2012, ISBN 978-3-642-32354-6
Protocols for Diagnosis and Clinical Trials
- Dominique Méry, Neeraj Kumar Singh:
Medical Protocol Diagnosis Using Formal Methods. 1-20 - Jim Davies
, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui:
Form Follows Function - Model-Driven Engineering for Clinical Trials. 21-38
Modelling Workflows
- Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
Declarative Modelling and Safe Distribution of Healthcare Workflows. 39-56 - Cristiano Bertolini, Martin Schäf, Volker Stolz:
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. 57-74
Model Checking Workflows and Control Systems
- Wendy MacCaull, Fazle Rabbi:
NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. 75-92 - Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts:
Experiences with a Compositional Model Checker in the Healthcare Domain. 93-110 - Fazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull:
Model Checking Workflow Monitors and Its Application to a Pain Management Process. 111-128
Interoperability
- Deshendran Moodley, Anban W. Pillay, Christopher J. Seebregts:
Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African Countries. 129-139
Formal Modelling of Organs and Devices
- Dominique Méry, Neeraj Kumar Singh:
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. 140-159 - Hao Xu, Tom Maibaum:
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump. 160-176
Safety, Security, and Privacy of Medical Records
- Jens H. Weber-Jahnke, Fieran Mason-Blakley:
On the Safety of Electronic Medical Records. 177-194 - Naipeng Dong, Hugo Jonker, Jun Pang:
Challenges in eHealth: From Enabling to Enforcing Privacy. 195-206 - Samuel Tusubira Kalyango, Gilbert Maiga:
A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems. 207-224
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-04 11:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
