David Arney

According to our database1, David Arney authored at least 16 papers between 2004 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures.
Proceedings of the OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, - and - Skin Image Analysis, 2018

A Novel Interoperable Safety System for Improved Coordination and Communication in Cardiac Surgery.
Proceedings of the OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, - and - Skin Image Analysis, 2018

2014
Model-Driven Safety Analysis of Closed-Loop Medical Systems.
IEEE Trans. Industrial Informatics, 2014

Potential Advantages of Applying Assurance Case Modeling to Requirements Engineering for Interoperable Medical Device Systems.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Design Pillars for Medical Cyber-Physical System Middleware.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

OpenICE: An open, interoperable platform for medical cyber-physical systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

2011
Supporting Medical Device Adverse Event Analysis in an Interoperable Clinical Environment: Design of a Data Logging and Playback System.
Proceedings of the 2nd International Conference on Biomedical Ontology, 2011

Biomedical devices and systems security.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Design of an x-ray / ventilator synchronization system in an integrated clinical environment.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

2010
Model-Based Programming of Modular Robots.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

GSA: a framework for rapid prototyping of smart alarm systems.
Proceedings of the ACM International Health Informatics Symposium, 2010

Prototyping closed loop physiologic control with the medical device coordination framework.
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010

Toward patient safety in closed-loop medical device systems.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009
Improving Patient Safety with X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study.
Proceedings of the Biomedical Engineering Systems and Technologies, 2009

Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study.
Proceedings of the BIODEVICES 2009, 2009

2004
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
STTT, 2004


  Loading...