Matthew L. Bolton

According to our database, Matthew L. Bolton authored at least 50 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Matthew L. Bolton, Elliot Biltekoff, Laura R. Humphrey

IEEE Trans. Hum. Mach. Syst., 2023

A Formal Method for Assessing Mental Workload.

Matthew L. Bolton, Skye Solace Taylor, Laura R. Humphrey

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

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

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

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Robustification of Behavioral Designs against Environmental Deviations.

Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

The Level of Measurement of Subjective Situation Awareness and Its Dimensions in the Situation Awareness Rating Technique (SART).

Matthew L. Bolton, Elliot Biltekoff, Laura R. Humphrey

IEEE Trans. Hum. Mach. Syst., 2022

Humanistic Engineering: Engineering for the People.

Matthew L. Bolton

IEEE Technol. Soc. Mag., 2022

Masking Between Reserved Alarm Sounds of the IEC 60601-1-8 International Medical Alarm Standard: A Systematic, Formal Analysis.

Matthew L. Bolton, Judy Reed Edworthy, Andrew D. Boyd

Hum. Factors, 2022

Preliminary Evidence of Sexual Bias in Voice over Internet Protocol Audio Compression.

Matthew L. Bolton

Proceedings of the Human-Computer Interaction. Technological Innovation, 2022

2021

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

Matthew L. Bolton, Xi Zheng, Eunsuk Kang

Reliab. Eng. Syst. Saf., 2021

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

Pengyuan Wan, Matthew L. Bolton

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

2020

The development of a next-generation human reliability analysis: Systems analysis for formal pharmaceutical human reliability (SAFPH).

Xi Zheng, Matthew L. Bolton, Christopher Daly, Elliot Biltekoff

Reliab. Eng. Syst. Saf., 2020

An Experimental Validation of Masking in IEC 60601-1-8: 2006-Compliant Alarm Sounds.

Matthew L. Bolton, Xi Zheng, Meng Li, Judy Reed Edworthy, Andrew D. Boyd

Hum. Factors, 2020

2019

Editorial Special Issue on Computational Human Performance Modeling.

Changxu Wu, Ling Rothrock, Matthew L. Bolton

IEEE Trans. Hum. Mach. Syst., 2019

A formal method for assessing the impact of task-based erroneous human behavior on system safety.

Matthew L. Bolton, Kylie Molinaro, Adam Houser

Reliab. Eng. Syst. Saf., 2019

2018

Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios.

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

Innov. Syst. Softw. Eng., 2018

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

Kylie Molinaro, Matthew L. Bolton

Comput. Secur., 2018

2017

A LAMSTAR Network-Based Human Judgment Analysis.

Jae Yoon, David He, Matthew L. Bolton

IEEE Trans. Hum. Mach. Syst., 2017

A Formal Machine-Learning Approach to Generating Human-Machine Interfaces From Task Models.

Meng Li, Jiajun Wei, Xi Zheng, Matthew L. Bolton

IEEE Trans. Hum. Mach. Syst., 2017

Compression Rates and Spatial Judgment Biases Made from Synthetic Vision Perspective Displays.

Jiajun Wei, Matthew L. Bolton

J. Aerosp. Inf. Syst., 2017

Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models.

Matthew L. Bolton, Xi Zheng, Kylie Molinaro, Adam Houser, Meng Li

Innov. Syst. Softw. Eng., 2017

A task-based taxonomy of erroneous human behavior.

Matthew L. Bolton

Int. J. Hum. Comput. Stud., 2017

Formal Mental Models for Inclusive Privacy and Security.

Adam Houser, Matthew L. Bolton

Proceedings of the Thirteenth Symposium on Usable Privacy and Security, 2017

Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems.

Matthew L. Bolton, Ellen J. Bass

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

Using Model Checking to Detect Simultaneous Masking in Medical Alarms.

Bassam Hasanain, Andrew D. Boyd, Matthew L. Bolton

IEEE Trans. Hum. Mach. Syst., 2016

