Action Over Words: Predicting Human Trust in AI Partners Through Gameplay Behaviors

Authors: Meimandi, Kiana Jafari, Bolton, Matthew L., Beling, Peter A.

Source: 2024 33rd IEEE International Conference on Robot and Human Interactive Communication (ROMAN) Robot and Human Interactive Communication (ROMAN), 2024 33rd IEEE International Conference on. :563-568 Aug, 2024

Relation: 2024 33rd IEEE International Conference on Robot and Human Interactive Communication (ROMAN)

Provably Clean: A Formal Analysis of Hand Hygiene During Anesthesiology Induction

Authors: Holloman, Isabella, Campbell, Austin, Pavuluru, Neha, Darquea, Sergio, Lawrence, Gabriel A, Bolton, Matthew L., Rose, Olivia Claire, Miller, Michael A.

Source: 2024 Systems and Information Engineering Design Symposium (SIEDS) Systems and Information Engineering Design Symposium (SIEDS), 2024. :200-205 May, 2024

Relation: 2024 Systems and Information Engineering Design Symposium (SIEDS)

A Formal Method for Assessing Mental Workload

Authors: Bolton, Matthew L., Taylor, Skye Solace, Humphrey, Laura

Source: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2023 IEEE International Conference on. :5255-5260 Oct, 2023

Relation: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach

Authors: Bolton, Matthew L., Riabova, Svetlana, Son, Yeonbin, Kang, Eunsuk

Source: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2023 IEEE International Conference on. :5249-5254 Oct, 2023

Relation: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

Fuzzy Mental Model Finite State Machines: A Mental Modeling Formalism for Assessing Mode Confusion and Human-machine “Trust”

Authors: Bolton, Matthew L., Biltekoff, Elliot, Byrne, Kevin

Source: 2022 IEEE 3rd International Conference on Human-Machine Systems (ICHMS) Human-Machine Systems (ICHMS), 2022 IEEE 3rd International Conference on. :1-4 Nov, 2022

Relation: 2022 IEEE 3rd International Conference on Human-Machine Systems (ICHMS)

A Taxonomy of Forcing Functions for Addressing Human Errors in Human-machine Interaction

Authors: Wan, Pengyuan, Bolton, Matthew L.

Source: 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2021 IEEE International Conference on. :3134-3139 Oct, 2021

Relation: 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

Formal Mental Models for Human-Centered Cybersecurity.

Authors: Houser, Adam M.¹ (AUTHOR), Bolton, Matthew L.² (AUTHOR) mlb4b@virginia.edu

Source: International Journal of Human-Computer Interaction. Jan2025, Vol. 41 Issue 2, p1414-1430. 17p.

Subject Terms: *ERGONOMICS, *CLOUD computing, *CYBERTERRORISM, *DIGITAL technology, *HUMAN error

Fluorogenic RNA-based biomaterials for imaging and tracking the cargo of extracellular vesicles

Authors: Bonacquisti, Emily E. ^a, Ferguson, Scott W. ^b, Wadsworth, Gable M. ^c, Jasiewicz, Natalie E. ^a, Wang, Jinli ^d, Chaudhari, Ameya P. ^a, Kussatz, Caden C. ^a, Nogueira, Ana T. ^f, Keeley, Daniel P. ^g, Itano, Michelle S. ^{g, h}, Bolton, Matthew L. ^e, Hahn, Klaus M. ^f, Banerjee, Priya R. ^c, Nguyen, Juliane ^{a, ⁎}

Source: In Journal of Controlled Release October 2024 374:349-368

Preliminary Evidence of Sexual Bias in Voice over Internet Protocol Audio Compression
Human-computer interaction (24th international conference)

Authors: Bolton, Matthew L.

Source: Lecture notes in computer science. 13303:227-237

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN607618161&indx=1&recIds=ETOCCN607618161

The Mathematical Meaninglessness of the NASA Task Load Index: A Level of Measurement Analysis

Authors: Bolton, Matthew L., Biltekoff, Elliot, Humphrey, Laura

Source: IEEE transactions on human-machine systems. 53(3):590-599

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100184867041.0x000001&indx=1&recIds=ETOCvdc_100184867041.0x000001

A formal approach to modeling and analyzing human taskload in simulated air traffic scenarios

Authors: Houser, Adam, Ma, Lanssie Mingyue, Feigh, Karen, Bolton, Matthew L.

Source: 2015 International Conference on Complex Systems Engineering (ICCSE) Complex Systems Engineering (ICCSE), 2015 International Conference on. :1-6 Nov, 2015

Relation: 2015 International Conference on Complex Systems Engineering (ICCSE)

Checking formal verification models for human-automation interaction

Authors: van Paassen, M. M., Bolton, Matthew L., Jimenez, Noelia

Source: 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man and Cybernetics (SMC), 2014 IEEE International Conference on. :3709-3714 Oct, 2014

Relation: 2014 IEEE International Conference on Systems, Man and Cybernetics - SMC

Humanistic Engineering: Engineering for the People

Authors: Bolton, Matthew L.

Source: IEEE technology & society magazine. 41(4):23-38

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100168855235.0x000001&indx=1&recIds=ETOCvdc_100168855235.0x000001

Information, Data Entry, and Reporting Requirements for a Resident Handoff of Care Support Tool

Authors: Bass, Ellen J., Brantley, Kimberly, Perez, Thomas, Bolton, Matthew L., Helms, Adam, Bartelt, Luther, Hall, Rick, Hoke, George, Plews-Ogan, Margaret, Waggoner-Fountain, Linda, Borowitz, Stephen

Source: 2013 IEEE International Conference on Systems, Man, and Cybernetics Systems, Man, and Cybernetics (SMC), 2013 IEEE International Conference on. :675-680 Oct, 2013

Relation: 2013 IEEE International Conference on Systems, Man and Cybernetics - SMC

Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking

Authors: Bolton, Matthew L., Bass, Ellen J.

Source: 2011 IEEE International Conference on Systems, Man, and Cybernetics Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on. :1788-1794 Oct, 2011

Relation: 2011 IEEE International Conference on Systems, Man and Cybernetics - SMC

Toward a multi-method approach to formalizing human-automation interaction and human-human communications

Authors: Bass, Ellen J., Bolton, Matthew L., Feigh, Karen, Griffith, Dennis, Gunter, Elsa, Mansky, William, Rushby, John

Source: 2011 IEEE International Conference on Systems, Man, and Cybernetics Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on. :1817-1824 Oct, 2011

Relation: 2011 IEEE International Conference on Systems, Man and Cybernetics - SMC

Using task analytic models to visualize model checker counterexamples

Authors: Bolton, Matthew L., Bass, Ellen J.

Source: 2010 IEEE International Conference on Systems, Man and Cybernetics Systems Man and Cybernetics (SMC), 2010 IEEE International Conference on. :2069-2074 Oct, 2010

Relation: 2010 IEEE International Conference on Systems, Man and Cybernetics - SMC

A formal method for including the probability of erroneous human task behavior in system analyses

Authors: Bolton, Matthew L., Zheng, Xi, Kang, Eunsuk

Source: In Reliability Engineering and System Safety September 2021 213

Trust is Not a Virtue: Why We Should Not Trust Trust.

Authors: Bolton, Matthew L.

Source: Ergonomics in Design; Oct2024, Vol. 32 Issue 4, p4-11, 8p

Extended SAFPH℞ (Systems Analysis for Formal Pharmaceutical Human Reliability): Two approaches based on extended CREAM and a comparative analysis

Authors: Zheng, Xi, Bolton, Matthew L., Daly, Christopher

Source: In Safety Science December 2020 132