(This page information was last updated on the date above.)
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.
You can find my CV here, last updated at the same time this page was updated (January 2019).
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.
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.
Houser, A. Formal mental models for inclusive privacy and security. The University at Buffalo’s Inter-University Workshop, Buffalo NY. 18 November 2017. Slides here.
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. Slides here.
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. Slides here.
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 and the 2016 School of Engineering and Applied Sciences Poster Competition, Buffalo NY. Winner, Best Poster Award. Poster here.
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. Slides here.
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. HFES@UB: A student chapter’s perspective. Oregon State University’s Human-Centered Design Seminar, Corvallis OR, US. 24 February 2017. Webinar. Slides here.
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. Slides here.
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. Paper here.