Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures. - Claiborne Johnson; Thomas MacGahan; John Heaps; Kevin Baldor; Jeffery von Ronne; Jianwei Niu 001 (SACMAT, 2017)

Toward A Code Pattern Based Vulnerability Measurement Model. - John Heaps; Rocky Slavin; Xiaoyin Wang (SACMAT, 2018)

Toward a reliability measurement framework automated using deep learning. - John Heaps; Xueling Zhang; Xiaoyin Wang; Travis D. Breaux; Jianwei Niu 001 (HotSoS, 2019)

Toward Detection of Access Control Models from Source Code via Word Embedding. - John Heaps; Xiaoyin Wang; Travis D. Breaux; Jianwei Niu 001 (SACMAT, 2019)

Access Control Policy Generation from User Stories Using Machine Learning. - John Heaps; Ram Krishnan; Yufei Huang 001; Jianwei Niu 001; Ravi S. Sandhu (DBSec, 2021)

Ambiguity and Generality in Natural Language Privacy Policies. - Mitra Bokaei Hosseini; John Heaps; Rocky Slavin; Jianwei Niu 001; Travis D. Breaux (RE, 2021)

DAISY: Dynamic-Analysis-Induced Source Discovery for Sensitive Data. - Xueling Zhang; John Heaps; Rocky Slavin; Jianwei Niu 001; Travis D. Breaux; Xiaoyin Wang (ACM Trans. Softw. Eng. Methodol., 2023)

Towards Better Requirements from the Crowd: Developer Engagement with Feature Requests in Open Source Software. - Pragyan K. C; Rambod Ghandiparsi; Thomas Herron; John Heaps; Mitra Bokaei Hosseini (CoRR, 2025)

Demystifying Feature Requests: Leveraging LLMs to Refine Feature Requests in Open-Source Software. - Pragyan K. C; Rambod Ghandiparsi; Thomas Herron; John Heaps; Mitra Bokaei Hosseini (CoRR, 2025)