Ramesh S.
Ramesh S.
formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D
Verified email at iitbombay.org
Title
Cited by
Cited by
Year
Communicating reactive processes
G Berry, S Ramesh, RK Shyamasundar
CONFERENCE RECORD OF THE ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING …, 1993
2041993
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
R Alur, A Kanade, S Ramesh, KC Shashidhar
Proceedings of the 8th ACM international conference on Embedded software, 89-98, 2008
1092008
Performance analysis of FlexRay-based ECU networks
A Hagiescu, UD Bordoloi, S Chakraborty, P Sampath, PVV Ganesan, ...
Proceedings of the 44th annual Design Automation Conference, 284-289, 2007
1012007
A compositional axiomatization of Statecharts
JJM Hooman, S Ramesh, WP de Roever
Theoretical Computer Science 101 (2), 289-335, 1992
1011992
Mechanical properties of natural fibre (banana, coir, sisal) polymer composites
M Sakthivel, S Ramesh
Science park 1 (1), 1-6, 2013
962013
Slicing concurrent programs
MG Nanda, S Ramesh
Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000
962000
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
M Satpathy, A Yeolekar, S Ramesh
Proceedings of the 8th ACM international conference on Embedded software …, 2008
622008
Generating and analyzing symbolic traces of Simulink/Stateflow models
A Kanade, R Alur, F Ivančić, S Ramesh, S Sankaranarayanan, ...
International Conference on Computer Aided Verification, 430-445, 2009
612009
Synchronous protocol automata: A framework for modelling and verification of soc communication architectures
V D'silva, S Ramesh, A Sowmya
Proceedings of the conference on Design, automation and test in Europe …, 2004
592004
Extract of andrographis paniculata as corrosion inhibitor of mild steel in acid medium
SP Ramesh, KPV Kumar, MG Sethuraman
Bulletin of Electrochemistry 17 (3), 141-144, 2001
582001
Model checking of statechart models: Survey and research directions
P Bhaduri, S Ramesh
arXiv preprint cs/0407038, 2004
552004
Extending statecharts with temporal logic
A Sowmya, S Ramesh
IEEE Transactions on Software Engineering 24 (3), 216-231, 1998
531998
Bridge over troubled wrappers: Automated interface synthesis
V D'silva, S Ramesh, A Sowmya
17th International Conference on VLSI Design. Proceedings., 189-194, 2004
522004
Corrosion inhibition behavior of propyl phosphonic acid–Zn2+ system for carbon steel in aqueous solution
M Prabakaran, M Venkatesh, S Ramesh, V Periasamy
Applied surface science 276, 592-603, 2013
482013
Shoreline changes and near shore processes along Ennore coast, east coast of South India
PK Pandian, S Ramesh, MVR Murthy, S Ramachandran, ...
Journal of Coastal Research 20 (3 (203)), 828-845, 2004
482004
A new and efficient implementation of multiprocess synchronization
S Ramesh
PARLE Parallel Architectures and Languages Europe, 387-401, 1987
471987
AutoMOTGen: Automatic model oriented test generator for embedded control systems
A Gadkari, A Yeolekar, J Suresh, S Ramesh, S Mohalik, K Shashidhar
Computer Aided Verification, 204-208, 2008
442008
Interprocedural slicing of multithreaded programs with applications to Java
MG Nanda, S Ramesh
ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (6), 1088-1144, 2006
422006
Automatic test case generation from Simulink/Stateflow models using model checking
S Mohalik, AA Gadkari, A Yeolekar, KC Shashidhar, S Ramesh
Software Testing, Verification and Reliability 24 (2), 155-180, 2014
412014
Microstructural and magnetic behavior of mixed Ni–Zn–Co and Ni–Zn–Mn ferrites
S Ramesh, BC Sekhar, PSVS Rao, BP Rao
Ceramics international 40 (6), 8729-8735, 2014
392014
The system can't perform the operation now. Try again later.
Articles 1–20