Publications

This material is presented to ensure timely dissemination of scholarly and technical work. 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.

Contents on this page are not subject to the Creative Commons licensure agreement covering the rest of this site.

• 2018
  Mental models for cybersecurity: A formal methods approach
  A.M. Houser
  Unpublished doctoral dissertation, University at Buffalo, SUNY
  Summary PDF Slides

• 2024
  Formal mental models for human-centered cybersecurity
  A.M. Houser and M.L. Bolton
  International Journal of Human–Computer Interaction, 41(2), pp. 1414–1430. DOI 10.1080/10447318.2024.2314353
  Publisher
• 2019
  A formal method for assessing the impact of task-based erroneous human behavior on system safety
  M.L. Bolton, K.A. Molinaro, and A.M. Houser
  Reliability Engineering & System Safety, 188, pp. 168–180. DOI 10.1016/j.ress.2019.03.010
  Publisher
• 2017
  Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios
  A.M. Houser, L. Ma, K. Feigh, and M.L. Bolton
  Innovations in Systems and Software Engineering, 14(1), pp. 1–14. DOI 10.1007/s11334-017-0305-2
  Publisher
• 2016
  Improving the scalability of formal human-automation interaction verification analyses that use task analytic models
  M.L. Bolton, X. Zheng, K. Molinaro, A.M. Houser, and M. Li
  Innovation in Systems and Software Engineering, 13(1), pp. 1–17. DOI 10.1007/s11334-016-0272-z
  Publisher

• 2019
  An analysis of air traffic management concepts of operation using simulation and formal verification
  L.M. Ma, A.M. Houser, K.M. Feigh, and M.L. Bolton
  AIAA SciTech 2019 Forum, AIAA 2019-0984, 15 pages. Reston: AIAA.
  Publisher
• 2017
  Formal mental models for inclusive privacy and security
  A.M. Houser and M.L. Bolton
  In Proceedings of the Thirteenth Symposium on Usable Privacy and Security (SOUPS), Santa Clara, CA. 3 pages, preprint version.
  Publisher
• 2015
  A formal approach to modeling and analyzing human taskload in simulated air traffic scenarios
  A.M. Houser, L.M. Ma, K. Feigh, and M.L. Bolton
  In Proceedings of the IEEE International Conference on Complex Systems Engineering, 6 pages. Piscataway: IEEE.
  Publisher

• 2017
  Formal mental models for inclusive privacy and security
  A.M. Houser
  University at Buffalo's Inter-University Workshop, Buffalo, NY. 18 November 2017.
  Slides
• 2016
  Using simulation and formal methods to examine safety-critical scenarios in aviation
  A.M. Houser
  University of Waterloo's Inter-University Workshop, Waterloo, ON, CA. 2 December 2016.
  Slides
• 2015
  Ghosts in the machine: The role of human factors in cybersecurity
  A.M. Houser and K. Molinaro
  University of Toronto's Inter-University Workshop, Toronto, ON, CA. 21 November 2015.
  Slides
• 2014
  Safety not guaranteed: Using formal methods in human factors engineering
  A.M. Houser
  University at Buffalo's Inter-University Workshop, Buffalo, NY. 15 November 2014.
  Slides
• 2011
  'Friending' the writing center: Pratfalls and pitfalls of using social networks as an extension of the writing center
  A.M. Houser and R.J. Tulley
  National Tutoring Association's Annual Conference, Anchorage, AK. 8 April 2011.

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

• 2017
  Applying formal methods to complex problems in human-systems interaction
  A.M. Houser
  Talk for staff scientists at The Johns Hopkins University Applied Physics Laboratory, Laurel, MD. 15 November 2017.
  Slides
• 2017
  The value of a liberal arts education for careers in science
  A.M. Houser
  Keynote address, University of Findlay's Symposium for Scholarship and Creativity Day, Findlay, OH. 7 April 2017.
• 2017
  Practical Kuhn: Philosophy of science for scientists
  A.M. Houser
  Guest lecture for PHIL303: Philosophy of Science. University of Findlay, Findlay, OH. 5 April 2017.
• 2017
  HFES@UB: A student chapter's perspective
  A.M. Houser
  Oregon State University's Human-Centered Design Seminar, Corvallis, OR. 24 February 2017. Webinar.
  Slides
• 2016
  A tour of the Lambda Calculus
  A.M. Houser
  Guest lecture for IE640: Formal methods for reliable human-interactive systems. University at Buffalo, Buffalo, NY. 28 November 2016.
  Slides

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

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

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