Orion: A Technique to Prune State Space Search Directions for Guidance-Based Formal Verification. - Vineesh V. S.; Binod Kumar 001; Rushikesh Shinde; Akshay Jaiswal; Harsh Bhargava; Virendra Singh (ATS, 2019)

Analyzing Hardware Security Properties of Processors through Model Checking. - Binod Kumar 001; Akshay Kumar Jaiswal; V. S. Vineesh; Rushikesh Shinde (VLSID, 2020)

Enhanced Design Debugging With Assistance From Guidance-Based Model Checking. - V. S. Vineesh; Binod Kumar 001; Rushikesh Shinde; Neelam Sharma; Masahiro Fujita; Virendra Singh (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)