Amer Tahat

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 2

Top Topics

Highly Scalable

Query Translation

Protocol Specification

Top Venues

Publications

Xiaoxin An, Amer Tahat, Binoy Ravindran
A Validation Methodology for OCaml-to-PVS Translation. NFM (2020)
Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran
Scalable Translation Validation of Unverified Legacy OS Code. FMCAD (2019)
Amer Tahat, Ali Ebnenasir
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. LOPSTR (2014)