Shiladitya Ghosh

According to our database, Shiladitya Ghosh authored at least 2 papers between 2017 and 2019.

Collaborative distances:

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

2019

Input Elimination Transformations for Scalable Verification and Trace Reconstruction.

Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh

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

2017

Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic.

Shiladitya Ghosh, Arindam Das, Nirvik Basak, Pallab Dasgupta, Alok Katiyar

IEEE Trans. Intell. Transp. Syst., 2017