| Toward patient safety in closed-loop medical device systems D Arney, M Pajic, JM Goldman, I Lee, R Mangharam, O Sokolsky Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010 | 158 | 2010 |
| Model-driven safety analysis of closed-loop medical systems M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee IEEE Transactions on Industrial Informatics 10 (1), 3-16, 2012 | 151 | 2012 |
| Formal methods based development of a PCA infusion pump reference model: Generic infusion pump (GIP) project D Arney, R Jetley, P Jones, I Lee, O Sokolsky 2007 Joint Workshop on High Confidence Medical Devices, Software, and …, 2007 | 102 | 2007 |
| Plug-and-play for medical devices: Experiences from a case study D Arney, S Fischmeister, JM Goldman, I Lee, R Trausmuth Biomedical Instrumentation & Technology 43 (4), 313-317, 2009 | 68 | 2009 |
| Biomedical devices and systems security D Arney, KK Venkatasubramanian, O Sokolsky, I Lee 2011 Annual International Conference of the IEEE Engineering in Medicine and …, 2011 | 66 | 2011 |
| Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System R Alur, D Arney, EL Gunter, I Lee, J Lee, W Nam, F Pearce, S Van Albert, ... International Journal on Software Tools for Technology Transfer 5, 308-319, 2004 | 65 | 2004 |
| Openice: An open, interoperable platform for medical cyber-physical systems J Plourde, D Arney, JM Goldman 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014 | 56 | 2014 |
| OpenICE medical device interoperability platform overview and requirement analysis D Arney, J Plourde, JM Goldman Biomedical Engineering/Biomedizinische Technik 63 (1), 39-47, 2018 | 47 | 2018 |
| Synchronizing an X-ray and Anesthesia Machine Ventilator-A Medical Device Interoperability Case Study. D Arney, JM Goldman, SF Whitehead, I Lee BioDevices, 52-60, 2009 | 32 | 2009 |
| Simulation of medical device network performance and requirements for an integrated clinical environment D Arney, JM Goldman, A Bhargav-Spantzel, A Basu, M Taborn, G Pappas, ... Biomedical instrumentation & technology 46 (4), 308-315, 2012 | 29 | 2012 |
| Generic infusion pump hazard analysis and safety requirements version 1.0 DE Arney, R Jetley, I Lee, P Jones, O Sokolsky, A Ray, Y Zhang | 27 | 2009 |
| Design pillars for medical cyber-physical system middleware D Arney, J Plourde, R Schrenker, P Mattegunta, SF Whitehead, ... 5th Workshop on Medical Cyber-Physical Systems (2014), 2014 | 25 | 2014 |
| Development of an interactive dashboard to analyze cognitive workload of surgical teams during complex procedural care RD Dias, HM Conboy, JM Gabany, LA Clarke, LJ Osterwei, GS Avrunin, ... 2018 IEEE Conference on Cognitive and Computational Aspects of Situation …, 2018 | 24 | 2018 |
| Toward a safe and secure medical Internet of Things H Soroush, D Arney, J Goldman IIC J. Innov 2 (1), 4-18, 2016 | 22 | 2016 |
| Design implementation and evaluation of a mobile continuous blood oxygen saturation monitoring system Q Zhang, D Arney, JM Goldman, EM Isselbacher, AA Armoundas Sensors 20 (22), 6581, 2020 | 20 | 2020 |
| Model-based programming of modular robots D Arney, S Fischmeister, I Lee, Y Takashima, M Yim 2010 13th IEEE International Symposium on Object/Component/Service-Oriented …, 2010 | 17 | 2010 |
| The importance of state and context in safe interoperable medical systems S Weininger, MB Jaffe, M Robkin, T Rausch, D Arney, JM Goldman IEEE journal of translational engineering in health and medicine 4, 1-10, 2016 | 16 | 2016 |
| Intelligent interruption management system to enhance safety and performance in complex surgical and robotic procedures RD Dias, HM Conboy, JM Gabany, LA Clarke, LJ Osterweil, D Arney, ... OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy …, 2018 | 14 | 2018 |
| Generic infusion pump hazard analysis and safety requirements D Arney, R Jetley, P Jones, I Lee, O Sokolsky, A Ray, Y Zhang University of Pennsylvania, Tech. Rep. MS-CIS-08-31, 2009 | 13 | 2009 |
| GSA: a framework for rapid prototyping of smart alarm systems AL King, A Roederer, D Arney, S Chen, M Fortino-Mullen, A Giannareas, ... Proceedings of the 1st ACM International Health Informatics Symposium, 487-491, 2010 | 12 | 2010 |
