Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. - Rajeev Alur; David Arney; Elsa L. Gunter; Insup Lee 001; Jaime Lee; Wonhong Nam; Frederick Pearce; Stephen Van Albert; Jiaxiang Zhou (Int. J. Softw. Tools Technol. Transf., 2004)

Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study. - David Arney; Julian M. Goldman; Susan F. Whitehead; Insup Lee 001 (BIODEVICES, 2009)

Improving Patient Safety with X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study. - David Arney; Julian M. Goldman; Susan F. Whitehead; Insup Lee 001 (BIOSTEC (Selected Papers), 2009)

Toward patient safety in closed-loop medical device systems. - David Arney; Miroslav Pajic; Julian M. Goldman; Insup Lee 001; Rahul Mangharam; Oleg Sokolsky (ICCPS, 2010)

Prototyping closed loop physiologic control with the medical device coordination framework. - Andrew L. King; David Arney; Insup Lee 001; Oleg Sokolsky; John Hatcliff; Sam Procter (SEHC@ICSE, 2010)

GSA: a framework for rapid prototyping of smart alarm systems. - Andrew L. King; Alex Roederer; David Arney; Sanjian Chen; Margaret Mullen-Fortino; Ana Rosa Giannareas; William Hanson III; Vanessa Kern; Nicholas Stevens; Jonathan Tannen; Adrian Viesca Trevino; Soojin Park; et al. (IHI, 2010)

Model-Based Programming of Modular Robots. - David Arney; Sebastian Fischmeister; Insup Lee 001; Yoshihito Takashima; Mark Yim (ISORC, 2010)

Design of an x-ray / ventilator synchronization system in an integrated clinical environment. - David Arney; Kunal Bhatia; Sanchit Bhatia; Michael Sutton 002; Tracy L. Rausch; Joel Karlinsky; Julian M. Goldman (EMBC, 2011)

Biomedical devices and systems security. - David Arney; Krishna K. Venkatasubramanian; Oleg Sokolsky; Insup Lee 001 (EMBC, 2011)

Supporting Medical Device Adverse Event Analysis in an Interoperable Clinical Environment: Design of a Data Logging and Playback System. - David Arney; Sandy Weininger; Susan F. Whitehead; Julian M. Goldman (ICBO, 2011)

OpenICE: An open, interoperable platform for medical cyber-physical systems. - Jeffrey Plourde; David Arney; Julian M. Goldman (ICCPS, 2014)

Design Pillars for Medical Cyber-Physical System Middleware. - David Arney; Jeff Plourde; Rick Schrenker; Pratyusha Mattegunta; Susan F. Whitehead; Julian M. Goldman (MCPS, 2014)

Potential Advantages of Applying Assurance Case Modeling to Requirements Engineering for Interoperable Medical Device Systems. - Rick Schrenker; Jeff Plourde; Diego Alonso; David Arney; Julian M. Goldman (MCPS, 2014)

Model-Driven Safety Analysis of Closed-Loop Medical Systems. - Miroslav Pajic; Rahul Mangharam; Oleg Sokolsky; David Arney; Julian M. Goldman; Insup Lee 001 (IEEE Trans. Ind. Informatics, 2014)

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; Lori A. Clarke; Leon J. Osterweil; George S. Avrunin; David Arney; Julian M. Goldman; Giuseppe Riccardi; Steven J. Yule; Marco A. Zenati (CogSIMA, 2018)

A Novel Interoperable Safety System for Improved Coordination and Communication in Cardiac Surgery. - David Arney; Geoffrey Rance; Srey Rithy; Julian M. Goldman; Marco A. Zenati (OR 2.0/CARE/CLIP/ISIC@MICCAI, 2018)

Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures. - Roger D. Dias; Heather M. Conboy; Jennifer M. Gabany; Lori A. Clarke; Leon J. Osterweil; David Arney; Julian M. Goldman; Giuseppe Riccardi; George S. Avrunin; Steven J. Yule; Marco A. Zenati (OR 2.0/CARE/CLIP/ISIC@MICCAI, 2018)

Implementing Real-Time Clinical Decision Support Applications on OpenICE: A Case Study Using the National Early Warning System Algorithm. - David Arney; Yi Zhang 051; Julian M. Goldman; Barbara Dumas (CHASE, 2019)

Design Implementation and Evaluation of a Mobile Continuous Blood Oxygen Saturation Monitoring System. - Qingxue Zhang; David Arney; Julian M. Goldman; Eric M. Isselbacher; Antonis A. Armoundas (Sensors, 2020)

Association Between Operating Room Noise and Team Cognitive Workload in Cardiac Surgery. - Lauren R. Kennedy-Metz; Maria Arshanskiy; Sandra Keller; David Arney; Roger D. Dias; Marco A. Zenati (CogSIMA, 2022)

Using machine learning to predict perfusionists' critical decision-making during cardiac surgery. - Roger D. Dias; Marco A. Zenati; Geoffrey Rance; Srey Rithy; David Arney; Letian Chen; Rohan R. Paleja; Lauren R. Kennedy-Metz; Matthew C. Gombolay (Comput. methods Biomech. Biomed. Eng. Imaging Vis., 2022)

Using Digital Biomarkers for Objective Assessment of Perfusionists' Workload and Acute Stress During Cardiac Surgery. - Roger D. Dias; Lauren R. Kennedy-Metz; Srey Rithy; Geoffrey Rance; Mahdi Ebnali; David Arney; Matthew C. Gombolay; Marco A. Zenati (IWBBIO (1), 2023)

An Open-Source, Interoperable Architecture for Generating Real-Time Surgical Team Cognitive Alerts from Heart-Rate Variability Monitoring. - David Arney; Yi Zhang 051; Lauren R. Kennedy-Metz; Roger D. Dias; Julian M. Goldman; Marco A. Zenati (Sensors, 2023)