Andy Gimblett - RankMe

14 papers Misc 4Journal 4Unranked 4

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
2014	—	`—`	Structural usability techniques for dependable HCI. Andy Gimblett
2013	Misc	`conf`	Applying theorem discovery to automatically find and check usability heuristics. EICS Andy Gimblett, Harold W. Thimbleby
2013	J	`jnl`	On the whereabouts of CSP-CASL - A survey. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach
2012	—	`conf`	Safer "5-key" number entry user interfaces using differential formal analysis. BCS HCI Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci
2011	Misc	`conf`	Buffer automata: a UI architecture prioritising HCI concerns for interactive devices. EICS Harold W. Thimbleby, Andy Gimblett, Abigail Cauchi
2011	—	`conf`	Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. EICS4Med 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
2011	J	`jnl`	Dependable keyed data entry for interactive systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Harold W. Thimbleby, Andy Gimblett
2011	Misc	`conf`	Engineering interactive computer systems for medicine and healthcare (EICS4Med). EICS Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby
2011	J	`jnl`	On formalising interactive number entry on infusion pumps. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
2011	—	`ed.`	Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011 EICS4Med Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby
2011	—	`conf`	Towards Dependable Number Entry for Medical Devices. EICS4Med Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby
2010	Misc	`conf`	User interface model discovery: towards a generic approach. EICS Andy Gimblett, Harold W. Thimbleby
2004	—	`conf`	Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff