Matthew L. Bolton

58 papers A* 1A 1B 14Misc 1Journal 32Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Multitasking Tug-of-War: Exploring the Impact of Task Modality, Task Load Level, and Task Load Type on Dual-Task Interference in Virtual Reality.
Hum. Factors
Mohamad El Iskandarani, Matthew L. Bolton, Sara Lu Riggs
2025 — conf
A Trust-Aware Reinforcement Learning Approach to Enhance Human-Agent Teaming: An Overcooked-AI Study.
ICHMS
Kiana Jafari Meimandi, Matthew L. Bolton, Peter A. Beling
2025 J jnl
Examining dual-task interference effects of visual and auditory perceptual load in virtual reality.
Int. J. Hum. Comput. Stud.
Mohamad El Iskandarani, Matthew L. Bolton, Sara Lu Riggs
2025 J jnl
Formal Mental Models for Human-Centered Cybersecurity.
Int. J. Hum. Comput. Interact.
Adam Houser, Matthew L. Bolton
2025 — conf
Towards a Signal Detection Based Measure for Assessing Information Quality of Explainable Recommender Systems.
CAI
Yeonbin Son, Matthew L. Bolton
2025 J jnl
Towards a Signal Detection Based Measure for Assessing Information Quality of Explainable Recommender Systems.
CoRR
Yeonbin Son, Matthew L. Bolton
2025 J jnl
Validation of a Formal Method for Human Error Rate Prediction With Negative Transfer.
IEEE Trans. Hum. Mach. Syst.
Yeonbin Son, Matthew L. Bolton, Emma Crooks, Hannah Palmer, Eunsuk Kang, Christopher Daly
2024 B conf
Action Over Words: Predicting Human Trust in AI Partners Through Gameplay Behaviors.
RO-MAN
Kiana Jafari Meimandi, Matthew L. Bolton, Peter A. Beling
2023 B conf
A Formal Method for Assessing Mental Workload.
SMC
Matthew L. Bolton, Skye Solace Taylor, Laura R. Humphrey
2023 B conf
Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach.
SMC
Matthew L. Bolton, Svetlana Riabova, Yeonbin Son, Eunsuk Kang
2023 A* conf
Robustification of Behavioral Designs against Environmental Deviations.
ICSE
Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang
2023 J jnl
The Mathematical Meaninglessness of the NASA Task Load Index: A Level of Measurement Analysis.
IEEE Trans. Hum. Mach. Syst.
Matthew L. Bolton, Elliot Biltekoff, Laura R. Humphrey
2022 J jnl
Humanistic Engineering: Engineering for the People.
IEEE Technol. Soc. Mag.
Matthew L. Bolton
2022 J jnl
Masking Between Reserved Alarm Sounds of the IEC 60601-1-8 International Medical Alarm Standard: A Systematic, Formal Analysis.
Hum. Factors
Matthew L. Bolton, Judy Reed Edworthy, Andrew D. Boyd
2022 — conf
Preliminary Evidence of Sexual Bias in Voice over Internet Protocol Audio Compression.
HCI (2)
Matthew L. Bolton
2022 J jnl
The Level of Measurement of Subjective Situation Awareness and Its Dimensions in the Situation Awareness Rating Technique (SART).
IEEE Trans. Hum. Mach. Syst.
Matthew L. Bolton, Elliot Biltekoff, Laura R. Humphrey
2021 B conf
A Taxonomy of Forcing Functions for Addressing Human Errors in Human-machine Interaction*.
SMC
Pengyuan Wan, Matthew L. Bolton
2021 J jnl
A formal method for including the probability of erroneous human task behavior in system analyses.
Reliab. Eng. Syst. Saf.
Matthew L. Bolton, Xi Zheng, Eunsuk Kang
2020 J jnl
An Experimental Validation of Masking in IEC 60601-1-8: 2006-Compliant Alarm Sounds.
Hum. Factors
Matthew L. Bolton, Xi Zheng, Meng Li, Judy Reed Edworthy, Andrew D. Boyd
2020 J jnl
The development of a next-generation human reliability analysis: Systems analysis for formal pharmaceutical human reliability (SAFPH).
Reliab. Eng. Syst. Saf.
Xi Zheng, Matthew L. Bolton, Christopher Daly, Elliot Biltekoff
2019 J jnl
A formal method for assessing the impact of task-based erroneous human behavior on system safety.
Reliab. Eng. Syst. Saf.
Matthew L. Bolton, Kylie Molinaro, Adam Houser
2019 J jnl
Editorial Special Issue on Computational Human Performance Modeling.
IEEE Trans. Hum. Mach. Syst.
Changxu Wu, Ling Rothrock, Matthew L. Bolton
2018 J jnl
Evaluating the applicability of the double system lens model to the analysis of phishing email judgments.
Comput. Secur.
Kylie Molinaro, Matthew L. Bolton
2018 J jnl
Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios.
Innov. Syst. Softw. Eng.
Adam Houser, Lanssie Mingyue Ma, Karen M. Feigh, Matthew L. Bolton
2017 J jnl
A Formal Machine-Learning Approach to Generating Human-Machine Interfaces From Task Models.
IEEE Trans. Hum. Mach. Syst.
Meng Li, Jiajun Wei, Xi Zheng, Matthew L. Bolton
2017 J jnl
A LAMSTAR Network-Based Human Judgment Analysis.
IEEE Trans. Hum. Mach. Syst.
Jae Yoon, David He, Matthew L. Bolton
2017 J jnl
A task-based taxonomy of erroneous human behavior.
Int. J. Hum. Comput. Stud.
Matthew L. Bolton
2017 J jnl
Compression Rates and Spatial Judgment Biases Made from Synthetic Vision Perspective Displays.
J. Aerosp. Inf. Syst.
Jiajun Wei, Matthew L. Bolton
2017 — ch.
Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems.
Handbook of Formal Methods in Human-Computer Interaction
Matthew L. Bolton, Ellen J. Bass
2017 A conf
Formal Mental Models for Inclusive Privacy and Security.
SOUPS
Adam Houser, Matthew L. Bolton
2017 J jnl
Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models.
Innov. Syst. Softw. Eng.
Matthew L. Bolton, Xi Zheng, Kylie Molinaro, Adam Houser, Meng Li
2016 J jnl
Using Model Checking to Detect Simultaneous Masking in Medical Alarms.
IEEE Trans. Hum. Mach. Syst.
Bassam Hasanain, Andrew D. Boyd, Matthew L. Bolton
2015 — conf
A Formal Method for Evaluating the Performance Level of Human-Human Collaborative Procedures.
HCI (12)
Dan Pan, Matthew L. Bolton
2015 J jnl
Model Checking Human-Human Communication Protocols Using Task Models and Miscommunication Generation.
J. Aerosp. Inf. Syst.
Matthew L. Bolton
2014 — conf
An Approach to Generating Human-Computer Interfaces from Task Models.
AAAI Spring Symposia
Matthew L. Bolton, Samaneh Ebrahimi
2014 J jnl
Automatically Generating Specification Properties From Task Models for the Formal Verification of Human-Automation Interaction.
IEEE Trans. Hum. Mach. Syst.
Matthew L. Bolton, Noelia Jimenez, Marinus Maria van Paassen, Maite Trujillo
2014 B conf
Checking formal verification models for human-automation interaction.
SMC
M. M. van Paassen, Matthew L. Bolton, Noelia Jimenez
2013 J jnl
Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking.
Comput. Math. Organ. Theory
Matthew L. Bolton
2013 — conf
Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking.
NASA Formal Methods
Matthew L. Bolton, Ellen J. Bass
2013 J jnl
Framework to Support Scenario Development for Human-Centered Alerting System Evaluation.
IEEE Trans. Hum. Mach. Syst.
Matthew L. Bolton, Sinan Göknur, Ellen J. Bass
2013 J jnl
Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking.
IEEE Trans. Syst. Man Cybern. Syst.
Matthew L. Bolton, Ellen J. Bass
2013 B conf
Information, Data Entry, and Reporting Requirements for a Resident Handoff of Care Support Tool.
SMC
Ellen J. Bass, Kimberly Brantley, Thomas Perez, Matthew L. Bolton, Adam Helms, Luther Bartelt, Rick Hall, George Hoke, Margaret Plews-Ogan, Linda A. Waggoner-Fountain, Stephen M. Borowitz
2013 J jnl
Using Formal Verification to Evaluate Human-Automation Interaction: A Review.
IEEE Trans. Syst. Man Cybern. Syst.
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
2012 J jnl
Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking.
Int. J. Hum. Comput. Stud.
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
2012 Misc conf
On Policies and Intents.
ICISS
Matthew L. Bolton, Celeste M. Wallace, Lenore D. Zuck
2011 J jnl
A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models.
IEEE Trans. Syst. Man Cybern. Part A
Matthew L. Bolton, Radu I. Siminiceanu, Ellen J. Bass
2011 B conf
Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking.
SMC
Matthew L. Bolton, Ellen J. Bass
2011 B conf
Toward a multi-method approach to formalizing human-automation interaction and human-human communications.
SMC
Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa L. Gunter, William Mansky, John M. Rushby
2010 J jnl
Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs.
Innov. Syst. Softw. Eng.
Matthew L. Bolton, Ellen J. Bass
2010 B conf
Using task analytic models to visualize model checker counterexamples.
SMC
Matthew L. Bolton, Ellen J. Bass
2009 — conf
Building a Formal Model of a Human-interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering.
NASA Formal Methods
Matthew L. Bolton, Ellen J. Bass
2009 B conf
Enhanced Operator Function Model: A Generic Human Task Behavior Modeling Language.
SMC
Matthew L. Bolton, Ellen J. Bass
2008 B conf
Modeling human perception Could Stevens' Power Law be an emergent feature?
SMC
Matthew L. Bolton
2007 J jnl
Spatial Awareness in Synthetic Vision Systems: Using Spatial and Temporal Judgments to Evaluate Texture and Field of View.
Hum. Factors
Matthew L. Bolton, Ellen J. Bass, James Raymond Comstock
2007 B conf
Spatial awareness: Comparing judgment-based and subjective measures.
SMC
Matthew L. Bolton, Ellen J. Bass
2006 B conf
Using Videos Derived from Simulations to Support the Analysis of Spatial Awareness in Synthetic Vision Displays.
SMC
Matthew L. Bolton, Ellen J. Bass, James Ray Comstock Jr.
2005 B conf
Cognitive Systems Engineering Educational Software (CSEES): educational software addressing quantitative models of performance.
SMC
Matthew L. Bolton, Ellen J. Bass
2004 — conf
Adding a motor control component to the operator function model expert system to investigate air traffic management concepts using simulation.
SMC (1)
Sinem Göknur, Matthew L. Bolton, Ellen J. Bass