Harold Thimbleby — “Formal Methods in HCI” only

1.Formal Methods in HCI — Publications: refereed
1.1.Journal papers: refereed
1.2.Conference papers: refereed
2.Formal Methods in HCI — Invited publications: not refereed
2.1.Forewords and keynotes
2.2.Contributions to edited volumes

All subject categories

Google profile

AutostereogramsBooksCalculatorsCybersecurityDevice designEthics & cultureFavouritesGeneral InterestHIT: Health IT & devicesHuman Computer InteractionHuman ErrorLiterate ProgrammingProgrammingResearch, teaching & lecturingReading, digital librariesReviewsVideosComputer virusesWorld Wide WebInternetWriting, editing & publishingEverything


1. Formal Methods in HCI — Publications: refereed

1.1. Journal papers: refereed

P. Cairns and H. Thimbleby, “Interactive numerals”, Royal Society Open Science, vol. 4, no. 160903 (2017). DOI: 10.1098/rsos.160903

H. Thimbleby, “Safer User Interfaces: A Case Study in Improving Number Entry”, IEEE Transactions on Software Engineering, vol. 41, no. 7, pp. 711–729 (2015). DOI: 10.1109/TSE.2014.2383396

H. Thimbleby, “Action Graphs and User Performance Analysis”, International Journal of Human-Computer Studies, vol. 71, no. 3, pp. 276–302 (2013). URL PDF DOI: 10.1016/j.ijhcs.2012.10.014

P. Cairns and H. Thimbleby, “Affordance and Symmetry in User Interfaces”, Computer Journal, vol. 51, no. 6, pp. 650–661 (2008). PDF DOI: 10.1093/comjnl/bxm102

H. Thimbleby, “User Interface Design with Matrix Algebra”, ACM Transactions on Computer-Human Interaction, vol. 11, no. 2, pp. 181–236 (2004). URL PDF DOI: 10.1145/1005361.1005364

P. Cairns, M. Jones and H. Thimbleby, “Usability Analysis with Markov Models”, ACM Transactions on Computer-Human Interaction, vol. 8, no. 2, pp. 99–132 (2001). URL PDF DOI: 10.1145/376929.376941

H. Thimbleby, “Specification-led Design for Interface Simulation, Collecting Use-data, Interactive Help, Writing Manuals, Analysis, Comparing Alternative Designs, etc”, Personal Technologies, vol. 4, no. 2, pp. 241–254 (1999). URL PDF DOI: 10.1007/BF01885563

P. B. Ladkin and H. Thimbleby, “From Logic to Manuals Again”, IEE Software Engineering, vol. 144, no. 3, pp. 185–192 (1997). PDF DOI: 10.1049/ip-sen:19971104

P. B. Ladkin and H. Thimbleby, “From Logic to Manuals”, Software Engineering Journal, vol. 11, no. 6, pp. 347–354 (1997). PDF DOI: 10.1049/sej.1996.0045

H. Thimbleby, “Formulating Usability”, ACM SIGCHI Bulletin, vol. 26, no. 2, pp. 59–64 (1994). PDF DOI: 10.1145/198125.198145

H. Thimbleby, “User Interface Design and Formal Methods”, Computer Bulletin, Series III, vol. 2, no. 3, pp. 13–15 & 18 (September, 1986). PDF

1.2. Conference papers: refereed

C. Bernardeschi, A. Domenici, G. Mauro and H. Thimbleby, “Extending a user interface prototyping tool with automatic MISRA C code generation”, Proceedings 3rd Workshop on Formal Integrated Development Environment (F-IDE), pp. 53–66, Limassol, Cyprus (2016). DOI: 10.4204/EPTCS.240.4

P. Curzon, P. Mallozzi, P. Masci, P. Oladimeji and H. Thimbleby, “PVSio-web: Mathematically based tool support for the design of interactive and interoperable medical systems”, Proceedings 5th EAI International Conference on Wireless Mobile Communication and Healthcare, pp. 42–45, Ghent, Belgium: European Alliance for Innovation, London (2015). DOI: 10.4108/eai.14-10-2015.2261720

P. Curzon, P. Jones, P. Masci, P. Oladimeji, H. Thimbleby and Y. Zhang, “PVSio-web 2.0: Joining PVS to HCI”, Proceedings 27th International Conference on Computer Aided Verification, CAV 2015, D. Kroening and C. S. P\uas\uareanu (editors), Lecture Notes in Computer Science, vol. 9206, pp. 470–478, Springer Verlag, San Francisco, California (2015). URL DOI: 10.1007/978-3-319-21690-4_30

