Amer Tahat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VECoS | AGREE-Dog Copilot: A Neuro-Symbolic Approach to Enhanced Model-Based Systems Engineering. | Amer Tahat, Isaac Amundson, David S. Hardin, Darren D. Cofer |
| 2024 | VECoS | Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase. | Amer Tahat, David S. Hardin, Adam Petz, Perry Alexander |
| 2019 | FMCAD | Scalable Translation Validation of Unverified Legacy OS Code. | Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran |
| 2014 | LOPSTR | A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. | Amer Tahat, Ali Ebnenasir |