0000-0002-8501-7447 About
Dr. Ramesh S, Senior Technical Fellow, has been with General Motors R&D for
more than 15 years conducting and leading advanced research projects
in the areas of model-based development of embedded systems and
software, rigorous verification & validation and more recently AI/ML
based systems. Prior to joining GM R&D, he was a full professor in the
department of Computer Science & Engineering at Indian Institute of
Technology Bombay, India where he co-founded a Centre for Formal
Design and Verification of Software. He has published more than 125
research papers in International Journals & Conferences and author
of many patents in the areas of modeling, analysis and verification of
embedded systems and software. He has been on the program
committees of several international research conferences and on the editorial
boards of journals. He is leading an USCAR committee and serving as an expert in ISO and SAE committees for developing guidelines for AI/ML based systems
Employment
-
General Motors R&D Senior Tech Fellow2012 - Present
-
Indian Institute of Technology Bombay Professor1989 - 2004
Education
-
Indian Institute of Technology Bombay PhD1981 - 1986
Projects & Funding
Projects & funding information is unavailable.
Publications (7)
- Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach Save
- DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks for Image Analysis Save
- SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents Save
- Safety Monitoring of Deep Reinforcement Learning Agents Save
- Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems Save
- Black-Box Testing of Deep Neural Networks through Test Case Diversity Save
- A Search-Based Testing Approach for Deep Reinforcement Learning Agents Save