Communicating reactive processes G Berry, S Ramesh, RK Shyamasundar CONFERENCE RECORD OF THE ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING …, 1993 | 216 | 1993 |
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 | 121 | 2008 |
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 | 117 | 2007 |
A compositional axiomatization of Statecharts JJM Hooman, S Ramesh, WP de Roever Theoretical Computer Science 101 (2), 289-335, 1992 | 111 | 1992 |
Slicing concurrent programs MG Nanda, S Ramesh Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000 | 109 | 2000 |
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 | 77 | 2008 |
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 | 71 | 2009 |
Sol‐Gel Synthesis and Characterization of Ag3(2+x)AlxTi4−xO11+δ (0.0 ≤ x ≤ 1.0) Nanoparticles S Ramesh Journal of Nanoscience 2013 (1), 929321, 2013 | 64* | 2013 |
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 | 64 | 2004 |
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 | 62 | 2014 |
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 | 61 | 2010 |
Model checking of statechart models: Survey and research directions P Bhaduri, S Ramesh arXiv preprint cs/0407038, 2004 | 60 | 2004 |
Bridge over troubled wrappers: Automated interface synthesis V D'silva, S Ramesh, A Sowmya 17th International Conference on VLSI Design. Proceedings., 189-194, 2004 | 55 | 2004 |
Extending statecharts with temporal logic A Sowmya, S Ramesh IEEE Transactions on Software Engineering 24 (3), 216-231, 1998 | 55 | 1998 |
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 | 54 | 2008 |
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 | 54 | 2006 |
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 | 53 | 2022 |
Black-box testing of deep neural networks through test case diversity Z Aghababaeyan, M Abdellatif, L Briand, S Ramesh, M Bagherzadeh IEEE Transactions on Software Engineering 49 (5), 3182-3204, 2023 | 51 | 2023 |
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 | 51 | 2012 |
A new and efficient implementation of multiprocess synchronization S Ramesh PARLE Parallel Architectures and Languages Europe, 387-401, 1987 | 50 | 1987 |