Foundations of Health Information Engineering and Systems

Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

  • Jeremy Gibbons
  • Wendy MacCaull
Conference proceedings FHIES 2013

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Kudakwashe Dube, Deshendran Moodley, Bill Thies, Jane W. S. Liu, Joseph Cafazzo, Oleg Sokolsky
      Pages 22-31
  3. Pathways

    1. Padraig O’Leary, Patrick Buckley, Ita Richardson
      Pages 32-40
    2. Padraig O’Leary, John Noll, Ita Richardson
      Pages 41-58
    3. Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne R. Nielson, Thomas Hildebrandt, Martin Sølvkjær
      Pages 59-68
  4. Generation and Certification

    1. Yihai Chen, Mark Lawford, Hao Wang, Alan Wassyng
      Pages 87-106
  5. Interoperability

    1. Deshendran Moodley, Christopher J. Seebregts, Anban W. Pillay, Thomas Meyer
      Pages 107-124
  6. Patient Safety

  7. Device Safety

    1. Franziska Kühn, Martin Leucker
      Pages 188-198
  8. Formal Methods

    1. Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee
      Pages 199-216
  9. HIV/AIDS and Privacy

    1. Pascal Brandt, Deshendran Moodley, Anban W. Pillay, Christopher J. Seebregts, Tulio de Oliveira
      Pages 236-253
    2. Ngonidzashe Zanamwe, Kudakwashe Dube, Jasmine S. Thomson, Fredrick J. Mtenzi, Gilford T. Hapanyengwi
      Pages 254-273
  10. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Macau, China, in August 2013.
The 19 revised full papers presented together with 1 invited talk in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in following subjects: panel position statements, pathways, generation and certification, interoperability, patient safety, device safety, formal methods, and HIV/AIDS and privacy.


biomedical engineering medical teaching and training pervasive healthcare surgical simulation virtual reality in medicine

Editors and affiliations

  • Jeremy Gibbons
    • 1
  • Wendy MacCaull
    • 2
  1. 1.Department of Computer ScienceOxford UniversityOxfordUK
  2. 2.Department of MathematicsSt. Francis Xavier UniversityAntigonishCanada

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-53955-8
  • Online ISBN 978-3-642-53956-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site