OASIcs, Volume 36, MCPS 2014

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