Andy Gimblett

According to our database, Andy Gimblett authored at least 13 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

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

Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby

Innov. Syst. Softw. Eng., 2015

2014

Structural usability techniques for dependable HCI.

Andy Gimblett

PhD thesis, 2014

2013

On the whereabouts of CSP-CASL - A survey.

Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach

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

Applying theorem discovery to automatically find and check usability heuristics.

Andy Gimblett, Harold W. Thimbleby

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

2012

Safer "5-key" number entry user interfaces using differential formal analysis.

Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci

Proceedings of the BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, 2012

2011

Dependable keyed data entry for interactive systems.

Harold W. Thimbleby, Andy Gimblett

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

On formalising interactive number entry on infusion pumps.

Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby

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

Buffer automata: a UI architecture prioritising HCI concerns for interactive devices.

Harold W. Thimbleby, Andy Gimblett, Abigail Cauchi

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Towards Dependable Number Entry for Medical Devices.

Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby

Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011

Engineering interactive computer systems for medicine and healthcare (EICS4Med).

Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps.

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

Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011

2010

User interface model discovery: towards a generic approach.

Andy Gimblett, Harold W. Thimbleby

Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

2004

Towards a Formal Specification of an Electronic Payment System in CSP-CASL.

Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004