P. Curzon, P. Masci, P. Oladimeji and H. Thimbleby, “Tool demo: Using PVSio-web to demonstrate software issues in medical user interfaces”, 4th International Symposium on Foundations of Healthcare Information Engineering and Systems (FHIES2014), Washington DC, USA (2014).

A. Cauchi, G. Niezen, P. Oladimeji and H. Thimbleby, “Triangulating Empirical and Analytic Techniques for Improving Number Entry User Interfaces”, EICS204, 6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 243–252, ACM, Rome, Italy (2014). URL DOI: 10.1145/2607023.2607025

P. Curzon, E. D'Urso, P. Masci, P. Oladimeji, R. Ruksenas and H. Thimbleby, “Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project”, VeriSure: Verification and Assurance, Vienna (2014).

=P. Curzon, =P. Jones, =P. Masci, =H. Thimbleby and =Y. Zhang, “A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software”, 5th Workshop on Medical Cyber-Physical Systems, OpenAccess Series in Informatics (OASIcs), vol. 36, pp. 1–14, Schloss Dagstuhl–Leibniz–Zentrum f\"ur Informatik (2014). URL DOI: 10.4230/OASIcs.MCPS.2014.1

=C. Bernardeschi, =P. Curzon, =E. D'Urso, =P. Jones, =P. Masci, =P. Oladimeji, =H. Thimbleby and =Y. Zhang, “Combining PVSio with Stateflow”, Proceedings of the NASA Formal Methods 6th International Symposium, =J. M. Badger and =K. Y. Rozier (editors), Lecture Notes in Computer Science, vol. 8430, pp. 209–214, Springer Verlag, Houston, USA (2014). PDF DOI: 10.1007/978-3-319-06200-6

=P. Curzon, =P. Jones, =P. Masci, =H. Thimbleby and =Y. Zhang, “Formal Verification of Medical Device User Interfaces using PVS”, Proceedings 17th International Conference on Fundamental Approaches to Software Engineering — FASE, =S. Gnesi and =A. Rensink (editors), Lecture Notes in Computer Science, vol. 8411, pp. 200–214, Springer-Verlag, Grenoble, France (2014). PDF DOI: 10.1007/978-3-642-54804-8_14

P. Curzon, *P. Masci, P. Oladimeji and H. Thimbleby, “PVSio-web: A Tool for Rapid Prototyping Device User Interfaces in PVS”, Electronic Communications of the EASST, J. Bowen and S. Reeves (editors), vol. X, pp. 1/8–8/8 (2013). URL PDF

=A. Gimblett and =H. Thimbleby, “Applying Theorem Discovery to Automatically Find and Check Usability Heuristics”, Proceedings ACM Engineering Interactive Computer Systems — EICS 2013, pp. 101–106, ACM, London (2013). URL PDF DOI: 10.1145/2480296.2480320

A. Cauchi, A. Gimblett and H. Thimbleby, “Simulation to Evaluate Alternative Approaches to Blocking Use Errors”, Proceedings Design of Medical Devices Conference, Transactions of the ASME: Journal of Medical Devices, vol. 6, no. 1, pp. 017502-1 (2012). PDF DOI: 10.1115/1.4026680

A. Cauchi, P. Curzon, A. Gimblett, P. Masci and H. Thimbleby, “Safer “5-key” Number Entry User Interfaces using Differential Formal Analysis”, Proceedings BCS Conference on HCI, vol. XXVI, pp. 29–38, Oxford University Press, Birmingham, UK (2012). URL PDF

A. Gimblett and H. Thimbleby, “Dependable Keyed Data Entry for Interactive Systems”, FMIS 2011, 4th International Workshop on Formal Methods for Interactive Systems, Electronic Communications of the EASST, vol. 45, pp. 1/16–16/16, Limerick, Ireland (2011). URL PDF DOI: 10.1145/1996461.1996497

A. Cauchi, A. Gimblett and H. Thimbleby, “Buffer Automata: A UI Architecture Prioritising HCI Concerns for Interactive Devices”, Proceedings ACM Engineering Interactive Computer Systems — EICS 2011, pp. 73–78, ACM, Pisa, Italy (2011). PDF

A. Gimblett and H. Thimbleby, Best Paper Award, “User Interface Model Discovery: Towards a Generic Approach”, Proceedings ACM SIGCHI Symposium on Engineering Interactive Computing Systems — EICS 2010, G. Doherty, M. D. Harrison and J. Nichols (editors), pp. 145–154, ACM, Berlin (2010). PDF DOI: 10.1145/1822018.1822041

P. Oladimeji and H. Thimbleby, “Social Network Analysis and Interactive Device Design”, Proceedings ACM SIGCHI Symposium on Engineering Interactive Computing Systems — EICS'09, G. Calvary, T. C. N. Graham and P. Gray (editors), pp. 91–100, ACM, Pittsburgh (2009). PDF DOI: 10.1145/1570433.1570453

