Formal Methods for Human-Computer Interaction

1. R. Butterworth, Ann E. Blandford, and D. Duke. Demonstrating the cognitive plausability of interactive systems. Form. Asp. of Comput., 12:237–259, 2000.

   Google Scholar 

2. Giovanna Broccia, Paolo Milazzo, and Peter Csaba Ölveczky. Formal modeling and analysis of safety-critical human multitasking. Innovations in Systems and Software Engineering, 2019.

   Google Scholar 

3. Paul Curzon and Ann E. Blandford. Formally justifying user-centred design rules: a case study on post-completion errors. In Integrated Formal Methods, LNCS 2999, pages 461–480. Springer, 2004.

   Google Scholar 

4. A. Cerone, S. Connelly, and P. Lindsay. Formal analysis of human operator behavioural patterns in interactive surveillance systems. Softw. Syst. Model., 7(3):273–286, 2008.

   Article  Google Scholar 

5. Antonio Cerone and Norzima Elbegbayan. Model-checking driven design of interactive systems. In Proceedings of FMIS 2006, volume 183 of Electronic Notes in Theoretical Computer Science, pages 3–20. Elevier, 2007.

   Google Scholar 

6. S.K. Card, W.K. English, and B.J. Burr. Evaluation of mouse, rate-controlled isometric joystick, step keys, and text keys for text selection on a CRTl. Ergonomics, 21:601–613, 1978.

   Article  Google Scholar 

7. Antonio Cerone. Closure and attention activation in human automatic behaviour: A framework for the formal analysis of interactive systems. In Proc. of FMIS 2011, volume 45 of Electronic Communications of the EASST, 2011.

   Google Scholar 

8. Antonio Cerone. A cognitive framework based on rewriting logic for the analysis of interactive systems. In Software Engineering and Formal Methods, LNCS 9763, pages 287–303. Springer, 2016.

   Google Scholar 

9. Antonio Cerone. Towards a cognitive architecture for the formal analysis of human behaviour and learning. In STAF collocated workshops, LNCS 11176, pages 216–232. Springer, 2018.

   Google Scholar 

10. Antonio Cerone. Behaviour and reasoning description language (BRDL). In Javier Camara and Martin Steffen, editors, SEFM 2019 Collocated Workshops (CIFMA), LNCS 12226, pages 137–153. Springer, 2020.

    Google Scholar 

11. M.C. Caschera, F. Ferri, and P. Grifoni. Multimodal interaction systems: information and time features. International Journal of Web and Grid Services, 3(1):82–99, 2007.

    Article  Google Scholar 

12. Antonio Cerone, Peter Lindsay, and Simon Connelly. Formal analysis of human-computer interaction using model-checking. In Proc. of SEFM 2005, pages 352–361. IEEE, 2005.

    Google Scholar 

13. Antonio Cerone and Diana Murzagaliyeva. Information retrieval from semantic memory: BRDL-based knowledge representation and Maude-based computer emulation. In SEFM 2020 Collocated Workshops (CIFMA), LNCS 12524, pages 159–175. Springer, 2021.

    Google Scholar 

14. S.K. Card, T.P Moran, and A. Newell. The Psychology of Human-Computer Interaction. Laurence Erlbaum, 1983.

    Google Scholar 

15. Antonio Cerone and Peter Csaba Ölveczky. Modelling human reasoning in practical behavioural contexts using Real-Time Maude. In FM’19 Collocated Workshops (FMIS), LNCS 12232, pages 424–442. Springer, 2020.

    Google Scholar 

16. Antonio Cerone and Graham Pluck. A formal model for emulating the generation of human knowledge in semantic memory. In From Data to Models and Back (DataMod 2020), LNCS 12611, pages 104–122. Springer, 2021.

    Google Scholar 

17. Raquel Araujo De Oliveira. Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision. PhD thesis, University of Grenoble, 2015.

    Google Scholar 

18. Alan Dix, John Finlay, Gregory Abowd, and Russel Beale. Human-Computer Interaction. Pearson Education, 3rd edition, 2004.

    Google Scholar 

19. Alan John Dix. Formal Methods for Interactive Systems. Academic Press, 1991.

    Google Scholar 

20. G.C van der Veer G. de Haan and J.C. van Vliet. Formal modelling techniques in human-computer interaction. Acta Psychologica, 78:27–67, 1991.

    Google Scholar 

21. Rüdiger Heimgärtner. Cultural differences in human computer interaction: Results from two online surveys. In Open Innovation. Proc. of the 10th Symposium for Information Science, pages 145–157, 2007.

    Google Scholar 

22. Ioanna Iacovides, Ann Blandford, Ann Cox, and Jonathan Back. How external and internal resources influence user action: the case of infusion device. Cognition, Technology and Work, 18(4):793–805, 1991.

    Article  Google Scholar 

