|
|
|
|
|
Ramesh, S.
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. |
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|