Vivek K. Shanbhag

According to our database, Vivek K. Shanbhag authored at least 7 papers between 1997 and 2014.

Collaborative distances:

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

2014

Avoiding deadlocks using stalemate and dimmunix.

Surabhi Pandey, Sushanth Bhat, Vivek K. Shanbhag

Proceedings of the 36th International Conference on Software Engineering, 2014

2008

Safe subset-regression test selection for managed code.

Vijaykumar Channakeshava, Vivek K. Shanbhag, Avinash Panigrahi, Rajendra Sisodia, Sala Lakshmanan

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

Deadlock-Detection in Java-Library Using Static-Analysis.

Vivek K. Shanbhag

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2003

Verifying a UMTS Protocol Using Spin and EASN.

Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath

Proceedings of the International Workshop on Software Verification and Validation, 2003

2001

A SPIN-Based Model Checker for Telecommunication Protocols.

Vivek K. Shanbhag, K. Gopinath

Proceedings of the Model Checking Software, 2001

EASN: Integrating ASN.1 and Model Checking.

Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1997

A C++ Simulator Generator from Graphical Specifications.

Vivek K. Shanbhag, K. Gopinath

Softw. Pract. Exp., 1997