Follow
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
2141993
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
1212008
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
1172007
A compositional axiomatization of Statecharts
JJM Hooman, S Ramesh, WP de Roever
Theoretical Computer Science 101 (2), 289-335, 1992
1081992
Slicing concurrent programs
MG Nanda, S Ramesh
Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000
1062000
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
742008
Generating and analyzing symbolic traces of Simulink/Stateflow models
A Kanade, R Alur, F Ivančić, S Ramesh, S Sankaranarayanan, ...
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
712009
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
642004
Sol–gel synthesis, structural, optical and magnetic characterization of Ag 3 (2+ x) Pr x Nb 4− x O 11+ δ (0.0≤ x≤ 1.0) nanoparticles
S Ramesh, JV Ramaclus, E Mosquera, BB Das
RSC Advances 6 (8), 6336-6341, 2016
602016
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
592014
Model checking of statechart models: Survey and research directions
P Bhaduri, S Ramesh
arXiv preprint cs/0407038, 2004
592004
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation
AC Rajeev, S Mohalik, MG Dixit, DB Chokshi, S Ramesh
Proceedings of the tenth ACM international conference on Embedded software …, 2010
562010
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
Extending statecharts with temporal logic
A Sowmya, S Ramesh
IEEE Transactions on Software Engineering 24 (3), 216-231, 1998
551998
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
542008
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
532006
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models
P Peranandam, S Raviram, M Satpathy, A Yeolekar, A Gadkari, ...
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 308-311, 2012
502012
A new and efficient implementation of multiprocess synchronization
S Ramesh
PARLE Parallel Architectures and Languages Europe, 387-401, 1987
491987
A framework for mining hybrid automata from input/output traces
R Medhat, S Ramesh, B Bonakdarpour, S Fischmeister
2015 International Conference on Embedded Software (EMSOFT), 177-186, 2015
442015
Microwave-assisted synthesis of carbon nanotubes for the removal of toxic cationic dyes from textile wastewater
SS Qureshi, V Shah, S Nizamuddin, NM Mubarak, RR Karri, ...
Journal of Molecular Liquids 356, 119045, 2022
432022
The system can't perform the operation now. Try again later.
Articles 1–20