P. Vignesh V. Ganesan

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
A dynamic assertion-based verification platform for validation of UML designs. ACM SIGSOFT Softw. Eng. Notes 37 (1) (2012)
Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. ATVA (2008)
Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, S. Ramesh
Performance Analysis of FlexRay-based ECU Networks. DAC (2007)
S. Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravi
A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. SIES (2007)