23. C. Johnson. Reasoning about human error and system failure for accident analysis. In Proc. of INTERACT 1997, pages 331–338. Chapman and Hall, 1997.

    Google Scholar 

24. B. Kirwan. Human reliability assessment. In Evaluation of Human Work, chapter 28. Taylor and Francis, 1990.

    Google Scholar 

25. Iuliia Kotseruba and John K. Tsotsos. 40 years of cognitive architectures: core cognitive abilities and practical applications. Artificial Intelligence Review, 2018.

    Google Scholar 

26. Peter Lindsay and Simon Connelly. Modelling erroneous operator behaviours for an air-traffic control task. In Third Australasian User Interfaces Conference (AUIC2002), pages 43–54. Australian Computer Society, 2002.

    Google Scholar 

27. N. G. Leveson. Safeware: System Safety and Computers. Addison-Wesley, 1995.

    Google Scholar 

28. J.E. Lairs, C. Lebiere, and P.S. Rosembloom. A standard model for the mind: towards a common computational framework across artificial intelligence, cognitive science, neuroscience, and robotics. AI Magazine, 38:13–26, 2017.

    Article  Google Scholar 

29. C. Mach. Knowledge and Error. Reidel, 1905. English translation, 1976.

    Google Scholar 

30. G. A. Miller. The magical number seven, plus or minus two: Some limits on our capacity to process information. Psychological Review, 63(2):81–97, 1956.

    Article  Google Scholar 

31. C. Martinie, P. Palanque, R. Fahssi, J. P. Blanquart, C. Fayollas, and C. Seguin. Task model-based systematic analysis of both system failures and human errors. IEEE Trans. Human-Mach. Syst., 46(2):243–254, 2016.

    Article  Google Scholar 

32. Paolo Masci, Rimvydas Rukšėnas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon, and Harold Thimbleby. The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innovations Syst. Softw. Eng., 11(2):73–93, 2015.

    Article  Google Scholar 

33. A. Newel and H.A. Simon. Human Problem Solving. Prentice-Hall, 1972.

    Google Scholar 

34. Donald A. Norman and Tim Shallice. Attention to action: Willed and automatic control of behavior. In Consciousness and Self-Regulation, volume 4 of Advances in Research and Theory. Plenum Press, 1986.

    Google Scholar 

35. Peter Csaba Ölveczky. Designing Reliable Distributed Systems — A Formal Methods Approach Based on Executable Modeling in Maude. Springer, 2017.

    Google Scholar 

36. Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, and Andrew Howes, editors. Computational Interaction. Oxford University Press, 2018.

    Google Scholar 

37. PAT: Process Analysis Toolkit. User manual (online version). http://pat.comp.nus.edu.sg/wp-source/resources/OnlineHelp/htm/index.htm, 1 Dec 2019.

38. P. Palanque, R. Bastide, and F. Paterno. Formal specification as a tool for objective assessment of safety-critical interactive systems. In Proc. of INTERACT 1997, pages 323–330. Chapman and Hall, 1997.

    Google Scholar 

39. Jennifer Preece, Yvonne Rogers, and Helen Sharp. Interaction Design — beyond human-computer interaction. Wiley, 5th edition, 2017.

    Google Scholar 

40. Rimvydas Rukšėnas, Paul Curzon, and Ann E. Blandford. Modelling rational user behaviour as games between an angel and a demon. In Sixth IEEE International Conference on Software Engineering and Formal Methods, pages 355–364. IEEE Computer Society, 2008.

    Google Scholar 

41. R. Rukšėnas, P. Curzon, A. E. Blandford, and J Back. Combining human error verification and timing analysis: A case study on an infusion pump. Form. Asp. of Comput., 26:1033–1076, 2014.

    Article  MathSciNet  Google Scholar 

42. James Reason. Human Error. Cambridge University Press, 1990.

    Google Scholar 

43. Alexei V. Samsonovic. Toward a unified catalog of implemented cognitive architectures. In Proceedings of the 1st Annual Meeting on Biologically Inspired Cognitive Architectures (BICA 2010), pages 195–244. IOS Press, 2010.

    Google Scholar 

44. Li. Su, Howard Bowman, Philip Barnard, and Brad Wyble. Process algebraic model of attentional capture and human electrophysiology in interactive systems. Form. Asp. of Comput., 21(6):513–539, 2009.

    Google Scholar 

45. Harold Thimbleby. Press On. MIT Press, 2007.

    Google Scholar 

46. Benjamin Weyers, Judy Bowen, Alan Dix, and Philippe Palanque, editors. The Handbook of Formal Methods in Human-Computer Interaction. Springer, 2017.

    Google Scholar 

Download references