Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Ramesh, S.
Indian Institute of Technology
Mumbai, India
 
   Featured Reviewer
   Reviewer Selected
   Highlighted
Follow this Reviewer
 
 
 

S. Ramesh has been with with General Motors Global R&D for the last 10 years, where he currently holds the position of Technical Fellow and Thrust Area Lead for model-based embedded software. At General Motors, he is responsible for providing technical leadership for research and development in several areas related to electronics, control & software processes, methods, and tools. He has been an active industrial member of the Network for the Engineering of Complex Software-Intensive Systems for Automotive Systems (NECSIS), sponsored by the Automotive Partnership Canada. NECSIS is a research program focusing on making model-driven engineering into a mature industrial engineering methodology. As a member of NECSIS, Ramesh is responsible for monitoring and providing direction, and to facilitate interactions among the partners involved in NECSIS and GM Engineering.

Earlier, Ramesh was on the faculty of the Department of Computer Science & Engineering at the Indian Institute of Technology Bombay (IITB), India, for more than 15 years. At IITB, he played a major role in setting up a National Centre for Formal Design and Verification of Embedded Software.

His areas of research are rigorous software engineering, embedded systems, and real-time systems. He has published more than 100 papers in international journals and conferences. He has been on the editorial boards of the International Journal on Real-Time Systems and the Eurasip Journal on Embedded Systems and the IEEE Journal on Embedded System Letters.

 
 
Options:
Date Reviewed  
 
1 review

   
   Runtime verification of embedded real-time systems
Reinbacher T., Függer M., Brauer J. Formal Methods in System Design 44(3): 203-239, 2014.  Type: Article

Runtime verification involves checking whether a given system (in software or hardware) satisfies a given property during the execution of the system. This paper presents a set of runtime verification algorithms, their correctness, and...

Aug 28 2015  
 
 
   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy