S. Ramesh - Concepedia

Author

S. Ramesh

Also Known As

Dr. S. Ramesh, RAMESH, S, Ramesh S, Ramesh S., Ramesh, S, Ramesh, S., Ramesh, Sankara Prasad, S Ramesh, S, Ramesh, S. RAMESH

205

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

General Motors (India)Indian Institute of Technology Bombay General Motors (United States)UNSW Sydney IBM Research - India

About

S. Ramesh is an author at General Motors (India) specializing in engineering, computer science, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	38	1.2K
2	Social Sciences	2	2	41
3	Cognitive Science	2	2	41
4	Language Studies	1	1	14
5	Communication	1	1	119

S. Ramesh

Publications

1.3K

Citations

H-Index

Page 1

	Year	Citations
Communicating reactive processes Gérard Berry, S. Ramesh, R. K. Shyamasundar Event-driven ArchitectureEngineeringCommunicating Reactive ProcessesConcurrent SystemCommunication	1993	119
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models Rajeev Alur, Aditya Kanade, S. Ramesh, EngineeringSimulation CoverageSimulink Demo ModelVerificationSimulation	2008	76
Slicing concurrent programs Mangala Gowri Nanda, S. Ramesh EngineeringComputer ArchitectureSoftware EngineeringConcurrent ThreadsSoftware Analysis	2000	74
Performance analysis of FlexRay-based ECU networks Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Proceedings - ACM IEEE Design Automation Conference EngineeringPerformance AnalysisComputer EngineeringComputer ArchitectureSystems Engineering	2007	72
Randomized directed testing (REDIRECT) for Simulink/Stateflow models Manoranjan Satpathy, Anand Yeolekar, S. Ramesh EngineeringVerificationEmbedded SystemsDiscrete-event SimulationSoftware Analysis	2008	56
A compositional axiomatization of Statecharts Jozef Hooman, S. Ramesh, Willem P. de Roever Theoretical Computer Science Compositional AxiomatizationEngineeringAutomated ReasoningFormal MethodsComputer Science	1992	50
Model Checking of Statechart Models: Survey and Research Directions Purandar Bhaduri, S. Ramesh arXiv (Cornell University) State Space ExplosionEngineeringVerificationComputer-aided VerificationModel Checking	2004	45
Automatic test case generation from Simulink/Stateflow models using model checking Swarup Kumar Mohalik, A. Gadkari, Anand Yeolekar, Software Testing Verification and Reliability Simulink/stateflow ModelsEngineeringVerificationTest Data GenerationSoftware Engineering	2013	45
An MBSE Approach for Development of Resilient Automated Automotive Systems Joseph D’Ambrosio, Arun Adiththan, Edwin Ordoukhanian, Systems Automotive EngineeringEngineeringRobustness TestingSoftware EngineeringResilient Control System	2019	41
Schedulability and end-to-end latency in distributed ECU networks A. C. Rajeev, Swarup Kumar Mohalik, Manoj G. Dixit, EngineeringDistributed Ecu NetworksComputer ArchitectureEmbedded SystemsControl Systems	2010	40

Page 1