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 systems
Software Engineering
Follow
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 2
Co-author 3
Samarjit Chakraborty
Kenan Professor of Computer Science, The University of North Carolina at Chapel Hill
Co-author 5
Co-author 6
Co-author 7
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up