We stand with Ukraine  

Adam Houser

Orcid: 0000-0003-3162-4417

According to our database1, Adam Houser authored at least 4 papers between 2017 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
A formal method for assessing the impact of task-based erroneous human behavior on system safety.
[BibTeX]
[DOI]
Matthew L. Bolton
,
Kylie Molinaro
,
Adam Houser
Reliab. Eng. Syst. Saf., 2019

2018
Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios.
[BibTeX]
[DOI]
Adam Houser
,
Lanssie Mingyue Ma
,
Karen M. Feigh
,
Matthew L. Bolton
Innov. Syst. Softw. Eng., 2018

2017
Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models.
[BibTeX]
[DOI]
Matthew L. Bolton
,
Xi Zheng
,
Kylie Molinaro
,
Adam Houser
,
Meng Li
Innov. Syst. Softw. Eng., 2017

Formal Mental Models for Inclusive Privacy and Security.
[BibTeX]
[DOI]
Adam Houser
,
Matthew L. Bolton
Proceedings of the Thirteenth Symposium on Usable Privacy and Security, 2017


  Loading...