| 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 | 119 | 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 | 115 | 2007 |
| A compositional axiomatization of Statecharts JJM Hooman, S Ramesh, WP de Roever Theoretical Computer Science 101 (2), 289-335, 1992 | 106 | 1992 |
| Slicing concurrent programs MG Nanda, S Ramesh Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000 | 105 | 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 | 74 | 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 | 69 | 2009 |
| 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 | 65 | 2004 |
| 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 | 63 | 2016 |
| 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 | 56 | 2004 |
| Extending statecharts with temporal logic A Sowmya, S Ramesh IEEE Transactions on Software Engineering 24 (3), 216-231, 1998 | 55 | 1998 |
| 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 | 53 | 2014 |
| 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 | 53 | 2008 |
| 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 | 52 | 2010 |
| A new and efficient implementation of multiprocess synchronization S Ramesh PARLE Parallel Architectures and Languages Europe, 387-401, 1987 | 52 | 1987 |
| 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 | 49 | 2012 |
| 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 | 49 | 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 | 41 | 2015 |
| Communicating reactive state machines: Design, model and implementation S Ramesh IFAC Proceedings Volumes 31 (32), 105-110, 1998 | 41 | 1998 |
Swarup MohalikPrinicipal Engineer - Research, EricssonVerified email at ericsson.com