H. Thimbleby, “Contributing to Safety and Due Diligence in Safety-critical Interactive Systems Development”, Proceedings ACM SIGCHI Symposium on Engineering Interactive Computing Systems — EICS'09, G. Calvary, T. C. N. Graham and P. Gray (editors), pp. 221–230, ACM, Pittsburgh (2009). PDF DOI: 10.1145/1570433.1570474

H. Thimbleby, “Interaction Programming: Next Steps”, Proceedings ACM CHI, pp. 3811–3816, ACM (2009). PDF DOI: 10.1145/1520340.1520576

J. Gow and H. Thimbleby, “Applying Graph Theory to Interaction Design”, Proceedings Engineering Interactive Computer Systems — EICS2007/DSVIS 2007, J. Gulliksen (editor), Lecture Notes in Computer Science, vol. 4940, pp. 501–518, Springer Verlag, Salamanca, Spain (2008). PDF DOI: 10.1007/978-3-540-92698-6_30

H. Thimbleby, “Using the Fitts Law with State Transition Systems to Find Optimal Task Timings”, Proceedings 2nd International Workshop on Formal Methods for Interactive Systems (FMIS2007), A. Cerone and P. Curzon (editors), pp. 151–162, Lancaster, England (2007).

M. D. Harrison and H. Thimbleby, “Names and References in User Interfaces”, Proceedings British Computer Society HCI 2007 Conference, vol. 2, pp. 107–110, Lancaster, England (2007). PDF

H. Thimbleby, “Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems”, Proceedings The XIII International Workshop on Design, Specification and Verification of Interactive Systems — DSVIS 2006, A. Blandford and G. Doherty (editors), Lecture Notes in Computer Science, vol. 4323, pp. 52–66, Springer Verlag, Dublin, Ireland (2007). PDF DOI: 10.1007/978-3-540-69554-7_5

=P. Cairns, =J. Gow and =H. Thimbleby, “Automatic Critiques of Interface Modes”, Proceedings 12th International Workshop on Design, Specification and Verification of Interactive Systems — DSVIS 2005, =S. W. Gilroy and =M. D. Harrison (editors), Lecture Notes in Computer Science, vol. 3941, pp. 201–212, Springer Verlag, Newcastle, England (2006). PDF DOI: 10.1007/11752707_17

P. Cairns, J. Gow and H. Thimbleby, “Misleading Behaviour in Interactive Systems”, Proceedings British Computer Society HCI Conference, A. Dearden and L. Watts (editors), vol. 2, pp. 33–36, Research Press International (2004). PDF

H. Thimbleby, “Computer Algebra in User Interface Design Analysis”, Proceedings British Computer Society HCI Conference, A. Dearden and L. Watts (editors), vol. 2, pp. 121–124, Research Press International (2004). URL PDF

J. Gow and H. Thimbleby, “MAUI: An Interface Design Tool Based on Matrix Algebra”, Proceedings of the Fifth ACM International Conference on Computer-Aided Design of User Interfaces IV — CADUI'2004, R. J. K. Jacob, Q. Limbourg and J. Vanderdonckt (editors), pp. 81–94, Kluwer Aacedmic Publishers, Funchal, Maderia (2004). URL PDF

J. Gow and H. Thimbleby, “Computer Algebra in Interface Design Research”, Proceedings 2004 ACM/SIGCHI International Conference on Intelligent User Interfaces — IUI'04, N. J. Nunes and C. Rich (editors), pp. 366–367, Funchal, Madeira (2004). URL PDF DOI: 10.1145/964442.964537

J. Gow and H. Thimbleby, “Computer Algebra in Interface Design Research”, Proceedings of the Fifth ACM International Conference on Computer-Aided Design of User Interfaces — CADUI'2004, Funchal, Madeira (2004).

H. Thimbleby, “Analysis and Simulation of User Interfaces”, Human Computer Interaction 2000, Proceedings British Computer Society Conference on Human-Computer Interaction, G. Cockton, S. McDonald and Y. Waern (editors), vol. XIV, pp. 221–237, Newcastle, England (2000). PDF

P. Gillary, M. Jones, G. Marsden and H. Thimbleby, “Using Computing Science Principles in Interface Design”, Proceedings IFIP Conference on Human-Computer Interaction — Interact 1999, S. Brewster, A. Cawsey and G. Cockton (editors), vol. 2, pp. 47–48 (1999).

H. Thimbleby, “Specification-led Design”, Proceedings Living Life to the Full with Personal Technologies, no. IEE Seminar 98/268, pp. 4/1–4/9 (1998). DOI: 10.1049/ic:19980384

