Concepedia

S. Ramesh

SR

44

Publications

1.3K

Citations

22

H-Index

1987

Active since

Affiliations

General Motors (India)(Current)

Indian Institute of Technology Bombay

General Motors (United States)

IBM Research - India

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

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal VerificationFormal MethodsProgram AnalysisSoftware AnalysisSoftware EngineeringVerification

Publications per year

1987–2024

44

Publications

44

Communicating reactive processes

Gérard Berry, S. Ramesh, R. K. Shyamasundar · 1993 · 119 citations

Event-driven Architecture, Engineering, Communicating Reactive Processes +18

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models

Rajeev Alur, Aditya Kanade, S. Ramesh et al. · 2008 · 76 citations

Engineering, Simulation Coverage, Simulink Demo Model +19

Slicing concurrent programs

Mangala Gowri Nanda, S. Ramesh · 2000 · 74 citations

Engineering, Computer Architecture, Software Engineering +19

Performance analysis of FlexRay-based ECU networks

Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty et al. · Proceedings - ACM IEEE Design Automation Conference · 2007 · 72 citations

Engineering, Performance Analysis, Computer Engineering +14

Randomized directed testing (REDIRECT) for Simulink/Stateflow models

Manoranjan Satpathy, Anand Yeolekar, S. Ramesh · 2008 · 56 citations

Engineering, Verification, Embedded Systems +21

Rows per page

1–5 of 44