A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. - Amer Tahat; Ali Ebnenasir (LOPSTR, 2014)

Scalable Translation Validation of Unverified Legacy OS Code. - Amer Tahat; Sarang Joshi; Pronnoy Goswami; Binoy Ravindran (FMCAD, 2019)

A Validation Methodology for OCaml-to-PVS Translation. - Xiaoxin An; Amer Tahat; Binoy Ravindran (NFM, 2020)

Towards Explainable Compositional Reasoning. - Isaac Amundson; Amer Tahat; David S. Hardin; Darren D. Cofer (ERSA@RTSS, 2024)

Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase. - Amer Tahat; David S. Hardin; Adam Petz; Perry Alexander (AISoLA, 2024)