S. Ramesh

63 papers and 360 indexed citations i.

About

S. Ramesh has authored 63 papers that have received a total of 360 indexed citations. This includes 45 papers in Computational Theory and Mathematics, 30 papers in Hardware and Architecture and 25 papers in Software. The topics of these papers are Formal Methods in Verification (43 papers), Embedded Systems Design Techniques (21 papers) and Software Testing and Debugging Techniques (20 papers). S. Ramesh is often cited by papers focused on Formal Methods in Verification (43 papers), Embedded Systems Design Techniques (21 papers) and Software Testing and Debugging Techniques (20 papers) and collaborates with scholars based in India, United States and Australia. S. Ramesh's co-authors include Arcot Sowmya, Manoranjan Satpathy, Vijay D’Silva, Pallab Dasgupta and K. C. Shashidhar and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Software Engineering and Reliability Engineering & System Safety

In The Last Decade

Rankless by CCL
2025