Personal information

Emails & domains

Verified email domains

Activities

Collapse all

Employment (1)

Johns Hopkins University Applied Physics Laboratory: North Laurel, Maryland, US

2018-07 to present | Research and Development Engineer
Employment
Source: Self-asserted source
Adam M. Houser

Education and qualifications (4)

University at Buffalo - North Campus: Amherst, NY, US

2018 | Ph.D. (Industrial and Systems Engineering)
Education
Source: Self-asserted source
Adam M. Houser

University at Buffalo - North Campus: Amherst, NY, US

2015 | MS (Industrial and Systems Engineering)
Education
Source: Self-asserted source
Adam M. Houser

University of Findlay: Findlay, Ohio, US

2012 | Master of Arts in Education, Secondary Science (Education)
Education
Source: Self-asserted source
Adam M. Houser

University of Findlay: Findlay, Ohio, US

2010 | Applied Philosophy (Philosophy)
Education
Source: Self-asserted source
Adam M. Houser

Works (5)

A formal method for assessing the impact of task-based erroneous human behavior on system safety

Reliability Engineering & System Safety
2019-08 | Journal article
DOI: 10.1016/j.ress.2019.03.010
Part of ISSN: 0951-8320
Contributors: Matthew Bolton; Kylie Molinaro; Adam M. Houser
Source: Self-asserted source
Adam M. Houser

An Analysis of Air Traffic Management Concepts of Operation Using Simulation and Formal Verification

AIAA Scitech 2019 Forum
2019-01-07 | Conference paper
DOI: 10.2514/6.2019-0984
Contributors: Lanssie M. Ma; Adam Houser; Karen M. Feigh; Matthew Bolton
Source: Self-asserted source
Adam M. Houser

Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios

Innovations in Systems and Software Engineering
2018-03 | Journal article
DOI: 10.1007/s11334-017-0305-2
Part of ISSN: 1614-5046
Part of ISSN: 1614-5054
Contributors: Adam Houser; Lanssie Mingyue Ma; Karen M. Feigh; Matthew L. Bolton
Source: Self-asserted source
Adam M. Houser

Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models

Innovations in Systems and Software Engineering
2017-03 | Journal article
DOI: 10.1007/s11334-016-0272-z
Part of ISSN: 1614-5046
Part of ISSN: 1614-5054
Contributors: Matthew L. Bolton; Xi Zheng; Kylie Molinaro; Adam Houser; Meng Li
Source: Self-asserted source
Adam M. Houser

A formal approach to modeling and analyzing human taskload in simulated air traffic scenarios

2015 International Conference on Complex Systems Engineering (ICCSE)
2015-11 | Conference paper
DOI: 10.1109/complexsys.2015.7385975
Contributors: Adam Houser; Lanssie Mingyue Ma; Karen Feigh; Matthew L. Bolton
Source: Self-asserted source
Adam M. Houser
How many people are using ORCID?