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
2071993
Mechanical properties of natural fibre (banana, coir, sisal) polymer composites
M Sakthivel, S Ramesh
Science park 1 (1), 1-6, 2013
1162013
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
1152008
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
1122007
A compositional axiomatization of Statecharts
JJM Hooman, S Ramesh, WP de Roever
Theoretical Computer Science 101 (2), 289-335, 1992
1031992
Slicing concurrent programs
MG Nanda, S Ramesh
Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000
1002000
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
672008
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
672004
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
642009
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
632001
Model checking of statechart models: Survey and research directions
P Bhaduri, S Ramesh
arXiv preprint cs/0407038, 2004
582004
Bridge over troubled wrappers: Automated interface synthesis
V D'silva, S Ramesh, A Sowmya
17th International Conference on VLSI Design. Proceedings., 189-194, 2004
562004
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
552013
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), 828-845, 2004
552004
Extending statecharts with temporal logic
A Sowmya, S Ramesh
IEEE Transactions on Software Engineering 24 (3), 216-231, 1998
541998
Recognition and classification of paddy leaf diseases using Optimized Deep Neural network with Jaya algorithm
S Ramesh, D Vydeki
Information processing in agriculture 7 (2), 249-260, 2020
492020
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
482014
A new and efficient implementation of multiprocess synchronization
S Ramesh
PARLE Parallel Architectures and Languages Europe, 387-401, 1987
481987
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
472008
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
452006
The system can't perform the operation now. Try again later.
Articles 1–20