Login / Signup
Adam Houser
ORCID
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 4
Top Topics
Provably Correct
Biometric Template
Security Risks
Confidential Information
Top Venues
Innov. Syst. Softw. Eng.
SOUPS
Reliab. Eng. Syst. Saf.
</>
Publications
</>
Matthew L. Bolton
,
Kylie Molinaro
,
Adam Houser
A formal method for assessing the impact of task-based erroneous human behavior on system safety.
Reliab. Eng. Syst. Saf.
188 (2019)
Adam Houser
,
Lanssie Mingyue Ma
,
Karen M. Feigh
,
Matthew L. Bolton
Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios.
Innov. Syst. Softw. Eng.
14 (1) (2018)
Matthew L. Bolton
,
Xi Zheng
,
Kylie Molinaro
,
Adam Houser
,
Meng Li
Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models.
Innov. Syst. Softw. Eng.
13 (1) (2017)
Adam Houser
,
Matthew L. Bolton
Formal Mental Models for Inclusive Privacy and Security.
SOUPS
(2017)