 | 2008 |
|---|
| 6 |       | Vivek K. Shanbhag:
Deadlock-Detection in Java-Library Using Static-Analysis.
APSEC 2008: 361-368 |
| 5 | | Vijaykumar Channakeshava,
Vivek K. Shanbhag,
Avinash Panigrahi,
Rajendra Sisodia,
Sala Lakshmanan:
Safe subset-regression test selection for managed code.
ISEC 2008: 137-138 |
| 2005 |
|---|
| 4 | | Matti Luukkainen,
Vivek K. Shanbhag,
K. Gopinath:
Verifying a UMTS Protocol Using Spin and EASN.
Electr. Notes Theor. Comput. Sci. 118: 71-85 (2005) |
| 2001 |
|---|
| 3 | | Vivek K. Shanbhag,
K. Gopinath,
Markku Turunen,
Ari Ahtiainen,
Matti Luukkainen:
EASN: Integrating ASN.1 and Model Checking.
CAV 2001: 382-386 |
| 2 | | Vivek K. Shanbhag,
K. Gopinath:
A SPIN-Based Model Checker for Telecommunication Protocols.
SPIN 2001: 252-271 |
| 1997 |
|---|
| 1 |  | Vivek K. Shanbhag,
K. Gopinath:
A C++ Simulator Generator from Graphical Specifications.
Softw., Pract. Exper. 27(4): 395-423 (1997) |
