Raj Kumar Gajavelly

According to our database, Raj Kumar Gajavelly authored at least 4 papers between 2014 and 2023.

Collaborative distances:

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

2023

Harnessing Multiple BMC Engines Together for Efficient Formal Verification.

Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

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

2016

The art of semi-formal bug hunting.

Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2014

Effective Liveness Verification Using a Transformation-Based Framework.

Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman

Proceedings of the 2014 27th International Conference on VLSI Design, 2014