Kylie Molinaro

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Computational Models

Experimental Data

Formal Analysis

Top Venues

Innov. Syst. Softw. Eng.

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)
Kylie Molinaro, Matthew L. Bolton
Evaluating the applicability of the double system lens model to the analysis of phishing email judgments. Comput. Secur. 77 (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)