Vivek Shanbhag
Associate Professor
School of Liberal Arts and Sciences
Trans-disciplinary University
India
Biography
Dr. Shanbhag is now Professor in the School of Liberal Arts and Sciences of Trans-disciplinary University.
Research Interest
Cyber Physical Systems.
Publications
-
A SPIN-Based Model Checker for Telecommunication Protocols, SPIN Workshop, 2001.
-
Deadlock Detection in Java-libraries using Static Analysis, APSEC, 2008.
-
Avoiding Deadlocks using Stalemate and Dimmunix, ICSE, 2014.
