Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Home Topics Titles Quotes Blog Featured Help
S. Ramesh
Indian Institute of Technology
Mumbai, India

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.


 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 complexity,...


Beginning Google Glass development
Tang J.,  Apress, Berkeley, CA, 2014. 368 pp. Type: Book (978-1-430267-88-1)

Google Glass embraces at least three technology areas (ubiquitous computing, Internet of Things, and wearable technologies), all of which find a place in any survey on recent technology trends. Like smartphones, Google Glass provides an open mobil...


Modeling and analysis of TinyOS sensor node firmware: a CSP approach
McInnes A.  ACM Transactions on Embedded Computing Systems 12(1): 1-23, 2013. Type: Article

This paper, as the name suggests, formalizes certain elements of TinyOS, an operating system that has become popular in the domain of sensor networks. The well-known formalism of communicating sequential processes (CSP) is used for modeling TinyOS...


A logical verification methodology for service-oriented computing
Fantechi A., Gnesi S., Lapadula A., Mazzanti F., Pugliese R., Tiezzi F.  ACM Transactions on Software Engineering and Methodology 21(3): 1-46, 2012. Type: Article

The focus of this paper is on formal modeling and analysis of service-oriented computing (Soc). The contributions of the paper are many: it proposes a specification language, SocL, for specifying service properties; it describes an abstract model ...


A parametric segmentation functor for fully automatic and scalable array content analysis
Cousot P., Cousot R., Logozzo F.  ACM SIGPLAN Notices 46(1): 105-118, 2011. Type: Article

Precise and scalable static analysis of realistic software is challenging due to several complex features used in software. One of these features, which has been the focus of attention in recent times, is an array. In spite of several proposals fo...


Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2016 ThinkLoud, Inc.
Terms of Use
| Privacy Policy