MCPS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2014

Design Pillars for Medical Cyber-Physical System MiddlewareDavid Arney, Jeff Plourde, Rick Schrenker, Pratyusha Mattegunta, Susan F. Whitehead, Julian M. Goldman. mcps 2014: 124-132 [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. mcps 2014: 94-99 [doi]

Challenges and Opportunities in Design of Control Algorithm for Artificial PancreasMahboobeh Ghorbani, Paul Bogdan. mcps 2014: 49-57 [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. mcps 2014: 15-27 [doi]

Integrating Safety Assessment into the Design of Healthcare Service-Oriented ArchitecturesIbrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel. mcps 2014: 113-123 [doi]

Automated Verification of Quantitative Properties of Cardiac Pacemaker SoftwareMarta Z. Kwiatkowska, Alexandru Mereacre. mcps 2014: 137-140 [doi]

OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical DevicesFranziska Kühn, Martin Leucker, Alexander Mildner. mcps 2014: 133-136 [doi]

Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case StudyXintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann. mcps 2014: 100-112 [doi]

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump SoftwarePaolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon. mcps 2014: 1-14 [doi]

Simulations of the Cardiovascular System Using the Cardiovascular Simulation ToolboxGabriela Ortiz-Leon, Marta Vilchez-Monge, Juan J. Montero-Rodriguez. mcps 2014: 28-37 [doi]

Adaptive Failure Detection and Correction in Dynamic Patient-NetworksMartin Ringwelski, Andreas Timm-Giel, Volker Turau. mcps 2014: 38-48 [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. mcps 2014: 141-142 [doi]

Process-Oriented Analysis for Medical DevicesVasiliki Sfyrla, Josep Carmona, Pascal Henck. mcps 2014: 143-146 [doi]

Modeling of Reconfigurable Medical Ultrasonic Applications in BIPStefanos Skalistis, Alena Simalatsar. mcps 2014: 66-79 [doi]

5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer, editors, Volume 36 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]

A Domain Specific Language for Performance Evaluation of Medical Imaging SystemsFreek van den Berg, Anne Remke, Boudewijn R. Haverkort. mcps 2014: 80-93 [doi]

Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing ArchitectureYong woon Ahn, Albert Mo Kim Cheng. mcps 2014: 58-65 [doi]

Sign in or sign up to see more results.

runs on WebDSL