Follow
Matthew L. Bolton
Matthew L. Bolton
Associate Professor of Industrial and Systems Engineering at SUNY Buffalo
Verified email at buffalo.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
1992013
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
1312011
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
772012
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 (3), 219-231, 2010
732010
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
462013
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
442014
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
422009
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
372017
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
372011
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
362010
Using model checking to explore checklist-guided pilot behavior
ML Bolton, EJ Bass
The International Journal of Aviation Psychology 22 (4), 343-366, 2012
352012
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
312009
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
302018
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
292007
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
26*2018
Comparing perceptual judgment and subjective measures of spatial awareness
ML Bolton, EJ Bass
Situational Awareness, 211-222, 2017
252017
Model checking human–human communication protocols using task models and miscommunication generation
ML Bolton
Journal of Aerospace Information Systems 12 (7), 476-489, 2015
252015
Using model checking to detect simultaneous masking in medical alarms
B Hasanain, AD Boyd, ML Bolton
IEEE Transactions on Human-Machine Systems 46 (2), 174-185, 2015
252015
Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking
ML Bolton
Computational and Mathematical Organization Theory 19 (3), 288-312, 2013
242013
Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking
ML Bolton, EJ Bass
2011 IEEE International Conference on Systems, Man, and Cybernetics, 1788-1794, 2011
232011
The system can't perform the operation now. Try again later.
Articles 1–20