P. Vignesh V. Ganesan

	2012
4		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 Software Engineering Notes 37(1): 1-14 (2012)
	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 Raravi: 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] [4]
2	Unmesh D. Bordoloi	[2]
3	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[3] [4]
4	Samarjit Chakraborty	[2]
5	Pallab Dasgupta	[3] [4]
6	Andrei Hagiescu	[2]
7	S. Ramesh (Sethu Ramesh)	[1] [2] [3] [4]
8	Gurulingesh Raravi	[1]
9	Sayak Ray	[3] [4]
10	Prahladavaradan Sampath	[2]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page