Abstract is missing.
- A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump SoftwarePaolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon. 1-14 [doi]
- An Approach to Integrate Distributed Systems of Medical Devices in High Acuity EnvironmentsDavid Gregorczyk, Stefan Fischer, Timm B. Busshaus, Stefan Schlichting, Stephan Pöhlsen. 15-27 [doi]
- Simulations of the Cardiovascular System Using the Cardiovascular Simulation ToolboxGabriela Ortiz-Leon, Marta Vilchez-Monge, Juan J. Montero-Rodriguez. 28-37 [doi]
- Adaptive Failure Detection and Correction in Dynamic Patient-NetworksMartin Ringwelski, Andreas Timm-Giel, Volker Turau. 38-48 [doi]
- Challenges and Opportunities in Design of Control Algorithm for Artificial PancreasMahboobeh Ghorbani, Paul Bogdan. 49-57 [doi]
- Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing ArchitectureYong woon Ahn, Albert Mo Kim Cheng. 58-65 [doi]
- Modeling of Reconfigurable Medical Ultrasonic Applications in BIPStefanos Skalistis, Alena Simalatsar. 66-79 [doi]
- A Domain Specific Language for Performance Evaluation of Medical Imaging SystemsFreek van den Berg, Anne Remke, Boudewijn R. Haverkort. 80-93 [doi]
- A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary ProposalLu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee. 94-99 [doi]
- Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case StudyXintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann. 100-112 [doi]
- Integrating Safety Assessment into the Design of Healthcare Service-Oriented ArchitecturesIbrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel. 113-123 [doi]
- Design Pillars for Medical Cyber-Physical System MiddlewareDavid Arney, Jeff Plourde, Rick Schrenker, Pratyusha Mattegunta, Susan F. Whitehead, Julian M. Goldman. 124-132 [doi]
- OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical DevicesFranziska Kühn, Martin Leucker, Alexander Mildner. 133-136 [doi]
- Automated Verification of Quantitative Properties of Cardiac Pacemaker SoftwareMarta Z. Kwiatkowska, Alexandru Mereacre. 137-140 [doi]
- Potential Advantages of Applying Assurance Case Modeling to Requirements Engineering for Interoperable Medical Device SystemsRick Schrenker, Jeff Plourde, Diego Alonso, David Arney, Julian M. Goldman. 141-142 [doi]
- Process-Oriented Analysis for Medical DevicesVasiliki Sfyrla, Josep Carmona, Pascal Henck. 143-146 [doi]