Matthew L. Bolton

According to our database1, Matthew L. Bolton authored at least 41 papers between 2004 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
A formal method for including the probability of erroneous human task behavior in system analyses.
Reliab. Eng. Syst. Saf., 2021

2020
The development of a next-generation human reliability analysis: Systems analysis for formal pharmaceutical human reliability (SAFPH).
Reliab. Eng. Syst. Saf., 2020

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

2019
Editorial Special Issue on Computational Human Performance Modeling.
IEEE Trans. Hum. Mach. Syst., 2019

A formal method for assessing the impact of task-based erroneous human behavior on system safety.
Reliab. Eng. Syst. Saf., 2019

2018
Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios.
Innov. Syst. Softw. Eng., 2018

Evaluating the applicability of the double system lens model to the analysis of phishing email judgments.
Comput. Secur., 2018

2017
A LAMSTAR Network-Based Human Judgment Analysis.
IEEE Trans. Hum. Mach. Syst., 2017

A Formal Machine-Learning Approach to Generating Human-Machine Interfaces From Task Models.
IEEE Trans. Hum. Mach. Syst., 2017

Compression Rates and Spatial Judgment Biases Made from Synthetic Vision Perspective Displays.
J. Aerosp. Inf. Syst., 2017

Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models.
Innov. Syst. Softw. Eng., 2017

A task-based taxonomy of erroneous human behavior.
Int. J. Hum. Comput. Stud., 2017

Formal Mental Models for Inclusive Privacy and Security.
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.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016
Using Model Checking to Detect Simultaneous Masking in Medical Alarms.
IEEE Trans. Hum. Mach. Syst., 2016

2015
Model Checking Human-Human Communication Protocols Using Task Models and Miscommunication Generation.
J. Aerosp. Inf. Syst., 2015

A Formal Method for Evaluating the Performance Level of Human-Human Collaborative Procedures.
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.
IEEE Trans. Hum. Mach. Syst., 2014

Checking formal verification models for human-automation interaction.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

An Approach to Generating Human-Computer Interfaces from Task Models.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Using Formal Verification to Evaluate Human-Automation Interaction: A Review.
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.
IEEE Trans. Syst. Man Cybern. Syst., 2013

Framework to Support Scenario Development for Human-Centered Alerting System Evaluation.
IEEE Trans. Hum. Mach. Syst., 2013

Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking.
Comput. Math. Organ. Theory, 2013

Information, Data Entry, and Reporting Requirements for a Resident Handoff of Care Support Tool.
Proceedings of the IEEE International Conference on Systems, 2013

Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking.
Proceedings of the NASA Formal Methods, 2013

2012
Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking.
Int. J. Hum. Comput. Stud., 2012

On Policies and Intents.
Proceedings of the Information Systems Security, 8th International Conference, 2012

2011
A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models.
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.
Proceedings of the IEEE International Conference on Systems, 2011

Toward a multi-method approach to formalizing human-automation interaction and human-human communications.
Proceedings of the IEEE International Conference on Systems, 2011

2010
Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs.
Innov. Syst. Softw. Eng., 2010

Using task analytic models to visualize model checker counterexamples.
Proceedings of the IEEE International Conference on Systems, 2010

2009
Enhanced Operator Function Model: A Generic Human Task Behavior Modeling Language.
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.
Proceedings of the First NASA Formal Methods Symposium, 2009

2008
Modeling human perception Could Stevens' Power Law be an emergent feature?
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.
Hum. Factors, 2007

Spatial awareness: Comparing judgment-based and subjective measures.
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.
Proceedings of the IEEE International Conference on Systems, 2006

2005
Cognitive Systems Engineering Educational Software (CSEES): educational software addressing quantitative models of performance.
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.
Proceedings of the IEEE International Conference on Systems, 2004


  Loading...