Formal Mental Models for Inclusive Privacy and Security. - Adam Houser; Matthew L. Bolton (SOUPS, 2017)

Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models. - Matthew L. Bolton; Xi Zheng; Kylie Molinaro; Adam Houser; Meng Li (Innov. Syst. Softw. Eng., 2017)

Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios. - Adam Houser; Lanssie Mingyue Ma; Karen M. Feigh; Matthew L. Bolton (Innov. Syst. Softw. Eng., 2018)

A formal method for assessing the impact of task-based erroneous human behavior on system safety. - Matthew L. Bolton; Kylie Molinaro; Adam Houser (Reliab. Eng. Syst. Saf., 2019)

Formal Mental Models for Human-Centered Cybersecurity. - Adam Houser; Matthew L. Bolton (Int. J. Hum. Comput. Interact., 2025)