Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking-Reference-Cited by-同舟云学术

Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking

Published:2012-11 Issue:11 Volume:70 Page:888-906
ISSN:1071-5819
Container-title:International Journal of Human-Computer Studies
language:en
Short-container-title:International Journal of Human-Computer Studies

Author:

Bolton Matthew L.,Bass Ellen J.,Siminiceanu Radu I.

Publisher

Elsevier BV

Subject

Hardware and Architecture,Human-Computer Interaction,General Engineering,Education,Human Factors and Ergonomics,Software

Reference99 articles.

1. Abowd, G.D., Wang, H., Monk, A.F., 1995. A formal technique for automated dialogue development. In: Proceedings of the 1st Conference on Designing Interactive Systems. ACM, New York, pp. 219–226.

2. Formal and experimental validation approaches in HCI systems design based on a shared event B model;Aït-Ameur;International Journal on Software Tools for Technology Transfer,2006

3. Aït-Ameur, Y., Baron, M., Girard, P., 2003. Formal validation of HCI user tasks. In: Proceedings of the International Conference on Software Engineering Research and Practice. CSREA Press, Las Vegas, pp. 732–738.

4. BASI, 1998. Advanced Technology Aircraft Safety Survey Report. Technical Report. Department of Transport and Regional Dedvelopment, Bureau of Air Safety Investigation, Civic Square.

5. Basnyat, S., Palanque, P., 2005. A task pattern approach to incorporate user deviation in task models. In: Proceedings of the first ADVISES Young Researchers Workshop. Ris ϕ National Laboratory, Roskilde, pp. 10–19.

Cited by 61 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Mental Models for Human-Centered Cybersecurity;International Journal of Human–Computer Interaction;2024-03-06

2. Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01

3. A Formal Method for Assessing Mental Workload;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01

4. Cognitive Modeling for Cognitive Engineering;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11

5. Computational Modeling in Various Cognitive Fields;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11