Amer Tahat

According to our database, Amer Tahat authored at least 5 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Bridging the Gap Between AI and Reality, 2024

Towards Explainable Compositional Reasoning.

Isaac Amundson, Amer Tahat, David S. Hardin, Darren D. Cofer

Proceedings of the 3rd International Workshop on Explainability of Real-time Systems and their Analysis at the IEEE Real-Time Systems Symposium, 2024

2020

A Validation Methodology for OCaml-to-PVS Translation.

Xiaoxin An, Amer Tahat, Binoy Ravindran

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Scalable Translation Validation of Unverified Legacy OS Code.

Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2014

A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols.

Amer Tahat, Ali Ebnenasir

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014