<h2>OASIcs, Volume 36, MCPS 2014</h2>
<ul>
<li>
<span class="authors">Volker Turau, Marta Kwiatkowska, Rahul Mangharam, and Christoph Weyer</span>
<span class="title">OASIcs, Volume 36, MCPS'14, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014">10.4230/OASIcs.MCPS.2014</a>
</li>
<li>
<span class="authors">Volker Turau, Marta Kwiatkowska, Rahul Mangharam, and Christoph Weyer</span>
<span class="title">Frontmatter, Table of Contents, Preface, Workshop Organization</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.i">10.4230/OASIcs.MCPS.2014.i</a>
</li>
<li>
<span class="authors">Paolo Masci, Yi Zhang, Paul Jones, Harold Thimbleby, and Paul Curzon</span>
<span class="title">A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.1">10.4230/OASIcs.MCPS.2014.1</a>
</li>
<li>
<span class="authors">David Gregorczyk, Stefan Fischer, Timm Busshaus, Stefan Schlichting, and Stephan Pöhlsen</span>
<span class="title">An Approach to Integrate Distributed Systems of Medical Devices in High Acuity Environments</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.15">10.4230/OASIcs.MCPS.2014.15</a>
</li>
<li>
<span class="authors">Gabriela Ortiz-León, Marta Vílchez-Monge, and Juan J. Montero-Rodríguez</span>
<span class="title">Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.28">10.4230/OASIcs.MCPS.2014.28</a>
</li>
<li>
<span class="authors">Martin Ringwelski, Andreas Timm-Giel, and Volker Turau</span>
<span class="title">Adaptive Failure Detection and Correction in Dynamic Patient-Networks</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.38">10.4230/OASIcs.MCPS.2014.38</a>
</li>
<li>
<span class="authors">Mahboobeh Ghorbani and Paul Bogdan</span>
<span class="title">Challenges and Opportunities in Design of Control Algorithm for Artificial Pancreas</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.49">10.4230/OASIcs.MCPS.2014.49</a>
</li>
<li>
<span class="authors">Yong woon Ahn and Albert Mo Kim Cheng</span>
<span class="title">Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.58">10.4230/OASIcs.MCPS.2014.58</a>
</li>
<li>
<span class="authors">Stefanos Skalistis and Alena Simalatsar</span>
<span class="title">Modeling of Reconfigurable Medical Ultrasonic Applications in BIP</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.66">10.4230/OASIcs.MCPS.2014.66</a>
</li>
<li>
<span class="authors">Freek van den Berg, Anne Remke, and Boudewijn R. Haverkort</span>
<span class="title">A Domain Specific Language for Performance Evaluation of Medical Imaging Systems</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.80">10.4230/OASIcs.MCPS.2014.80</a>
</li>
<li>
<span class="authors">Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, and Insup Lee</span>
<span class="title">A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.94">10.4230/OASIcs.MCPS.2014.94</a>
</li>
<li>
<span class="authors">Xintao Ma, Jonas Rinast, Sibylle Schupp, and Dieter Gollmann</span>
<span class="title">Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.100">10.4230/OASIcs.MCPS.2014.100</a>
</li>
<li>
<span class="authors">Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, and Leila Fahel</span>
<span class="title">Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.113">10.4230/OASIcs.MCPS.2014.113</a>
</li>
<li>
<span class="authors">David Arney, Jeff Plourde, Rick Schrenker, Pratyusha Mattegunta, Susan F. Whitehead, and Julian M. Goldman</span>
<span class="title">Design Pillars for Medical Cyber-Physical System Middleware</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.124">10.4230/OASIcs.MCPS.2014.124</a>
</li>
<li>
<span class="authors">Franziska Kühn, Martin Leucker, and Alexander Mildner</span>
<span class="title">OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.133">10.4230/OASIcs.MCPS.2014.133</a>
</li>
<li>
<span class="authors">Marta Kwiatkowska and Alexandru Mereacre</span>
<span class="title">Automated Verification of Quantitative Properties of Cardiac Pacemaker Software</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.137">10.4230/OASIcs.MCPS.2014.137</a>
</li>
<li>
<span class="authors">Rick Schrenker, Jeff Plourde, Diego Alonso, David Arney, and Julian M. Goldman</span>
<span class="title">Potential Advantages of Applying Assurance Case Modeling to Requirements Engineering for Interoperable Medical Device Systems</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.141">10.4230/OASIcs.MCPS.2014.141</a>
</li>
<li>
<span class="authors">Vasiliki Sfyrla, Josep Carmona, and Pascal Henck</span>
<span class="title">Process-Oriented Analysis for Medical Devices</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MCPS.2014.143">10.4230/OASIcs.MCPS.2014.143</a>
</li>
</ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing