Using formal verification to evaluate human-automation interaction: A review

ML Bolton, EJ Bass… - IEEE Transactions on …, 2013 - ieeexplore.ieee.org
Failures in complex systems controlled by human operators can be difficult to anticipate
because of unexpected interactions between the elements that compose the system …

Sociotechnical systems analysis in health care: a research agenda

P Carayon, EJ Bass, T Bellandi, AP Gurses… - IIE transactions on …, 2011 - Taylor & Francis
Given the complexity of healthcare and the 'people'nature of healthcare work and delivery,
STSA (Sociotechnical Systems Analysis) research is needed to address the numerous …

The impact of training on human–autonomy team communications and trust calibration

CJ Johnson, M Demir, NJ McNeese… - Human …, 2023 - journals.sagepub.com
Objective This work examines two human–autonomy team (HAT) training approaches that
target communication and trust calibration to improve team effectiveness under degraded …

Requirements for effective function allocation: A critical review

KM Feigh, AR Pritchett - Journal of cognitive engineering …, 2014 - journals.sagepub.com
In this paper, we identify the requirements for effective function allocation within teams of
human and automated agents. These functions include all the activities in the team's …

A systematic approach to model checking human–automation interaction using task analytic models

ML Bolton, RI Siminiceanu… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
Formal methods are typically used in the analysis of complex system components that can
be described as “automated”(digital circuits, devices, protocols, and software). Human …

Risk assessment of malicious attacks against power systems

E Bompard, C Gao, R Napoli, A Russo… - … on Systems, Man …, 2009 - ieeexplore.ieee.org
The new scenarios of malicious attack prompt for their deeper consideration and mainly
when critical systems are at stake. In this framework, infrastructural systems, including power …

Evaluating the applicability of the double system lens model to the analysis of phishing email judgments

KA Molinaro, ML Bolton - computers & security, 2018 - Elsevier
Phishing emails pose a serious threat to cybersecurity. Because human users are the last
line of defense, understanding how users identify phishing emails is imperative to …

Automation transparency and personalized decision support: Air traffic controller interaction with a resolution advisory system

C Westin, C Borst, B Hilburn - IFAC-PapersOnLine, 2016 - Elsevier
In order to satisfy future air travel demands, there is a need for a more automated and
modernized air traffic control. Automation is expected to advance from its current principal …

The effect of information analysis automation display content on human judgment performance in noisy environments

EJ Bass, LA Baumgart… - Journal of cognitive …, 2013 - journals.sagepub.com
Displaying both the strategy that information analysis automation employs to makes its
judgments and variability in the task environment may improve human judgment …

Interaction of automation visibility and information quality in flight deck information automation

MC Dorneich, R Dudley, E Letsu-Dake… - … on Human-Machine …, 2017 - ieeexplore.ieee.org
An empirical study evaluated key human factors issues related to automation visibility and
information quality, based on a refined definition of information automation. Next-generation …