| A formal method for assessing the impact of task-based erroneous human behavior on system safety ML Bolton, KA Molinaro, AM Houser Reliability Engineering & System Safety 188, 168-180, 2019 | 15 | 2019 |
| Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models ML Bolton, X Zheng, K Molinaro, A Houser, M Li Innovations in Systems and Software Engineering 13, 1-17, 2017 | 14 | 2017 |
| Formal mental models for inclusive privacy and security AM Houser, ML Bolton Thirteenth Symposium on Usable Privacy and Security (SOUPS 2017), 2017 | 10 | 2017 |
| Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios A Houser, LM Ma, KM Feigh, ML Bolton Innovations in Systems and Software Engineering 14, 1-14, 2018 | 9 | 2018 |
| A formal approach to modeling and analyzing human taskload in simulated air traffic scenarios AM Houser, LM Ma, K Feigh, ML Bolton Complex Systems Engineering (ICCSE), 2015 International Conference on, 1-6, 2015 | 9 | 2015 |
| Mental models for cybersecurity: a formal methods approach AM Houser State University of New York at Buffalo, 2018 | 5 | 2018 |
| An analysis of air traffic management concepts of operation using simulation and formal verification LM Ma, A Houser, KM Feigh, M Bolton AIAA Scitech 2019 Forum, 0984, 2019 | 2 | 2019 |
| Formal Mental Models for Human-Centered Cybersecurity AM Houser, ML Bolton International Journal of Human–Computer Interaction, 1-17, 2024 | | 2024 |
Matthew L. BoltonAssociate Professor of Systems Engineering at the University of VirginiaVerified email at virginia.edu
