Performance Analysis of FlexRay-based ECU Networks. - Andrei Hagiescu; Unmesh D. Bordoloi; Samarjit Chakraborty; Prahladavaradan Sampath; P. Vignesh V. Ganesan; S. Ramesh 002 (DAC, 2007)

A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. - S. Ramesh 002; P. Vignesh V. Ganesan; Gurulingesh Raravi (SIES, 2007)

A dynamic assertion-based verification platform for validation of UML designs. - Ansuman Banerjee; Sayak Ray; Pallab Dasgupta; P. P. Chakrabarti 001; S. Ramesh 002; P. Vignesh V. Ganesan (ACM SIGSOFT Softw. Eng. Notes, 2012)