Follow
Matthew L. Bolton
Matthew L. Bolton
Associate Professor of Systems Engineering at the University of Virginia
Verified email at virginia.edu - Homepage
Title
Cited by
Cited by
Year
Using formal verification to evaluate human-automation interaction: A review
ML Bolton, EJ Bass, RI Siminiceanu
IEEE Transactions on Systems, Man, and Cybernetics: Systems 43 (3), 488-503, 2013
2192013
A systematic approach to model checking human–automation interaction using task analytic models
ML Bolton, RI Siminiceanu, EJ Bass
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2011
1462011
Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking
ML Bolton, EJ Bass, RI Siminiceanu
International Journal of Human-Computer Studies 70 (11), 888-906, 2012
872012
Formally verifying human–automation interaction as part of a system model: limitations and tradeoffs
ML Bolton, EJ Bass
Innovations in systems and software engineering 6, 219-231, 2010
752010
Generating erroneous human behavior from strategic knowledge in task models and evaluating its impact on system safety with model checking
ML Bolton, EJ Bass
IEEE Transactions on Systems, Man, and Cybernetics: Systems 43 (6), 1314-1327, 2013
532013
Automatically generating specification properties from task models for the formal verification of human–automation interaction
ML Bolton, N Jiménez, MM van Paassen, M Trujillo
IEEE Transactions on Human-Machine Systems 44 (5), 561-575, 2014
462014
A method for the formal verification of human-interactive systems
ML Bolton, EJ Bass
Proceedings of the Human Factors and Ergonomics Society Annual Meeting 53 …, 2009
462009
A formal approach to discovering simultaneous additive masking between auditory medical alarms
B Hasanain, AD Boyd, J Edworthy, ML Bolton
Applied ergonomics 58, 500-514, 2017
442017
Toward a multi-method approach to formalizing human-automation interaction and human-human communications
EJ Bass, ML Bolton, K Feigh, D Griffith, E Gunter, W Mansky, J Rushby
2011 IEEE International Conference on Systems, Man, and Cybernetics, 1817-1824, 2011
442011
Getting better hospital alarm sounds into a global standard
JR Edworthy, RR McNeer, CL Bennett, R Dudaryk, SJP McDougall, ...
Ergonomics in Design 26 (4), 4-13, 2018
38*2018
Using task analytic models to visualize model checker counterexamples
ML Bolton, EJ Bass
2010 IEEE International Conference on Systems, Man and Cybernetics, 2069-2074, 2010
382010
Properties for formally assessing the performance level of human-human collaborative procedures with miscommunications and erroneous human behavior
D Pan, ML Bolton
International Journal of Industrial Ergonomics 63, 75-88, 2018
372018
Evaluating the applicability of the double system lens model to the analysis of phishing email judgments
KA Molinaro, ML Bolton
computers & security 77, 128-137, 2018
362018
Using model checking to explore checklist-guided pilot behavior
ML Bolton, EJ Bass
The International Journal of Aviation Psychology 22 (4), 343-366, 2012
362012
Enhanced operator function model: A generic human task behavior modeling language
ML Bolton, EJ Bass
2009 IEEE International Conference on Systems, Man and Cybernetics, 2904-2911, 2009
332009
Spatial awareness in synthetic vision systems: Using spatial and temporal judgments to evaluate texture and field of view
ML Bolton, EJ Bass, J Raymond Comstock Jr
Human Factors 49 (6), 961-974, 2007
312007
The development of a next-generation human reliability analysis: Systems analysis for formal pharmaceutical human reliability (SAFPH)
X Zheng, ML Bolton, C Daly, E Biltekoff
Reliability Engineering & System Safety 202, 106927, 2020
292020
Model checking human–human communication protocols using task models and miscommunication generation
ML Bolton
Journal of Aerospace Information Systems 12 (7), 476-489, 2015
292015
Comparing perceptual judgment and subjective measures of spatial awareness
ML Bolton, EJ Bass
Situational Awareness, 211-222, 2017
282017
A formal machine–learning approach to generating human–machine interfaces from task models
M Li, J Wei, X Zheng, ML Bolton
IEEE Transactions on Human-Machine Systems 47 (6), 822-833, 2017
272017
The system can't perform the operation now. Try again later.
Articles 1–20