P. Vignesh V. Ganesan

	2008
3		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: 222-227
	2007
2		Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, Sethu Ramesh: Performance Analysis of FlexRay-based ECU Networks. DAC 2007: 284-289
1		Sethu Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravit: A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. SIES 2007: 63-70

Coauthor Index

1	Ansuman Banerjee	[3]
2	Unmesh D. Bordoloi	[2]
3	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[3]
4	Samarjit Chakraborty	[2]
5	Pallab Dasgupta	[3]
6	Andrei Hagiescu	[2]
7	S. Ramesh (Sethu Ramesh)	[1] [2] [3]
8	Gurulingesh Raravit	[1]
9	Sayak Ray	[3]
10	Prahladavaradan Sampath	[2]