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
- 10 of 11 reviews

   
   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 a...

Jan 6 2015  
   Improving application security with data flow assertions
Yip A., Wang X., Zeldovich N., Kaashoek M.  SOSP 2009 (Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, Big Sky, MT, Oct 11-14, 2009) 291-304, 2009.  Type: Proceedings

Security violations and the unintended flow of important data are some of the problems faced by Web application developers. Yip et al. propose a methodology and a runtime system, RESIN, for avoiding and preventing such problems....

Jan 18 2010  
   Proofs from tests
Beckman N., Nori A., Rajamani S., Simmons R.  Software testing and analysis (Proceedings of the 2008 International Symposium on Software Testing and Analysis, Seattle, WA, Jul 20-24, 2008) 3-14, 2008.  Type: Proceedings

Based in the area of software verification that uses model-checking methods, this paper builds on the recent verification methods that employ the technique of counterexample guided abstraction refinement (CEGAR) for prov...

Sep 29 2008  
   Iterative context bounding for systematic testing of multithreaded programs
Musuvathi M., Qadeer S.  Programming language design and implementation (Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, California, Jun 10-13, 2007) 446-455, 2007.  Type: Proceedings

An interesting technique for systematic and efficient exploration of executions of multithreaded programs for finding bugs is proposed in this paper. The class of programs considered is shared variable programs. The efficiency arises o...

Aug 15 2007  
   Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Subramonian V., Gill C., Sánchez C., Sipma H.  Embedded software (Proceedings of the 6th ACM & IEEE International Conference on Embedded Software, Seoul, Korea, Oct 22-25, 2006) 252-261, 2006.  Type: Proceedings

The verification of middleware-based distributed real-time embedded systems (DRES) has become an important challenge in software development for the embedded systems community. The focus of this work is on the formal modeling of middle...

Jan 4 2007  
   Termination analysis of integer linear loops
Bradley A., Manna Z., Sipma H. In CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Lecture Notes in Computer Science 3653). London: Springer-Verlag, 2005.  Type: Book Chapter

One important step in the formal verification of programs is the proof of termination of program loops. Loop termination involves identifying a function (called a rank function) over program variables, so that this rank function is wel...

Mar 3 2006  
   Bi-directional safety analysis of product lines
Feng Q., Lutz R. Journal of Systems and Software 78(2): 111-127, 2005.  Type: Article

This paper describes a method for performing a safety analysis of a software product line consisting of multiple software products built from a common set of core assets. The analysis method makes use of the requirements, architecture,...

Jan 4 2006  
   SHIM: a deterministic model for heterogeneous embedded systems
Edwards S., Tardieu O.  Embedded software (Proceedings of the 5th ACM International Conference on Embedded Software, Jersey City, NJ, USA, Sep 18-22, 2005) 264-272, 2005.  Type: Proceedings

This paper proposes a new model, software/hardware integration medium (SHIM), for describing embedded hardware/software systems. It is essentially the well-known Kahn’s model of process networks, but with the following import...

Nov 25 2005  
   SHIM: a deterministic model for heterogeneous embedded systems
Edwards S., Tardieu O.  Embedded software (Proceedings of the 5th ACM International Conference on Embedded Software, Jersey City, NJ, USA, Sep 18-22, 2005) 264-272, 2005.  Type: Proceedings

This paper proposes a new model, software/hardware integration medium (SHIM), for describing embedded hardware/software systems. It is essentially the well-known Kahn’s model of process networks, but with the following import...

Nov 25 2005  
   Method redefinition: ensuring alternative behaviors
Nunes I. Information Processing Letters 92(6): 279-285, 2004.  Type: Article

This paper is concerned with mechanisms for preserving the behavioral properties of subclasses that redefine methods of superclasses. It explores the various mechanisms suggested in the literature, and brings out their limitations. The...

Apr 27 2005  
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy