default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthew L. Bolton
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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, 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): 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, Elliot Biltekoff, Laura R. 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): 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, Xi Zheng, Eunsuk Kang:
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, 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) - [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, 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: 168-180 (2019) - [j19]Changxu Wu, Ling Rothrock, Matthew L. Bolton:
Editorial Special Issue on Computational Human Performance Modeling. IEEE Trans. Hum. Mach. Syst. 49(6): 470-473 (2019) - 2018
- [j18]Kylie Molinaro, Matthew L. Bolton:
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, 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): 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, Meng Li:
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, Matthew L. Bolton:
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, Maite Trujillo:
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, Matthew L. Bolton, Noelia Jimenez:
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, Ellen J. Bass, Radu I. Siminiceanu:
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, 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: 675-680 - 2012
- [j4]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): 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, 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: 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, 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): 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, James Ray Comstock Jr.:
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-09-07 02:01 CEST 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:
