FHIES - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 64 from 64

2017

Software Engineering in Health Care - 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected PapersMichaela Huhn, Laurie Williams, editors, Volume 9062 of Lecture Notes in Computer Science, Springer, 2017. [doi]

2014

Patient Flow Monitoring Systems: Investigation of AlternativesOmar Badreddin, Liam Peyton. FHIES 2017: 1-9 [doi]

Secure and Customizable EHR Management Services with COASTmedAlegria Baquero, Richard N. Taylor. FHIES 2017: 129-144 [doi]

Reasoning About Confidence and Uncertainty in Assurance Cases: A SurveyLian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee. FHIES 2017: 64-80 [doi]

Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected PapersJeremy Gibbons, Wendy MacCaull, editors, Volume 8315 of Lecture Notes in Computer Science, Springer, 2014. [doi]

Demonstrating that Medical Devices Satisfy User Related Safety RequirementsMichael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon. FHIES 2017: 113-128 [doi]

Energy-Aware Model-Driven Development of a Wearable Healthcare DeviceJosé Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen. FHIES 2017: 44-63 [doi]

Process Execution and Enactment in Medical EnvironmentsBernard Lambeau, Christophe Damas, Axel van Lamsweerde. FHIES 2017: 145-161 [doi]

Using PVSio-web to Demonstrate Software Issues in Medical User InterfacesPaolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby. FHIES 2017: 214-221 [doi]

Applying Information System Hazard Analysis to an Episodic Document ContextFieran Mason-Blakley, Jens H. Weber, Abdul V. Roudsari, Morgan Price. FHIES 2017: 194-213 [doi]

Engineering a Performance Management System to Support Community Care DeliveryPilar Mata, Craig E. Kuziemsky, Jaspreet Singh, Aladdin Baarah, Liam Peyton. FHIES 2017: 162-177 [doi]

From Requirements to Code: Model Based Development of a Medical Cyber Physical SystemAnitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee. FHIES 2017: 96-112 [doi]

Building Semantic Causal Models to Predict Treatment Adherence for Tuberculosis Patients in Sub-Saharan AfricaOlukunle A. Ogundele, Deshendran Moodley, Christopher J. Seebregts, Anban W. Pillay. FHIES 2017: 81-95 [doi]

Towards an AADL-Based Definition of App Architecture for Medical Application PlatformsSam Procter, John Hatcliff, Robby. FHIES 2017: 26-43 [doi]

A Tool for Analyzing Clinical Datasets as BlackboxNafees Qamar, Yilong Yang, András Nádas, Zhiming Liu 0001, Janos Sztipanovits. FHIES 2017: 222-238 [doi]

Retrofitting Communication Security into a Publish/Subscribe Middleware PlatformCarlos Salazar, Eugene Y. Vasserman. FHIES 2017: 10-25 [doi]

Towards Continuous Certification of Clinical Information SystemsJens H. Weber, Craig E. Kuziemsky. FHIES 2017: 178-193 [doi]

2013

Towards Formal Safety Analysis in Feature-Oriented Product Line DevelopmentSara Bessling, Michaela Huhn. FHIES 2014: 217-235 [doi]

An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance TestingPascal Brandt, Deshendran Moodley, Anban W. Pillay, Christopher J. Seebregts, Tulio de Oliveira. FHIES 2014: 236-253 [doi]

ICT-powered Health Care Processes - (Position Paper)Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær. FHIES 2014: 59-68 [doi]

Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare ApplicationsLuciana Tricai Cavalini, Timothy Wayne Cook. FHIES 2014: 125-145 [doi]

Insulin Pump Software CertificationYihai Chen, Mark Lawford, Hao Wang, Alan Wassyng. FHIES 2014: 87-106 [doi]

Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary UseKudakwashe Dube, Thomas Gallagher. FHIES 2014: 69-86 [doi]

Panel Position StatementsKudakwashe Dube, Deshendran Moodley, Bill Thies, Jane W.-S. Liu, Joseph A. Cafazzo, Oleg Sokolsky. FHIES 2014: 22-31 [doi]

A Bayesian Patient-Based Model for Detecting Deterioration in Vital Signs Using Manual ObservationsSara Khalid, David A. Clifton, Lionel Tarassenko. FHIES 2014: 146-158 [doi]

A Modal Specification Approach for On-Demand Medical SystemsAndrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee. FHIES 2014: 199-216 [doi]

OR.NET: Safe Interconnection of Medical Devices - (Position Paper)Franziska Kühn, Martin Leucker. FHIES 2014: 188-198 [doi]

A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical DataZhiming Liu, Nafees Qamar, Jie Qian. FHIES 2014: 274-289 [doi]

An Ontology for Regulating eHealth Interoperability in Developing African CountriesDeshendran Moodley, Christopher J. Seebregts, Anban W. Pillay, Thomas Meyer. FHIES 2014: 107-124 [doi]

Early Fault Detection Using Design Models for Collision Prevention in Medical EquipmentArjan J. Mooij, Jozef Hooman, Rob Albers. FHIES 2014: 170-187 [doi]

A Resource Flow Approach to Modelling Care PathwaysPádraig O'Leary, John Noll, Ita Richardson. FHIES 2014: 41-58 [doi]

Modelling Care Pathways in a Connected Health SettingPádraig O'Leary, Patrick Buckley, Ita Richardson. FHIES 2014: 32-40 [doi]

Performance of Early Warning Scoring Systems to Detect Patient Deterioration in the Emergency DepartmentMauro D. Santos, David A. Clifton, Lionel Tarassenko. FHIES 2014: 159-169 [doi]

Intelligent Tools for Reducing Medication Dispensing and Administration ErrorPei-Hsuan Tsai, Jane W.-S. Liu. FHIES 2014: 1-21 [doi]

Foundations of Health Information Engineering and Systems - Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected PapersJens Weber, Isabelle Perseil, editors, Volume 7789 of Lecture Notes in Computer Science, Springer, 2013. [doi]

Characterisation of Knowledge Incorporation into Solution Models for the Meal Planning ProblemNgonidzashe Zanamwe, Kudakwashe Dube, Jasmine S. Thomson, Fredrick Japhet Mtenzi, Gilford T. Hapanyengwi. FHIES 2014: 254-273 [doi]

2012

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri NetsCristiano Bertolini, Zhiming Liu, Jirí Srba. FHIES 2013: 19-36 [doi]

Defining New Structural and Mobile Support to Improve Hospital Facilities Access and UsabilityAlessandro Carlini, Pierluigi Dalla Rosa, Bartolomeo Montrucchio, Ivan Cenci, Francesca Maria Claudio, Giovanni Luongo, Jacopo Spigaroli, Giuseppina Gini. FHIES 2013: 55-71 [doi]

Regulated Software Development - An Onerous TransformationOisín Cawley, Xiaofeng Wang, Ita Richardson. FHIES 2013: 72-86 [doi]

An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information ExchangeRyan Crichton, Deshendran Moodley, Anban W. Pillay, Richard Gakuba, Christopher J. Seebregts. FHIES 2013: 87-104 [doi]

O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxesRokan Uddin Faruqui, Wendy MacCaull. FHIES 2013: 105-123 [doi]

Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured TextsPieter Van Gorp, Irene T. P. Vanderfeesten, Willem Dalinghaus, Josh Mengerink, Bram van der Sanden, Pieter Leonard Kubben. FHIES 2013: 213-221 [doi]

Trustworthy Pervasive Healthcare Services via Multiparty Session TypesAnders S. Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein. FHIES 2013: 124-141 [doi]

Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri NetsAwatef Hicheur, Amel Ben Dhieb, Kamel Barkaoui. FHIES 2013: 1-18 [doi]

Enhancing Product Line Development by Safety Requirements and VerificationMichaela Huhn, Sara Bessling. FHIES 2013: 37-54 [doi]

Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected PapersZhiming Liu, Alan Wassyng, editors, Volume 7151 of Lecture Notes in Computer Science, Springer, 2012. [doi]

A Grid Based Distributed Cooperative Environment for Health Care ResearchFelipe Maia, Rafael Araújo, Luiz Carlos Muniz, Rayrone Zirtany, Luciano R. Coutinho, Samyr Vale, Francisco José Silva, Pierpaolo Cincilla, Ikram Chabbouh, Sébastien Monnet, Luciana Arantes, Marc Shapiro. FHIES 2013: 142-150 [doi]

Closed-Loop Modeling of Cardiac Pacemaker and HeartDominique Méry, Neeraj Kumar Singh. FHIES 2013: 151-166 [doi]

Model-Based Solution for Controlling PhysiologyElthon A. S. Oliveira, Leandro Dias da Silva, Hyggo Oliveira de Almeida, Angelo Perkusich. FHIES 2013: 167-175 [doi]

Automated Reviewing of Healthcare Security PoliciesNafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu. FHIES 2013: 176-193 [doi]

A Formal Diagrammatic Approach to Compensable Workflow ModellingAdrian Rutle, Hao Wang, Wendy MacCaull. FHIES 2013: 194-212 [doi]

2011

Towards a Formal Integrated Model of Collaborative Healthcare WorkflowsCristiano Bertolini, Martin Schäf, Volker Stolz. FHIES 2012: 57-74 [doi]

Form Follows Function - Model-Driven Engineering for Clinical TrialsJim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui. FHIES 2012: 21-38 [doi]

Challenges in eHealth: From Enabling to Enforcing PrivacyNaipeng Dong, Hugo Jonker, Jun Pang. FHIES 2012: 195-206 [doi]

Declarative Modelling and Safe Distribution of Healthcare WorkflowsThomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats. FHIES 2012: 39-56 [doi]

Experiences with a Compositional Model Checker in the Healthcare DomainJozef Hooman, Robert Huis in 't Veld, Mathijs Schuts. FHIES 2012: 93-110 [doi]

A Technique for Strengthening Weak Passwords in Electronic Medical Record SystemsSamuel Tusubira Kalyango, Gilbert Maiga. FHIES 2012: 207-224 [doi]

NOVA Workflow: A Workflow Management Tool Targeting Health Services DeliveryWendy MacCaull, Fazle Rabbi. FHIES 2012: 75-92 [doi]

Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African CountriesDeshendran Moodley, Anban W. Pillay, Christopher J. Seebregts. FHIES 2012: 129-139 [doi]

Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular AutomataDominique Méry, Neeraj Kumar Singh. FHIES 2012: 140-159 [doi]

Medical Protocol Diagnosis Using Formal MethodsDominique Méry, Neeraj Kumar Singh. FHIES 2012: 1-20 [doi]

Model Checking Workflow Monitors and Its Application to a Pain Management ProcessFazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull. FHIES 2012: 111-128 [doi]

On the Safety of Electronic Medical RecordsJens H. Weber-Jahnke, Fieran Mason-Blakley. FHIES 2012: 177-194 [doi]

An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion PumpHao Xu, Tom Maibaum. FHIES 2012: 160-176 [doi]

Sign in or sign up to see more results.

runs on WebDSL