@Proceedings{turau_et_al:OASIcs.MCPS.2014, title = {{OASIcs, Volume 36, MCPS'14, Complete Volume}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014}, URN = {urn:nbn:de:0030-drops-45403}, doi = {10.4230/OASIcs.MCPS.2014}, annote = {Keywords: Conference proceedings} } @InProceedings{turau_et_al:OASIcs.MCPS.2014.i, author = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, title = {{Frontmatter, Table of Contents, Preface, Workshop Organization}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {i--x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.i}, URN = {urn:nbn:de:0030-drops-45174}, doi = {10.4230/OASIcs.MCPS.2014.i}, annote = {Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization} } @InProceedings{masci_et_al:OASIcs.MCPS.2014.1, author = {Masci, Paolo and Zhang, Yi and Jones, Paul and Thimbleby, Harold and Curzon, Paul}, title = {{A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {1--14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.1}, URN = {urn:nbn:de:0030-drops-45185}, doi = {10.4230/OASIcs.MCPS.2014.1}, annote = {Keywords: Infusion Pump, Hazard analysis, Use hazards, User Interface, Interactive software, Design errors} } @InProceedings{gregorczyk_et_al:OASIcs.MCPS.2014.15, author = {Gregorczyk, David and Fischer, Stefan and Busshaus, Timm and Schlichting, Stefan and P\"{o}hlsen, Stephan}, title = {{An Approach to Integrate Distributed Systems of Medical Devices in High Acuity Environments}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {15--27}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.15}, URN = {urn:nbn:de:0030-drops-45191}, doi = {10.4230/OASIcs.MCPS.2014.15}, annote = {Keywords: Integrated Clinical Environment, Devices Profile for Web Services, ISO/IEEE 11073} } @InProceedings{ortizleon_et_al:OASIcs.MCPS.2014.28, author = {Ortiz-Le\'{o}n, Gabriela and V{\'\i}lchez-Monge, Marta and Montero-Rodr{\'\i}guez, Juan J.}, title = {{Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {28--37}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.28}, URN = {urn:nbn:de:0030-drops-45207}, doi = {10.4230/OASIcs.MCPS.2014.28}, annote = {Keywords: Biomedic, Cardiovascular, MATLAB, Simulation} } @InProceedings{ringwelski_et_al:OASIcs.MCPS.2014.38, author = {Ringwelski, Martin and Timm-Giel, Andreas and Turau, Volker}, title = {{Adaptive Failure Detection and Correction in Dynamic Patient-Networks}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {38--48}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.38}, URN = {urn:nbn:de:0030-drops-45215}, doi = {10.4230/OASIcs.MCPS.2014.38}, annote = {Keywords: Wireless Sensor Networks, Fail-Safety, Health Monitoring, Failure Masking, Distributed Systems} } @InProceedings{ghorbani_et_al:OASIcs.MCPS.2014.49, author = {Ghorbani, Mahboobeh and Bogdan, Paul}, title = {{Challenges and Opportunities in Design of Control Algorithm for Artificial Pancreas}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {49--57}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.49}, URN = {urn:nbn:de:0030-drops-45221}, doi = {10.4230/OASIcs.MCPS.2014.49}, annote = {Keywords: Cyber-Physical Systems, Artificial Pancreas, Optimal and Model Predictive Control, Fractal Model Predictive} } @InProceedings{ahn_et_al:OASIcs.MCPS.2014.58, author = {Ahn, Yong woon and Cheng, Albert Mo Kim}, title = {{Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {58--65}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.58}, URN = {urn:nbn:de:0030-drops-45234}, doi = {10.4230/OASIcs.MCPS.2014.58}, annote = {Keywords: Auto-Scaling, Cloud Computing, Medical Cyber-Physical System Device, Virtualization, Autonomic-Computing} } @InProceedings{skalistis_et_al:OASIcs.MCPS.2014.66, author = {Skalistis, Stefanos and Simalatsar, Alena}, title = {{Modeling of Reconfigurable Medical Ultrasonic Applications in BIP}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {66--79}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.66}, URN = {urn:nbn:de:0030-drops-45246}, doi = {10.4230/OASIcs.MCPS.2014.66}, annote = {Keywords: Reconfigurable Pipelines, Quality of Service, Medical Ultrasonic Applications, Component-based System Design, Behavior-Interaction-Priority Modal Flow} } @InProceedings{vandenberg_et_al:OASIcs.MCPS.2014.80, author = {van den Berg, Freek and Remke, Anne and Haverkort, Boudewijn R.}, title = {{A Domain Specific Language for Performance Evaluation of Medical Imaging Systems}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {80--93}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.80}, URN = {urn:nbn:de:0030-drops-45257}, doi = {10.4230/OASIcs.MCPS.2014.80}, annote = {Keywords: Domain Specific Language, Performance Evaluation, Simulation, Model Checking, Medical Systems} } @InProceedings{feng_et_al:OASIcs.MCPS.2014.94, author = {Feng, Lu and King, Andrew L. and Chen, Sanjian and Ayoub, Anaheed and Park, Junkil and Bezzo, Nicola and Sokolsky, Oleg and Lee, Insup}, title = {{A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {94--99}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.94}, URN = {urn:nbn:de:0030-drops-45263}, doi = {10.4230/OASIcs.MCPS.2014.94}, annote = {Keywords: Medical Cyber-Physical Systems, Safety Argument, Assurance Cases, Patient-Controlled Analgesia Infusion Pump, Closed-Loop Systems} } @InProceedings{ma_et_al:OASIcs.MCPS.2014.100, author = {Ma, Xintao and Rinast, Jonas and Schupp, Sibylle and Gollmann, Dieter}, title = {{Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {100--112}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.100}, URN = {urn:nbn:de:0030-drops-45279}, doi = {10.4230/OASIcs.MCPS.2014.100}, annote = {Keywords: On-line Model Checking, Laser Tracheotomy, UPPAAL-SMC, Patient-in-the-loop} } @InProceedings{habli_et_al:OASIcs.MCPS.2014.113, author = {Habli, Ibrahim and Al-Humam, Abdulaziz and Kelly, Tim and Fahel, Leila}, title = {{Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {113--123}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.113}, URN = {urn:nbn:de:0030-drops-45289}, doi = {10.4230/OASIcs.MCPS.2014.113}, annote = {Keywords: Healthcare, Safety, Assurance, Service-Oriented Architecture} } @InProceedings{arney_et_al:OASIcs.MCPS.2014.124, author = {Arney, David and Plourde, Jeff and Schrenker, Rick and Mattegunta, Pratyusha and Whitehead, Susan F. and Goldman, Julian M.}, title = {{Design Pillars for Medical Cyber-Physical System Middleware}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {124--132}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.124}, URN = {urn:nbn:de:0030-drops-45294}, doi = {10.4230/OASIcs.MCPS.2014.124}, annote = {Keywords: Medical Device Interoperability, Clinical Requirements, Design Pillars, Requirements Elicitation, Validation} } @InProceedings{kuhn_et_al:OASIcs.MCPS.2014.133, author = {K\"{u}hn, Franziska and Leucker, Martin and Mildner, Alexander}, title = {{OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {133--136}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.133}, URN = {urn:nbn:de:0030-drops-45300}, doi = {10.4230/OASIcs.MCPS.2014.133}, annote = {Keywords: Modular Risk Analysis, Medical Device Interconnection, OR.NET, Development Method} } @InProceedings{kwiatkowska_et_al:OASIcs.MCPS.2014.137, author = {Kwiatkowska, Marta and Mereacre, Alexandru}, title = {{Automated Verification of Quantitative Properties of Cardiac Pacemaker Software}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {137--140}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.137}, URN = {urn:nbn:de:0030-drops-45317}, doi = {10.4230/OASIcs.MCPS.2014.137}, annote = {Keywords: Pacemakers, Verification, Simulink} } @InProceedings{schrenker_et_al:OASIcs.MCPS.2014.141, author = {Schrenker, Rick and Plourde, Jeff and Alonso, Diego and Arney, David and Goldman, Julian M.}, title = {{Potential Advantages of Applying Assurance Case Modeling to Requirements Engineering for Interoperable Medical Device Systems}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {141--142}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.141}, URN = {urn:nbn:de:0030-drops-45326}, doi = {10.4230/OASIcs.MCPS.2014.141}, annote = {Keywords: Assurance Case, Goal Structured Notation, Requirements Engineering, Interoperability, Medical Device} } @InProceedings{sfyrla_et_al:OASIcs.MCPS.2014.143, author = {Sfyrla, Vasiliki and Carmona, Josep and Henck, Pascal}, title = {{Process-Oriented Analysis for Medical Devices}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {143--146}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.143}, URN = {urn:nbn:de:0030-drops-45335}, doi = {10.4230/OASIcs.MCPS.2014.143}, annote = {Keywords: Process Logs, Process Mining, Discovery, Formal Analysis, Infusion Pump} }
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