Foundations of Health Informatics Engineering and Systems

First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

  • Zhiming Liu
  • Alan Wassyng
Conference proceedings FHIES 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7151)

Table of contents

  1. Front Matter
  2. Protocols for Diagnosis and Clinical Trials

    1. Dominique Méry, Neeraj Kumar Singh
      Pages 1-20
    2. Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui
      Pages 21-38
  3. Modelling Workflows

    1. Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
      Pages 39-56
    2. Cristiano Bertolini, Martin Schäf, Volker Stolz
      Pages 57-74
  4. Model Checking Workflows and Control Systems

    1. Jozef Hooman, Robert Huis in ’t Veld, Mathijs Schuts
      Pages 93-110
    2. Fazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull
      Pages 111-128
  5. Interoperability

  6. Formal Modelling of Organs and Devices

  7. Safety, Security, and Privacy of Medical Records

    1. Jens H. Weber-Jahnke, Fieran Mason-Blakley
      Pages 177-194
    2. Naipeng Dong, Hugo Jonker, Jun Pang
      Pages 195-206
    3. Samuel Tusubira Kalyango, Gilbert Maiga
      Pages 207-224
  8. Back Matter

About these proceedings


This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records.


electronic medical records healthcare services medical informatics verification workflow analysis

Editors and affiliations

  • Zhiming Liu
    • 1
  • Alan Wassyng
    • 2
  1. 1.International Institute for Software TechnologyUnited Nations UniversityMacaoChina
  2. 2.Centre for Software CertificationMcMaster UniversityHamiltonCanada

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-32354-6
  • Online ISBN 978-3-642-32355-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site