Abigail Cauchi

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps

Paolo Masci, Rimvydas Rukšėnas, Patrick Oladimeji et al. · Innovations in Systems and Software Engineering · 2013 · 36 citations · Full text

Pharmacy, Design, Drug Delivery +8

Safer “5–key” number entry user interfaces using Differential Formal Analysis

Abigail Cauchi, Andy Gimblett, Harold Thimbleby et al. · Electronic workshops in computing · 2012 · 29 citations · Full text

Computing, Computer Science, Systems Engineering +14

On formalising interactive number entry on infusion pumps

Paolo Masci, Rimvydas Rukšėnas, Patrick Oladimeji et al. · Technische Universität Berlin – Universitätsbibliothek · 2011 · 23 citations · Full text

Computing, Computer Science, Artificial Intelligence +13

Design of interactive medical devices: Feedback and its improvement

Yunqiu Li, Patrick Oladimeji, Carlos Rodríguez Monroy et al. · 2011 · 13 citations · Full text

Arts, Biomedical Engineering, Design +17

Using Medical Device Logs for Improving Medical Device Design

Abigail Cauchi, Harold Thimbleby, Patrick Oladimeji et al. · 2013 · 11 citations

Engineering, Health Informatics, Clinical Informatics +14