| 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 | 219 | 2013 |
| 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 | 146 | 2011 |
| 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 | 87 | 2012 |
| 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 | 75 | 2010 |
| 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 | 53 | 2013 |
| 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 | 46 | 2014 |
| 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 | 46 | 2009 |
| 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 | 44 | 2017 |
| 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 | 44 | 2011 |
| 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 | 38 | 2010 |
| 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 | 37 | 2018 |
| 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 | 36 | 2018 |
| Using model checking to explore checklist-guided pilot behavior ML Bolton, EJ Bass The International Journal of Aviation Psychology 22 (4), 343-366, 2012 | 36 | 2012 |
| 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 | 33 | 2009 |
| 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 | 31 | 2007 |
| 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 | 29 | 2020 |
| Model checking human–human communication protocols using task models and miscommunication generation ML Bolton Journal of Aerospace Information Systems 12 (7), 476-489, 2015 | 29 | 2015 |
| Comparing perceptual judgment and subjective measures of spatial awareness ML Bolton, EJ Bass Situational Awareness, 211-222, 2017 | 28 | 2017 |
| 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 | 27 | 2017 |
