Jay Thakkar

According to our database, Jay Thakkar authored at least 3 papers between 2013 and 2021.

Collaborative distances:

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

2021

SMT-Based Verification of Safety-Critical Embedded Control Software.

Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2021

2015

Non-deterministic transducer models of retransmission protocols over noisy channels.

Jay Thakkar, Aditya Kanade

Inf. Process. Lett., 2015

2013

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels.

Jay Thakkar, Aditya Kanade, Rajeev Alur

Proceedings of the Formal Techniques for Distributed Systems, 2013