Shiladitya Ghosh

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Reconstruction Process

Top Venues

IEEE Trans. Intell. Transp. Syst.

Publications

Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh
Input Elimination Transformations for Scalable Verification and Trace Reconstruction. FMCAD (2019)
Shiladitya Ghosh, Arindam Das, Nirvik Basak, Pallab Dasgupta, Alok Katiyar
Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic. IEEE Trans. Intell. Transp. Syst. 18 (3) (2017)