Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2012

Foundations of Health Informatics Engineering and Systems

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

Editors:

  1. Zhiming Liu

    1. International Institute for Software Technology, United Nations University, Macao, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alan Wassyng

    1. Centre for Software Certification, McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • State of the art research
  • Up to date results

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): FHIES: International Symposium on Foundations of Health Informatics Engineering and Systems

Conference proceedings info: FHIES 2011.

Sections

Buy it now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (13 papers)

  1. Front Matter

    PDF

  2. Protocols for Diagnosis and Clinical Trials

    1. Medical Protocol Diagnosis Using Formal Methods

      • Dominique Méry, Neeraj Kumar Singh
      Pages 1-20

    2. Form Follows Function

      • Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui
      Pages 21-38

  3. Modelling Workflows

    1. Declarative Modelling and Safe Distribution of Healthcare Workflows

      • Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
      Pages 39-56

    2. Towards a Formal Integrated Model of Collaborative Healthcare Workflows

      • Cristiano Bertolini, Martin Schäf, Volker Stolz
      Pages 57-74

  4. Model Checking Workflows and Control Systems

    2. Experiences with a Compositional Model Checker in the Healthcare Domain

      • Jozef Hooman, Robert Huis in ’t Veld, Mathijs Schuts
      Pages 93-110

    3. Model Checking Workflow Monitors and Its Application to a Pain Management Process

      • 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. On the Safety of Electronic Medical Records

      • Jens H. Weber-Jahnke, Fieran Mason-Blakley
      Pages 177-194

    2. Challenges in eHealth: From Enabling to Enforcing Privacy

      • Naipeng Dong, Hugo Jonker, Jun Pang
      Pages 195-206

    3. A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems

      • Samuel Tusubira Kalyango, Gilbert Maiga
      Pages 207-224

  8. Back Matter

    PDF
Back to top

Other Volumes

  1. Foundations of Health Informatics Engineering and Systems

Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • International Institute for Software Technology, United Nations University, Macao, China

    Zhiming Liu

  • Centre for Software Certification, McMaster University, Hamilton, Canada

    Alan Wassyng

Back to top

Bibliographic Information

  • Book Title: Foundations of Health Informatics Engineering and Systems

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

  • Editors: Zhiming Liu, Alan Wassyng

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-32355-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2012

  • Softcover ISBN: 978-3-642-32354-6Published: 06 July 2012

  • eBook ISBN: 978-3-642-32355-3Published: 11 July 2012

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 225

  • Number of Illustrations: 58 b/w illustrations

  • Topics: Computer Science, general

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation