A C++ Simulator Generator from Graphical Specifications. - Vivek K. Shanbhag; K. Gopinath (Softw. Pract. Exp., 1997)

EASN: Integrating ASN.1 and Model Checking. - Vivek K. Shanbhag; K. Gopinath; Markku Turunen; Ari Ahtiainen; Matti Luukkainen (CAV, 2001)

A SPIN-Based Model Checker for Telecommunication Protocols. - Vivek K. Shanbhag; K. Gopinath (SPIN, 2001)

Verifying a UMTS Protocol Using Spin and EASN. - Matti Luukkainen; Vivek K. Shanbhag; K. Gopinath (SVV@ICLP, 2003)

Deadlock-Detection in Java-Library Using Static-Analysis. - Vivek K. Shanbhag (APSEC, 2008)

Safe subset-regression test selection for managed code. - Vijaykumar Channakeshava; Vivek K. Shanbhag; Avinash Panigrahi; Rajendra Sisodia; Sala Lakshmanan (ISEC, 2008)

Avoiding deadlocks using stalemate and dimmunix. - Surabhi Pandey; Sushanth Bhat; Vivek K. Shanbhag (ICSE Companion, 2014)