default search action
Matthew L. Bolton
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c23]Kiana Jafari Meimandi, Matthew L. Bolton, Peter A. Beling:
Action Over Words: Predicting Human Trust in AI Partners Through Gameplay Behaviors. RO-MAN 2024: 563-568 - 2023
- [j27]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): 590-599 (2023) - [c22]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: 423-434 - [c21]Matthew L. Bolton, Svetlana Riabova, Yeonbin Son, Eunsuk Kang:
Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach. SMC 2023: 5249-5254 - [c20]Matthew L. Bolton, Skye Solace Taylor, Laura R. Humphrey:
A Formal Method for Assessing Mental Workload. SMC 2023: 5255-5260 - 2022
- [j26]Matthew L. Bolton
Masking Between Reserved Alarm Sounds of the IEC 60601-1-8 International Medical Alarm Standard: A Systematic, Formal Analysis. Hum. Factors 64(5): 835-851 (2022) - [j25]Matthew L. Bolton
Humanistic Engineering: Engineering for the People. IEEE Technol. Soc. Mag. 41(4): 23-38 (2022) - [j24]Matthew L. Bolton
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): 1147-1154 (2022) - [c19]Matthew L. Bolton
Preliminary Evidence of Sexual Bias in Voice over Internet Protocol Audio Compression. HCI (2) 2022: 227-237 - 2021
- [j23]Matthew L. Bolton
A formal method for including the probability of erroneous human task behavior in system analyses. Reliab. Eng. Syst. Saf. 213: 107764 (2021) - [c18]Pengyuan Wan, Matthew L. Bolton:
A Taxonomy of Forcing Functions for Addressing Human Errors in Human-machine Interaction*. SMC 2021: 3134-3139 - 2020
- [j22]Matthew L. Bolton
An Experimental Validation of Masking in IEC 60601-1-8: 2006-Compliant Alarm Sounds. Hum. Factors 62(6) (2020) - [j21]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: 106927 (2020)
2010 – 2019
- 2019
- [j20]Matthew L. Bolton
A formal method for assessing the impact of task-based erroneous human behavior on system safety. Reliab. Eng. Syst. Saf. 188: 168-180 (2019) - [j19]Changxu Wu
Editorial Special Issue on Computational Human Performance Modeling. IEEE Trans. Hum. Mach. Syst. 49(6): 470-473 (2019) - 2018
- [j18]Kylie Molinaro
Evaluating the applicability of the double system lens model to the analysis of phishing email judgments. Comput. Secur. 77: 128-137 (2018) - [j17]Adam Houser
Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios. Innov. Syst. Softw. Eng. 14(1): 1-14 (2018) - 2017
- [j16]Matthew L. Bolton
A task-based taxonomy of erroneous human behavior. Int. J. Hum. Comput. Stud. 108: 105-121 (2017) - [j15]Matthew L. Bolton, Xi Zheng, Kylie Molinaro, Adam Houser
Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models. Innov. Syst. Softw. Eng. 13(1): 1-17 (2017) - [j14]Jiajun Wei, Matthew L. Bolton:
Compression Rates and Spatial Judgment Biases Made from Synthetic Vision Perspective Displays. J. Aerosp. Inf. Syst. 14(10): 523-532 (2017) - [j13]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): 822-833 (2017) - [j12]Jae Yoon, David He, Matthew L. Bolton
A LAMSTAR Network-Based Human Judgment Analysis. IEEE Trans. Hum. Mach. Syst. 47(6): 951-957 (2017) - [c17]Adam Houser, Matthew L. Bolton:
Formal Mental Models for Inclusive Privacy and Security. SOUPS 2017 - [p1]Matthew L. Bolton, Ellen J. Bass:
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 2017: 343-377 - 2016
- [j11]Bassam Hasanain, Andrew D. Boyd
Using Model Checking to Detect Simultaneous Masking in Medical Alarms. IEEE Trans. Hum. Mach. Syst. 46(2): 174-185 (2016) - 2015
- [j10]Matthew L. Bolton:
Model Checking Human-Human Communication Protocols Using Task Models and Miscommunication Generation. J. Aerosp. Inf. Syst. 12(7): 476-489 (2015) - [c16]Dan Pan, Matthew L. Bolton:
A Formal Method for Evaluating the Performance Level of Human-Human Collaborative Procedures. HCI (12) 2015: 186-197 - 2014
- [j9]Matthew L. Bolton, Noelia Jimenez, Marinus Maria van Paassen
Automatically Generating Specification Properties From Task Models for the Formal Verification of Human-Automation Interaction. IEEE Trans. Hum. Mach. Syst. 44(5): 561-575 (2014) - [c15]Matthew L. Bolton, Samaneh Ebrahimi:
An Approach to Generating Human-Computer Interfaces from Task Models. AAAI Spring Symposia 2014 - [c14]M. M. van Paassen
Checking formal verification models for human-automation interaction. SMC 2014: 3709-3714 - 2013
- [j8]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): 288-312 (2013) - [j7]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): 595-607 (2013) - [j6]Matthew L. Bolton
Using Formal Verification to Evaluate Human-Automation Interaction: A Review. IEEE Trans. Syst. Man Cybern. Syst. 43(3): 488-503 (2013) - [j5]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): 1314-1327 (2013) - [c13]Matthew L. Bolton, Ellen J. Bass
Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking. NASA Formal Methods 2013: 48-62 - [c12]Ellen J. Bass
Information, Data Entry, and Reporting Requirements for a Resident Handoff of Care Support Tool. SMC 2013: 675-680 - 2012
- [j4]Matthew L. Bolton, Ellen J. Bass
Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking. Int. J. Hum. Comput. Stud. 70(11): 888-906 (2012) - [c11]Matthew L. Bolton, Celeste M. Wallace, Lenore D. Zuck:
On Policies and Intents. ICISS 2012: 104-118 - 2011
- [j3]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): 961-976 (2011) - [c10]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: 1788-1794 - [c9]Ellen J. Bass
Toward a multi-method approach to formalizing human-automation interaction and human-human communications. SMC 2011: 1817-1824 - 2010
- [j2]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): 219-231 (2010) - [c8]Matthew L. Bolton, Ellen J. Bass
Using task analytic models to visualize model checker counterexamples. SMC 2010: 2069-2074
2000 – 2009
- 2009
- [c7]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: 6-15 - [c6]Matthew L. Bolton, Ellen J. Bass
Enhanced Operator Function Model: A Generic Human Task Behavior Modeling Language. SMC 2009: 2904-2911 - 2008
- [c5]Matthew L. Bolton:
Modeling human perception Could Stevens' Power Law be an emergent feature? SMC 2008: 1073-1078 - 2007
- [j1]Matthew L. Bolton, Ellen J. Bass
Spatial Awareness in Synthetic Vision Systems: Using Spatial and Temporal Judgments to Evaluate Texture and Field of View. Hum. Factors 49(6): 961-974 (2007) - [c4]Matthew L. Bolton, Ellen J. Bass
Spatial awareness: Comparing judgment-based and subjective measures. SMC 2007: 2582-2587 - 2006
- [c3]Matthew L. Bolton, Ellen J. Bass
Using Videos Derived from Simulations to Support the Analysis of Spatial Awareness in Synthetic Vision Displays. SMC 2006: 5203-5208 - 2005
- [c2]Matthew L. Bolton, Ellen J. Bass:
Cognitive Systems Engineering Educational Software (CSEES): educational software addressing quantitative models of performance. SMC 2005: 3380-3386 - 2004
- [c1]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: 886-892
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: