Jay Thakkar

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 2

Top Topics

Packet Delivery

Control Software

Regulatory Requirements

Signature Verification

Top Venues

IEEE Embed. Syst. Lett.

Inf. Process. Lett.

Publications

Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta
SMT-Based Verification of Safety-Critical Embedded Control Software. IEEE Embed. Syst. Lett. 13 (3) (2021)
Jay Thakkar, Aditya Kanade
Non-deterministic transducer models of retransmission protocols over noisy channels. Inf. Process. Lett. 115 (9) (2015)
Jay Thakkar, Aditya Kanade, Rajeev Alur
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. FMOODS/FORTE (2013)