David Arney - Concepedia

Author

David Arney

Massachusetts General Hospital ORCID

Also Known As

Arney, David, D. Arney, D. E. Arney, David Arney, David E. Arney

Publications

815

Citations

H-Index

Concepts

All Affiliations

Massachusetts General Hospital University of Pennsylvania Harvard University VA Boston Healthcare System California University of Pennsylvania

About

David Arney is an author at Massachusetts General Hospital specializing in engineering, systems engineering, and medicine.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	578
2	Medicine	8	8	315
3	Nursing	1	1	12
4	Public Health	1	1	12
5	Anesthesia	1	1	23

David Arney

Publications

736

Citations

H-Index

Page 1

	Year	Citations
Model-Driven Safety Analysis of Closed-Loop Medical Systems Miroslav Pajić, Rahul Mangharam, Oleg Sokolsky, IEEE Transactions on Industrial Informatics EngineeringVerificationSafety ScienceModel CheckingFormal Verification	2012	118
Toward patient safety in closed-loop medical device systems David Arney, Miroslav Pajić, Julian M. Goldman, EngineeringSafety ScienceClinical SystemMedical DevicesToward Patient Safety	2010	113
Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project David Arney, Raoul Jetley, Paul Jones, Software MaintenanceEngineeringVerificationSoftware EngineeringBiomedical Engineering	2007	74
Plug-and-Play for Medical Devices: Experiences from a Case Study David Arney, Sebastian Fischmeister, Julian M. Goldman, Biomedical Instrumentation & Technology Medical ElectronicsEngineeringRemote Patient MonitoringMedical TechnologyWearable Technology	2009	51
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System Elsa L. Gunter, Insup Lee, Jaime Lee, International Journal on Software Tools for Technology Transfer Cardiopulmonary ResuscitationMedicineMechanical Circulatory SupportBiomedical FlowResuscitation Training	2004	48
OpenICE: An open, interoperable platform for medical cyber-physical systems Jeffrey Plourde, David Arney, Julian M. Goldman Clinical SystemEngineeringOpen-source Medical DeviceRemote Patient MonitoringIce Standard	2014	47
Biomedical devices and systems security David Arney, Krishna K. Venkatasubramanian, Oleg Sokolsky, Mobile SecurityEngineeringInformation SecurityWearable TechnologyInformation Forensics	2011	43
OpenICE medical device interoperability platform overview and requirement analysis David Arney, Jeffrey Plourde, Julian M. Goldman Biomedizinische Technik/Biomedical Engineering EngineeringSoftware EngineeringMedical Device InteroperabilityIntegrated Clinical EnvironmentClinical System	2017	43
Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care Roger D. Dias, Heather M. Conboy, Jennifer M. Gabany,	2018	28
Design Implementation and Evaluation of a Mobile Continuous Blood Oxygen Saturation Monitoring System Qingxue Zhang, David Arney, Julian M. Goldman, Sensors	2020	28

Page 1