This material is presented to ensure timely dissemination of scholarly and technical work.

PLEASE NOTE that the contents disclosed on this page are NOT subject to the Creative Commons licensure agreement covering the rest of this site's contents.

Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Peer-reviewed Journal Articles

Houser, A., Ma, L., Feigh, K., and Bolton, M.L. (2017). Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios. Innovations in Systems and Software Engineering, 14(1), pp. 1-14. DOI 10.1007/s11334-017-0305-2.

Bolton, M. L., Zheng, X., Molinaro, K., Houser, A., and Li, M. (2016). Improving the scalability of formal human-automation interaction verification analyses that use task analytic models. Innovation in Systems and Software Engineering, 13(1), pp. 1-17. DOI 10.1007/s11334-016-0272-z.

Peer-reviewed Conference Papers

Houser, A., and Bolton, M.L. (2017). Formal mental models for inclusive privacy and security. In Proceedings of the Thirteenth Symposium on Usable Privacy and Security (SOUPS), Santa Clara CA. 3 pages, preprint version provided here.

Houser, A., Ma, L. M., Feigh, K., and Bolton, M. L. (2015). A formal approach to modeling and analyzing human taskload in simulated air traffic scenarios. In Proceedings of the IEEE International Conference on Complex Systems Engineering, 6 pages. Piscataway: IEEE.

Conference Talks

Houser, A. Formal mental models for inclusive privacy and security. The University at Buffalo's Inter-University Workshop, Buffalo NY. 18 November 2017.

Houser, A. Using simulation and formal methods to examine safety-critical scenarios in aviation. The University of Waterloo's Inter-University Workshop, Waterloo ON, CA. 2 December 2016.

Houser, A., and Molinaro, K. Ghosts in the machine: The role of human factors in cybersecurity. The University of Toronto’s Inter-University Workshop, Toronto ON, CA. 21 November 2015.

Houser, A. Safety not guaranteed: Using formal methods in human factors engineering. The University at Buffalo’s Inter-University Workshop, Buffalo NY. 15 November 2014.

Houser, A., and Tulley, R. J. 'Friending' the writing center: Pratfalls and pitfalls of using social networks as an extension of the writing center. The National Tutoring Association's Annual Conference, Anchorage, AK. 8 April 2011.


Houser, A., and Bolton, M.L. (2016, March). A formal approach to modeling and analyzing human taskload in simulated air traffic scenarios. Poster presented at the 2016 Industrial and Systems Engineering Poster Competition (Winner: Best Poster Award) and the 2016 School of Engineering and Applied Sciences Poster Competition, Buffalo NY.

Invited Talks

Houser, A. Applying formal methods to complex problems in human-systems interaction. A talk on my research given for staff scientists at The Johns Hopkins University Applied Physics Laboratory, Laurel MD. 15 November 2017.

Houser, A. The value of a liberal arts education for careers in science. Keynote address for the University of Findlay's Symposium for Scholarship and Creativity Day, Findlay OH. 7 April 2017.

Houser, A. Practical Kuhn: Philosophy of science for scientists. Guest lecture for PHIL303: Philosophy of Science. The University of Findlay, Findlay OH. 5 April 2017.

Houser, A. [email protected]: A student chapter's perspective. Oregon State University's Human-Centered Design Seminar, Corvallis OR, US. 24 February 2017. Webinar.

Houser, A. A tour of the Lambda Calculus. Guest lecture for IE640: Formal methods for reliable human-interactive systems. The University at Buffalo, Buffalo NY. 28 November 2016.

Journal Articles in Preparation

Houser, A., and Bolton, M.L. Formal methods for human-centered cybersecurity. Under review.

Elliott, D.S., and Vatsan, M., and Houser, A. Efficient computation of weapon-target assignments using Satisfiability Modulo Theory (SMT) solvers. In progress.

Other Noteworthy Publications

Houser, A. Improvising, adapting, and overcoming in the Writing Center. The Writing Lab Newsletter, 34(3), pp. 15-16. November 2009.

Fun Side Projects

Houser, A. Worlds collide: Initial developments in ontologies for DoTA 2. Class project for IE500, Ontological Engineering. Fall 2013.

Ph.D. Dissertation

Houser, A. (2018). Mental models for cybersecurity: A formal methods approach. Unpublished doctoral dissertation.