Ramesh S.
Scholar

Ramesh S.

Google Scholar ID: leik1dQAAAAJ
formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D
Rigorous Modeling Analysis and Verification of Embedded and Cyber critical systemsSoftware Engineering
Google Scholar↗
Citations & Impact
All-time
Citations
4,124
 
H-index
34
 
i10-index
105
 
Publications
20
 
Co-authors
7
list available
Contact
No contact links provided.
Publications
3 items
Automating the Detection of Requirement Dependencies Using Large Language Models
2026
Cited
0
Towards Autoformalization of LLM-generated Outputs for Requirement Verification
2025
Cited
0
Is Implicit Knowledge Enough for LLMs? A RAG Approach for Tree-based Structures
2025
Cited
0
Resume (English only)
Co-authors
7 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Samarjit Chakraborty
Samarjit Chakraborty
Kenan Professor of Computer Science, The University of North Carolina at Chapel Hill
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7