Amer Tahat

According to our database, Amer Tahat authored at least 3 papers between 2014 and 2020.

Collaborative distances:

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

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