M. Jones, *C. Rigny, Y. L. Theng and H. Thimbleby, “Cognitive Task Graphs and Executable User Models for Better Hypertext”, Proceedings First Asia Pacific Conference on Human Computer Interaction — APCHI, L. Herman, Y. K. Leung, J. Moyes and L. K. Yong (editors), pp. 421–433, Singapore (1996). PDF

H. Thimbleby, “Creating User Manuals for Use in Collaborative Design”, Proceedings ACM Conference on Computer-Human Interaction — CHI'96, M. Tauber (editor), pp. 279–280, Vancouver, Canada (1996). PDF

P. B. Ladkin and H. Thimbleby, “A Proper Explanation When You Need One”, Proceedings British Computer Society Conference HCI'95, People and Computers, A. J. Dix, J. E. Finlay and M. A. R. Kirby (editors), vol. X, pp. 107–118, Cambridge University Press, Huddersfield (1995). PDF

M. A. Addison and H. Thimbleby, “HyperDoc: An Interactive System Development Tool”, Proceedings British Computer Society Conference HCI'95, People and Computers, A. J. Dix, J. E. Finlay and M. A. R. Kirby (editors), vol. X, pp. 95–106, Cambridge University Press, Huddersfield (1995).

M. A. Addison and H. Thimbleby, “Manuals as Structured Programs”, Proceedings British Computer Society Conference HCI'94, People and Computers, G. Cockton, S. W. Draper and G. R. S. Weir (editors), vol. IX, pp. 67–79, Cambridge University Press (1994). PDF

H. Thimbleby, “Formal Methods without Psychology”, Proceedings Theory in Human-Computer Interaction, IEE Colloquium, no. IEE Digest 1991/192, pp. 6/1–6/6 (1991).

H. Thimbleby, “On Formal Methods in HCI”, Proceedings Workshop on Formal Methods in HCI, IEE Colloquium, vol. III, no. IEE Digest 1989/151, pp. 1/–1/ (1989).

H. Thimbleby, “Modes, WYSIWYG and The von Neumann Bottleneck”, Proceedings Workshop on Formal Methods and Human-Computer Interaction, vol. II, no. IEE Digest 1988/82 (1988).

A. J. Dix, M. D. Harrison, C. Runciman and H. Thimbleby, “Interaction Models and The Principled Design of Interactive Systems”, Proceedings European Software Engineering Conference, H. Nichols and D. S. Simpson (editors), pp. 127–135, Springer Verlag (1987). DOI: 10.1007/BFb0022105

H. Thimbleby, “Formal Methods and Human-Computer Interaction”, Proceedings Workshop on Formal Methods and Human-Computer Interaction, IEE Colloquium, no. IEE Digest No. 1987/09 (1987).

M. D. Harrison and H. Thimbleby, “Formalising Guidelines for the Design of Interactive Systems”, Proceedings British Computer Society Conference on Human Computer Interaction, HCI'85, S. Cook and P. Johnson (editors), pp. 161–171, Cambridge University Press, Norwich (1985).

H. Thimbleby, “Generative User-Engineering Principles for User Interface Design”, Proceedings First IFIP Conference on Human-Computer Interaction — Interact 1984, B. Shackel (editor), pp. 661–666, North-Holland, London (1985). PDF

H. Thimbleby, “Generative User-Engineering Principles for User Interface Design”, Proceedings First IFIP Conference on Human-Computer Interaction — Interact 1984, B. Shackel (editor), vol. 2, pp. 102–107, London (1984). PDF

H. Thimbleby, “Generative User Engineering Principles”, 9th. Cranfield Conference on Mechanised Information Transfer (1984).

2. Formal Methods in HCI — Invited publications: not refereed

2.1. Forewords and keynotes

H. Thimbleby, “Unknown knowns — A call to fix healthcare IT where it hurts”, High Integrity Systems Symposium, Keynote, Oslo, Norway (2015).

2.2. Contributions to edited volumes

M. D. Harrison and H. Thimbleby, “The Role of Formal Methods in Human-Computer Interaction”, Formal Methods in Human Computer Interaction, M. D. Harrison and H. Thimbleby (editors), pp. 1–8, Cambridge University Press (1990).


All subject categories

Google profile

AutostereogramsBooksCalculatorsCybersecurityDevice designEthics & cultureFavouritesFormal Methods in HCIGeneral InterestHIT: Health IT & devicesHuman Computer InteractionHuman ErrorLiterate ProgrammingProgrammingResearch, teaching & lecturingReading, digital librariesReviewsVideosComputer virusesWorld Wide WebInternetWriting, editing & publishingEverything.