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.
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., 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.
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.
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
Fun Side Projects
Houser, A. Worlds collide: Initial developments in ontologies for DoTA 2. Class project for IE500, Ontological Engineering. Fall 2013.