Skip to main content
SpringerLink
Log in

Foundations of Health Information Engineering and Systems

Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Jens Weber

    1. Faculty of Engineering, Department of Computer Science, University of Victoria, Victoria, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Isabelle Perseil

    1. Inserm, Paris, France

    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 7789)

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

Included in the following conference series:

Conference proceedings info: FHIES 2012.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets

    • Awatef Hicheur, Amel Ben Dhieb, Kamel Barkaoui
    Pages 1-18

  3. Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

    • Cristiano Bertolini, Zhiming Liu, Jiří Srba
    Pages 19-36

  4. Enhancing Product Line Development by Safety Requirements and Verification

    • Michaela Huhn, Sara Bessling
    Pages 37-54

  5. Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability

    • Alessandro Carlini, Pierluigi Dalla Rosa, Bartolomeo Montrucchio, Ivan Cenci, Francesca Maria Claudio, Giovanni Luongo et al.
    Pages 55-71

  6. Regulated Software Development – An Onerous Transformation

    • Oisín Cawley, Xiaofeng Wang, Ita Richardson
    Pages 72-86

  7. An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange

    • Ryan Crichton, Deshendran Moodley, Anban Pillay, Richard Gakuba, Christopher J. Seebregts
    Pages 87-104

  8. O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes

    • Rokan Uddin Faruqui, Wendy MacCaull
    Pages 105-123

  9. Trustworthy Pervasive Healthcare Services via Multiparty Session Types

    • Anders S. Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein
    Pages 124-141

  10. A Grid Based Distributed Cooperative Environment for Health Care Research

    • Felipe Maia, Rafael Araújo, Luiz Carlos Muniz, Rayrone Zirtany, Luciano Coutinho, Samyr Vale et al.
    Pages 142-150

  11. Closed-Loop Modeling of Cardiac Pacemaker and Heart

    • Dominique Méry, Neeraj Kumar Singh
    Pages 151-166

  12. Model-Based Solution for Controlling Physiology

    • Elthon Oliveira, Leandro Silva, Hyggo Almeida, Angelo Perkusich
    Pages 167-175

  13. Automated Reviewing of Healthcare Security Policies

    • Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu
    Pages 176-193

  14. A Formal Diagrammatic Approach to Compensable Workflow Modelling

    • Adrian Rutle, Hao Wang, Wendy MacCaull
    Pages 194-212

  15. Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts

    • Pieter Van Gorp, Irene Vanderfeesten, Willem Dalinghaus, Josh Mengerink, Bram van der Sanden, Pieter Kubben
    Pages 213-221

  16. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Foundations of Health Information Engineering and Systems

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2012, held in Paris, France, in August 2012. The 11 revised full papers presented together with 3 short papers in this volume were carefully reviewed and selected from 26 submissions. Topics of interest covered in this volume are such as software engineering; systems engineering; data engineering; applied mathematics; and psychology.

Editors and Affiliations

  • Faculty of Engineering, Department of Computer Science, University of Victoria, Victoria, Canada

    Jens Weber

  • Inserm, Paris, France

    Isabelle Perseil

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation