MCPS

Publications

2014

Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. MCPS (2014)
Xintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann
Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study. MCPS (2014)
Mahboobeh Ghorbani, Paul Bogdan
Challenges and Opportunities in Design of Control Algorithm for Artificial Pancreas. MCPS (2014)
David Arney, Jeff Plourde, Rick Schrenker, Pratyusha Mattegunta, Susan F. Whitehead, Julian M. Goldman
Design Pillars for Medical Cyber-Physical System Middleware. MCPS (2014)
David Gregorczyk, Stefan Fischer, Timm B. Busshaus, Stefan Schlichting, Stephan Pöhlsen
An Approach to Integrate Distributed Systems of Medical Devices in High Acuity Environments. MCPS (2014)
Gabriela Ortiz-Leon, Marta Vilchez-Monge, Juan J. Montero-Rodríguez
Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox. MCPS (2014)
Yong woon Ahn, Albert Mo Kim Cheng
Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture. MCPS (2014)
Rick Schrenker, Jeff Plourde, Diego Alonso, David Arney, Julian M. Goldman
Potential Advantages of Applying Assurance Case Modeling to Requirements Engineering for Interoperable Medical Device Systems. MCPS (2014)
Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel
Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. MCPS (2014)
Marta Z. Kwiatkowska, Alexandru Mereacre
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. MCPS (2014)
Stefanos Skalistis, Alena Simalatsar
Modeling of Reconfigurable Medical Ultrasonic Applications in BIP. MCPS (2014)
Vasiliki Sfyrla, Josep Carmona, Pascal Henck
Process-Oriented Analysis for Medical Devices. MCPS (2014)
Franziska Kühn, Martin Leucker, Alexander Mildner
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. MCPS (2014)
Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. MCPS (2014)
Martin Ringwelski, Andreas Timm-Giel, Volker Turau
Adaptive Failure Detection and Correction in Dynamic Patient-Networks. MCPS (2014)
Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. MCPS (2014)

volume 36, 2014

5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014 MCPS 36 (2014)