David Arney

23 papers B 1C 1Misc 2Journal 5Unranked 14
YearRankTypeTitle / Venue / Authors
2023 J jnl
An Open-Source, Interoperable Architecture for Generating Real-Time Surgical Team Cognitive Alerts from Heart-Rate Variability Monitoring.
Sensors
David Arney, Yi Zhang, Lauren R. Kennedy-Metz, Roger D. Dias, Julian M. Goldman, Marco A. Zenati
2023 — conf
Using Digital Biomarkers for Objective Assessment of Perfusionists' Workload and Acute Stress During Cardiac Surgery.
IWBBIO (1)
Roger D. Dias, Lauren R. Kennedy-Metz, Srey Rithy, Geoffrey Rance, Mahdi Ebnali, David Arney, Matthew C. Gombolay, Marco A. Zenati
2022 Misc conf
Association Between Operating Room Noise and Team Cognitive Workload in Cardiac Surgery.
CogSIMA
Lauren R. Kennedy-Metz, Maria Arshanskiy, Sandra Keller, David Arney, Roger D. Dias, Marco A. Zenati
2022 J jnl
Using machine learning to predict perfusionists' critical decision-making during cardiac surgery.
Comput. methods Biomech. Biomed. Eng. Imaging Vis.
Roger D. Dias, Marco A. Zenati, Geoffrey Rance, Srey Rithy, David Arney, Letian Chen, Rohan R. Paleja, Lauren R. Kennedy-Metz, Matthew C. Gombolay
2020 J jnl
Design Implementation and Evaluation of a Mobile Continuous Blood Oxygen Saturation Monitoring System.
Sensors
Qingxue Zhang, David Arney, Julian M. Goldman, Eric M. Isselbacher, Antonis A. Armoundas
2019 B conf
Implementing Real-Time Clinical Decision Support Applications on OpenICE: A Case Study Using the National Early Warning System Algorithm.
CHASE
David Arney, Yi Zhang, Julian M. Goldman, Barbara Dumas
2018 — conf
A Novel Interoperable Safety System for Improved Coordination and Communication in Cardiac Surgery.
OR 2.0/CARE/CLIP/ISIC@MICCAI
David Arney, Geoffrey Rance, Srey Rithy, Julian M. Goldman, Marco A. Zenati
2018 Misc conf
Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care.
CogSIMA
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
2018 — conf
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures.
OR 2.0/CARE/CLIP/ISIC@MICCAI
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
2014 — conf
Design Pillars for Medical Cyber-Physical System Middleware.
MCPS
David Arney, Jeff Plourde, Rick Schrenker, Pratyusha Mattegunta, Susan F. Whitehead, Julian M. Goldman
2014 J jnl
Model-Driven Safety Analysis of Closed-Loop Medical Systems.
IEEE Trans. Ind. Informatics
Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee
2014 — conf
OpenICE: An open, interoperable platform for medical cyber-physical systems.
ICCPS
Jeffrey Plourde, David Arney, Julian M. Goldman
2014 — conf
Potential Advantages of Applying Assurance Case Modeling to Requirements Engineering for Interoperable Medical Device Systems.
MCPS
Rick Schrenker, Jeff Plourde, Diego Alonso, David Arney, Julian M. Goldman
2011 — conf
Biomedical devices and systems security.
EMBC
David Arney, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee
2011 — conf
Design of an x-ray / ventilator synchronization system in an integrated clinical environment.
EMBC
David Arney, Kunal Bhatia, Sanchit Bhatia, Michael Sutton, Tracy L. Rausch, Joel Karlinsky, Julian M. Goldman
2011 — conf
Supporting Medical Device Adverse Event Analysis in an Interoperable Clinical Environment: Design of a Data Logging and Playback System.
ICBO
David Arney, Sandy Weininger, Susan F. Whitehead, Julian M. Goldman
2010 — conf
GSA: a framework for rapid prototyping of smart alarm systems.
IHI
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, Oleg Sokolsky, Insup Lee
2010 C conf
Model-Based Programming of Modular Robots.
ISORC
David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim
2010 — conf
Prototyping closed loop physiologic control with the medical device coordination framework.
SEHC@ICSE
Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter
2010 — conf
Toward patient safety in closed-loop medical device systems.
ICCPS
David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky
2009 — conf
Improving Patient Safety with X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study.
BIOSTEC (Selected Papers)
David Arney, Julian M. Goldman, Susan F. Whitehead, Insup Lee
2009 — conf
Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study.
BIODEVICES
David Arney, Julian M. Goldman, Susan F. Whitehead, Insup Lee
2004 J jnl
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
Int. J. Softw. Tools Technol. Transf.
Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou