default search action
MCPS 2014: Berlin, Germany
- Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer:
5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014. OASIcs 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-66-8
Papers
- Paolo Masci
, Yi Zhang
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. 1-14 - 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. 15-27 - Gabriela Ortiz-León
Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox. 28-37 - Martin Ringwelski, Andreas Timm-Giel
Adaptive Failure Detection and Correction in Dynamic Patient-Networks. 38-48 - Mahboobeh Ghorbani, Paul Bogdan
Challenges and Opportunities in Design of Control Algorithm for Artificial Pancreas. 49-57 - Yong woon Ahn, Albert Mo Kim Cheng
Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture. 58-65 - Stefanos Skalistis, Alena Simalatsar:
Modeling of Reconfigurable Medical Ultrasonic Applications in BIP. 66-79 - Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. 80-93 - 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. 94-99 - Xintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann:
Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study. 100-112 - Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel:
Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. 113-123 - David Arney, Jeff Plourde, Rick Schrenker, Pratyusha Mattegunta, Susan F. Whitehead, Julian M. Goldman:
Design Pillars for Medical Cyber-Physical System Middleware. 124-132 - Franziska Kühn, Martin Leucker
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. 133-136 - Marta Z. Kwiatkowska
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. 137-140 - 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. 141-142 - Vasiliki Sfyrla, Josep Carmona
Process-Oriented Analysis for Medical Devices. 143-146
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 21:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: