Vivek K. Shanbhag

Publication Activity (10 Years)

Years Active: 1997-2014
Publications (10 Years): 0

Top Topics

Deadlock Detection

Top Venues

Publications

Surabhi Pandey, Sushanth Bhat, Vivek K. Shanbhag
Avoiding deadlocks using stalemate and dimmunix. ICSE Companion (2014)
Vijaykumar Channakeshava, Vivek K. Shanbhag, Avinash Panigrahi, Rajendra Sisodia, Sala Lakshmanan
Safe subset-regression test selection for managed code. ISEC (2008)
Vivek K. Shanbhag
Deadlock-Detection in Java-Library Using Static-Analysis. APSEC (2008)
Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath
Verifying a UMTS Protocol Using Spin and EASN. Electron. Notes Theor. Comput. Sci. 118 (2005)
Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen
EASN: Integrating ASN.1 and Model Checking. CAV (2001)
Vivek K. Shanbhag, K. Gopinath
A SPIN-Based Model Checker for Telecommunication Protocols. SPIN (2001)
Vivek K. Shanbhag, K. Gopinath
A C++ Simulator Generator from Graphical Specifications. Softw. Pract. Exp. 27 (4) (1997)