| Communicating reactive processes G Berry, S Ramesh, RK Shyamasundar CONFERENCE RECORD OF THE ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING …, 1993 | 212 | 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 | 116 | 2007 |
| Black-box testing of deep neural networks through test case diversity Z Aghababaeyan, M Abdellatif, L Briand, M Bagherzadeh IEEE Transactions on Software Engineering 49 (5), 3182-3204, 2023 | 112 | 2023 |
| Slicing concurrent programs MG Nanda, S Ramesh Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000 | 109 | 2000 |
| A compositional axiomatization of Statecharts JJM Hooman, S Ramesh, WP de Roever Theoretical computer science 101 (2), 289-335, 1992 | 108 | 1992 |
| 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 | 75 | 2008 |
| 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 | 69 | 2009 |
| 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 | 67 | 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 | 65 | 2010 |
| 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 |
| A search-based testing approach for deep reinforcement learning agents A Zolfagharian, M Abdellatif, LC Briand, M Bagherzadeh IEEE Transactions on Software Engineering 49 (7), 3715-3735, 2023 | 63 | 2023 |
| Model checking of statechart models: Survey and research directions P Bhaduri, S Ramesh arXiv preprint cs/0407038, 2004 | 60 | 2004 |
| 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 | 58 | 2006 |
| 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 | 55 | 2015 |
| 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 | 55 | 2008 |
| Extending statecharts with temporal logic A Sowmya, S Ramesh IEEE Transactions on Software Engineering 24 (3), 216-231, 2002 | 55 | 2002 |
| 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 | 53 | 2012 |
| A comprehensive review of microbial desalination cells for present and future challenges AS Jatoi, Z Hashmi, SA Mazari, NM Mubarak, RR Karri, S Ramesh, ... Desalination 535, 115808, 2022 | 52 | 2022 |
| Bridge over troubled wrappers: Automated interface synthesis V D'silva, S Ramesh, A Sowmya 17th International Conference on VLSI Design. Proceedings., 189-194, 2004 | 52 | 2004 |
Prakash M. PeranandamGeneral MotorsVerified email at gm.com
