Andy Gimblett

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 0

Top Topics

Solving Constraint Satisfaction Problems

Ordering Heuristics

Formal Analysis

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Innov. Syst. Softw. Eng.

Publications

Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. 11 (2) (2015)
Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach
On the whereabouts of CSP-CASL - A survey. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Andy Gimblett, Harold W. Thimbleby
Applying theorem discovery to automatically find and check usability heuristics. EICS (2013)
Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci
Safer "5-key" number entry user interfaces using differential formal analysis. BCS HCI (2012)
Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby
Engineering interactive computer systems for medicine and healthcare (EICS4Med). EICS (2011)
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
On formalising interactive number entry on infusion pumps. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby
Towards Dependable Number Entry for Medical Devices. EICS4Med (2011)
Harold W. Thimbleby, Andy Gimblett
Dependable keyed data entry for interactive systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Harold W. Thimbleby, Andy Gimblett, Abigail Cauchi
Buffer automata: a UI architecture prioritising HCI concerns for interactive devices. EICS (2011)
Ann Blandford, Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Dominic Furniss, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Atish Rajkomar, Rimvydas Ruksenas, Harold Thimbleby
Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. EICS4Med (2011)
Andy Gimblett, Harold W. Thimbleby
User interface model discovery: towards a generic approach. EICS (2010)
Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff
Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT (2004)