Ramesh S.
Ramesh S.
formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D
Dirección de correo verificada de iitbombay.org
Título
Citado por
Citado por
Año
Communicating reactive processes
G Berry, S Ramesh, RK Shyamasundar
CONFERENCE RECORD OF THE ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING …, 1993
2011993
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
1082008
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
1022007
A compositional axiomatization of Statecharts
JJM Hooman, S Ramesh, WP de Roever
Theoretical Computer Science 101 (2), 289-335, 1992
1011992
Slicing concurrent programs
MG Nanda, S Ramesh
Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000
942000
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
612008
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
592001
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
582004
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
572009
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
511998
Bridge over troubled wrappers: Automated interface synthesis
V D'silva, S Ramesh, A Sowmya
17th International Conference on VLSI Design. Proceedings., 189-194, 2004
502004
A new and efficient implementation of multiprocess synchronization
S Ramesh
PARLE Parallel Architectures and Languages Europe, 387-401, 1987
491987
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
422013
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
412008
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
392014
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
382006
A methodology for developing distributed programs
S Ramesh, SL Mehndiratta
IEEE Transactions on Software Engineering, 967-976, 1987
371987
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
362014
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
362012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20