Matthew L. Bolton

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 23

Top Topics

Mining Sequential

Top Venues

IEEE Trans. Hum. Mach. Syst.

Reliab. Eng. Syst. Saf.

Innov. Syst. Softw. Eng.

Publications

Matthew L. Bolton, Svetlana Riabova, Yeonbin Son, Eunsuk Kang
Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach. SMC (2023)
Matthew L. Bolton, Elliot Biltekoff, Laura R. Humphrey
The Mathematical Meaninglessness of the NASA Task Load Index: A Level of Measurement Analysis. IEEE Trans. Hum. Mach. Syst. 53 (3) (2023)
Matthew L. Bolton, Skye Solace Taylor, Laura R. Humphrey
A Formal Method for Assessing Mental Workload. SMC (2023)
Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang
Robustification of Behavioral Designs against Environmental Deviations. ICSE (2023)
Matthew L. Bolton
Humanistic Engineering: Engineering for the People. IEEE Technol. Soc. Mag. 41 (4) (2022)
Matthew L. Bolton, Judy Reed Edworthy, Andrew D. Boyd
Masking Between Reserved Alarm Sounds of the IEC 60601-1-8 International Medical Alarm Standard: A Systematic, Formal Analysis. Hum. Factors 64 (5) (2022)
Matthew L. Bolton, Elliot Biltekoff, Laura Humphrey
The Level of Measurement of Subjective Situation Awareness and Its Dimensions in the Situation Awareness Rating Technique (SART). IEEE Trans. Hum. Mach. Syst. 52 (6) (2022)
Matthew L. Bolton
Preliminary Evidence of Sexual Bias in Voice over Internet Protocol Audio Compression. HCI (2) (2022)
Matthew L. Bolton, Xi Zheng, Eunsuk Kang
A formal method for including the probability of erroneous human task behavior in system analyses. Reliab. Eng. Syst. Saf. 213 (2021)
Pengyuan Wan, Matthew L. Bolton
A Taxonomy of Forcing Functions for Addressing Human Errors in Human-machine Interaction*. SMC (2021)
Matthew L. Bolton, Xi Zheng, Meng Li, Judy Reed Edworthy, Andrew D. Boyd
An Experimental Validation of Masking in IEC 60601-1-8: 2006-Compliant Alarm Sounds. Hum. Factors 62 (6) (2020)
Xi Zheng, Matthew L. Bolton, Christopher Daly, Elliot Biltekoff
The development of a next-generation human reliability analysis: Systems analysis for formal pharmaceutical human reliability (SAFPH). Reliab. Eng. Syst. Saf. 202 (2020)
Changxu Wu, Ling Rothrock, Matthew L. Bolton
Editorial Special Issue on Computational Human Performance Modeling. IEEE Trans. Hum. Mach. Syst. 49 (6) (2019)
Matthew L. Bolton, Kylie Molinaro, Adam Houser
A formal method for assessing the impact of task-based erroneous human behavior on system safety. Reliab. Eng. Syst. Saf. 188 (2019)
Adam Houser, Lanssie Mingyue Ma, Karen M. Feigh, Matthew L. Bolton
Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios. Innov. Syst. Softw. Eng. 14 (1) (2018)
Kylie Molinaro, Matthew L. Bolton
Evaluating the applicability of the double system lens model to the analysis of phishing email judgments. Comput. Secur. 77 (2018)
Jiajun Wei, Matthew L. Bolton
Compression Rates and Spatial Judgment Biases Made from Synthetic Vision Perspective Displays. J. Aerosp. Inf. Syst. 14 (10) (2017)
Meng Li, Jiajun Wei, Xi Zheng, Matthew L. Bolton
A Formal Machine-Learning Approach to Generating Human-Machine Interfaces From Task Models. IEEE Trans. Hum. Mach. Syst. 47 (6) (2017)
Matthew L. Bolton, Xi Zheng, Kylie Molinaro, Adam Houser, Meng Li
Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models. Innov. Syst. Softw. Eng. 13 (1) (2017)
Adam Houser, Matthew L. Bolton
Formal Mental Models for Inclusive Privacy and Security. SOUPS (2017)
Matthew L. Bolton
A task-based taxonomy of erroneous human behavior. Int. J. Hum. Comput. Stud. 108 (2017)
Jae Yoon, David He, Matthew L. Bolton
A LAMSTAR Network-Based Human Judgment Analysis. IEEE Trans. Hum. Mach. Syst. 47 (6) (2017)
Bassam Hasanain, Andrew D. Boyd, Matthew L. Bolton
Using Model Checking to Detect Simultaneous Masking in Medical Alarms. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Dan Pan, Matthew L. Bolton
A Formal Method for Evaluating the Performance Level of Human-Human Collaborative Procedures. HCI (12) (2015)
Matthew L. Bolton
Model Checking Human-Human Communication Protocols Using Task Models and Miscommunication Generation. J. Aerosp. Inf. Syst. 12 (7) (2015)
Matthew L. Bolton, Noelia Jimenez, Marinus Maria van Paassen, Maite Trujillo
Automatically Generating Specification Properties From Task Models for the Formal Verification of Human-Automation Interaction. IEEE Trans. Hum. Mach. Syst. 44 (5) (2014)
Matthew L. Bolton, Samaneh Ebrahimi
An Approach to Generating Human-Computer Interfaces from Task Models. AAAI Spring Symposia (2014)
M. M. van Paassen, Matthew L. Bolton, Noelia Jimenez
Checking formal verification models for human-automation interaction. SMC (2014)
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
Using Formal Verification to Evaluate Human-Automation Interaction: A Review. IEEE Trans. Syst. Man Cybern. Syst. 43 (3) (2013)
Matthew L. Bolton, Ellen J. Bass
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. 43 (6) (2013)
Matthew L. Bolton, Sinan Göknur, Ellen J. Bass
Framework to Support Scenario Development for Human-Centered Alerting System Evaluation. IEEE Trans. Hum. Mach. Syst. 43 (6) (2013)
Matthew L. Bolton, Ellen J. Bass
Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking. NASA Formal Methods (2013)
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
Information, Data Entry, and Reporting Requirements for a Resident Handoff of Care Support Tool. SMC (2013)
Matthew L. Bolton
Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking. Comput. Math. Organ. Theory 19 (3) (2013)
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking. Int. J. Hum. Comput. Stud. 70 (11) (2012)
Matthew L. Bolton, Celeste M. Wallace, Lenore D. Zuck
On Policies and Intents. ICISS (2012)
Matthew L. Bolton, Ellen J. Bass
Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking. SMC (2011)
Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa L. Gunter, William Mansky, John M. Rushby
Toward a multi-method approach to formalizing human-automation interaction and human-human communications. SMC (2011)
Matthew L. Bolton, Radu I. Siminiceanu, Ellen J. Bass
A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models. IEEE Trans. Syst. Man Cybern. Part A 41 (5) (2011)
Matthew L. Bolton, Ellen J. Bass
Using task analytic models to visualize model checker counterexamples. SMC (2010)
Matthew L. Bolton, Ellen J. Bass
Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs. Innov. Syst. Softw. Eng. 6 (3) (2010)
Matthew L. Bolton, Ellen J. Bass
Enhanced Operator Function Model: A Generic Human Task Behavior Modeling Language. SMC (2009)
Matthew L. Bolton, Ellen J. Bass
Building a Formal Model of a Human-interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering. NASA Formal Methods (2009)
Matthew L. Bolton
Modeling human perception Could Stevens' Power Law be an emergent feature? SMC (2008)
Matthew L. Bolton, Ellen J. Bass, James Raymond Comstock
Spatial Awareness in Synthetic Vision Systems: Using Spatial and Temporal Judgments to Evaluate Texture and Field of View. Hum. Factors 49 (6) (2007)
Matthew L. Bolton, Ellen J. Bass
Spatial awareness: Comparing judgment-based and subjective measures. SMC (2007)
Matthew L. Bolton, Ellen J. Bass, James Ray Comstock Jr.
Using Videos Derived from Simulations to Support the Analysis of Spatial Awareness in Synthetic Vision Displays. SMC (2006)
Matthew L. Bolton, Ellen J. Bass
Cognitive Systems Engineering Educational Software (CSEES): educational software addressing quantitative models of performance. SMC (2005)
Sinem Göknur, Matthew L. Bolton, Ellen J. Bass
Adding a motor control component to the operator function model expert system to investigate air traffic management concepts using simulation. SMC (1) (2004)