David Arney

Model-Driven Safety Analysis of Closed-Loop Medical Systems

Miroslav Pajić, Rahul Mangharam, Oleg Sokolsky et al. · IEEE Transactions on Industrial Informatics · 2012 · 118 citations · Full text

Engineering, Verification, Safety Science +17

Toward patient safety in closed-loop medical device systems

David Arney, Miroslav Pajić, Julian M. Goldman et al. · 2010 · 113 citations

Engineering, Safety Science, Clinical System +17

Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project

David Arney, Raoul Jetley, Paul Jones et al. · 2007 · 74 citations

Software Maintenance, Engineering, Verification +24

Plug-and-Play for Medical Devices: Experiences from a Case Study

David Arney, Sebastian Fischmeister, Julian M. Goldman et al. · Biomedical Instrumentation & Technology · 2009 · 51 citations · Full text

Medical Electronics, Engineering, Remote Patient Monitoring +18

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

Elsa L. Gunter, Insup Lee, Jaime Lee et al. · International Journal on Software Tools for Technology Transfer · 2004 · 48 citations · Full text

Cardiopulmonary Resuscitation, Medicine, Mechanical Circulatory Support +7