2015

Model Checking Human-Human Communication Protocols Using Task Models and Miscommunication Generation.

Matthew L. Bolton

J. Aerosp. Inf. Syst., 2015

A Formal Method for Evaluating the Performance Level of Human-Human Collaborative Procedures.

Dan Pan, Matthew L. Bolton

Proceedings of the Cross-Cultural Design Methods, Practice and Impact, 2015

2014

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human-Automation Interaction.

Matthew L. Bolton, Noelia Jimenez, Marinus Maria van Paassen, Maite Trujillo

IEEE Trans. Hum. Mach. Syst., 2014

Checking formal verification models for human-automation interaction.

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

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

An Approach to Generating Human-Computer Interfaces from Task Models.

Matthew L. Bolton, Samaneh Ebrahimi

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Using Formal Verification to Evaluate Human-Automation Interaction: A Review.

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

IEEE Trans. Syst. Man Cybern. Syst., 2013

Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking.

Matthew L. Bolton, Ellen J. Bass

IEEE Trans. Syst. Man Cybern. Syst., 2013

Framework to Support Scenario Development for Human-Centered Alerting System Evaluation.

Matthew L. Bolton, Sinan Göknur, Ellen J. Bass

IEEE Trans. Hum. Mach. Syst., 2013

Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking.

Matthew L. Bolton

Comput. Math. Organ. Theory, 2013

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

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

Proceedings of the IEEE International Conference on Systems, 2013

Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking.

Matthew L. Bolton, Ellen J. Bass

Proceedings of the NASA Formal Methods, 2013

2012

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

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

Int. J. Hum. Comput. Stud., 2012

On Policies and Intents.

Matthew L. Bolton, Celeste M. Wallace, Lenore D. Zuck

Proceedings of the Information Systems Security, 8th International Conference, 2012

2011

A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models.

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

IEEE Trans. Syst. Man Cybern. Part A, 2011

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

Matthew L. Bolton, Ellen J. Bass

Proceedings of the IEEE International Conference on Systems, 2011

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

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

Proceedings of the IEEE International Conference on Systems, 2011

2010

Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs.

Matthew L. Bolton, Ellen J. Bass

Innov. Syst. Softw. Eng., 2010

Using task analytic models to visualize model checker counterexamples.

Matthew L. Bolton, Ellen J. Bass

Proceedings of the IEEE International Conference on Systems, 2010

2009

Enhanced Operator Function Model: A Generic Human Task Behavior Modeling Language.

Matthew L. Bolton, Ellen J. Bass

Proceedings of the IEEE International Conference on Systems, 2009

Building a Formal Model of a Human-interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering.

Matthew L. Bolton, Ellen J. Bass

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

Modeling human perception Could Stevens' Power Law be an emergent feature?

Matthew L. Bolton

Proceedings of the IEEE International Conference on Systems, 2008

2007

Spatial Awareness in Synthetic Vision Systems: Using Spatial and Temporal Judgments to Evaluate Texture and Field of View.

Matthew L. Bolton, Ellen J. Bass, James Raymond Comstock

Hum. Factors, 2007

Spatial awareness: Comparing judgment-based and subjective measures.

Matthew L. Bolton, Ellen J. Bass

Proceedings of the IEEE International Conference on Systems, 2007

2006

Using Videos Derived from Simulations to Support the Analysis of Spatial Awareness in Synthetic Vision Displays.

Matthew L. Bolton, Ellen J. Bass, James Ray Comstock Jr.

Proceedings of the IEEE International Conference on Systems, 2006

2005

Cognitive Systems Engineering Educational Software (CSEES): educational software addressing quantitative models of performance.

Matthew L. Bolton, Ellen J. Bass

Proceedings of the IEEE International Conference on Systems, 2005

2004

Adding a motor control component to the operator function model expert system to investigate air traffic management concepts using simulation.

Sinem Göknur, Matthew L. Bolton, Ellen J. Bass

Proceedings of the IEEE International Conference on Systems, 2004