P. Vignesh V. Ganesan

According to our database, P. Vignesh V. Ganesan authored at least 3 papers between 2007 and 2012.

Collaborative distances:

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

2012

A dynamic assertion-based verification platform for validation of UML designs.

Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan

ACM SIGSOFT Softw. Eng. Notes, 2012

2007

A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems.

S. Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravi

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Performance Analysis of FlexRay-based ECU Networks.

Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, S. Ramesh

Proceedings of the 44th Design Automation Conference, 2007