|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paolo Masci 0001, Yi Zhang 0051, Paul L. Jones, Harold Thimbleby, Paul Curzon |
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software.  |
MCPS  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann |
Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahboobeh Ghorbani, Paul Bogdan |
Challenges and Opportunities in Design of Control Algorithm for Artificial Pancreas. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David Arney, Jeff Plourde, Rick Schrenker, Pratyusha Mattegunta, Susan F. Whitehead, Julian M. Goldman |
Design Pillars for Medical Cyber-Physical System Middleware. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gregorczyk, Stefan Fischer 0001, Timm B. Busshaus, Stefan Schlichting, Stephan Pöhlsen |
An Approach to Integrate Distributed Systems of Medical Devices in High Acuity Environments. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriela Ortiz-León, Marta Vílchez-Monge, Juan J. Montero-Rodríguez |
Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong woon Ahn, Albert Mo Kim Cheng |
Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel |
Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Alexandru Mereacre |
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanos Skalistis, Alena Simalatsar |
Modeling of Reconfigurable Medical Ultrasonic Applications in BIP. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasiliki Sfyrla, Josep Carmona 0001, Pascal Henck |
Process-Oriented Analysis for Medical Devices. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Franziska Kühn, Martin Leucker, Alexander Mildner |
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer (eds.) |
5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014 |
MCPS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Lu Feng 0001, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee 0001 |
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Ringwelski, Andreas Timm-Giel, Volker Turau |
Adaptive Failure Detection and Correction in Dynamic Patient-Networks. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek van den Berg, Anne Remke, Boudewijn R. Haverkort |
A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. |
MCPS |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license