| Distributed games S Mohalik, I Walukiewicz International Conference on Foundations of Software Technology and …, 2003 | 96 | 2003 |
| 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 | 63 | 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 |
| AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems: Tool Paper AA Gadkari, A Yeolekar, J Suresh, S Ramesh, S Mohalik, KC Shashidhar Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 54 | 2008 |
| SOA-PE: a service-oriented architecture for planning and execution in cyber-physical systems AV Feljan, SK Mohalik, MB Jayaraman, R Badrinath 2015 International Conference on Smart Sensors and Systems (IC-SSS), 1-6, 2015 | 40 | 2015 |
| Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts S Mohalik, AC Rajeev, MG Dixit, S Ramesh, PV Suman, PK Pandya, ... Proceedings of the 45th annual Design Automation Conference, 296-299, 2008 | 38 | 2008 |
| Device location system and method S Mohalik US Patent App. 11/491,799, 2007 | 36 | 2007 |
| Smart contracts for multiagent plan execution in untrusted cyber-physical systems A Shukla, SK Mohalik, R Badrinath 2018 IEEE 25th International Conference on High Performance Computing …, 2018 | 35 | 2018 |
| Knowledge representation of cyber-physical systems for monitoring purpose D Gürdür, AV Feljan, J El-khoury, SK Mohalik, R Badrinath, AP Mujumdar, ... Procedia Cirp 72, 468-473, 2018 | 33 | 2018 |
| Intent-driven closed loops for autonomous networks PH Gomes, M Buhrgard, J Harmatos, SK Mohalik, D Roeland, J Niemöller Journal of ICT Standardization 9 (2), 257-290, 2021 | 32 | 2021 |
| Methods and apparatus for tag activation S Mohalik US Patent App. 11/492,921, 2007 | 32 | 2007 |
| Automatic generation of test-cases using model checking for sl/sf models AA Gadkari, S Mohalik, K Shashidhar, A Yeolekar, J Suresh, S Ramesh Proceedings of the 4th model-driven engineering, verification and validation …, 2007 | 29 | 2007 |
| Monitoring objects capable of wireless communications SK Mohalik, MB Jayaraman US Patent 11,595,784, 2023 | 28 | 2023 |
| Tracing SPLs precisely and efficiently S Mohalik, S Ramesh, JV Millo, SN Krishna, GK Narwane Proceedings of the 16th International Software Product Line Conference …, 2012 | 21 | 2012 |
| Real time asset tracking in the data center C Brignone, T Connors, M Jam, G Lyon, G Manjunath, A McReynolds, ... Distributed and Parallel Databases 21, 145-165, 2007 | 21 | 2007 |
| hammer: Multi-level coordination of reinforcement learning agents via learned messaging N Gupta, G Srinivasaraghavan, S Mohalik, N Kumar, ME Taylor Neural Computing and Applications, 1-16, 2023 | 20 | 2023 |
| A method and tool for test optimization for automotive controllers A Petrenko, A Dury, S Ramesh, S Mohalik 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 20 | 2013 |
| Dynamic semantic interoperability of control in IoT-based systems: Need for adaptive middleware SK Mohalik, NC Narendra, R Badrinath, MB Jayaraman, C Padala 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), 199-203, 2016 | 19 | 2016 |
| Machine reasoning explainability K Cyras, R Badrinath, SK Mohalik, A Mujumdar, A Nikou, A Previti, ... arXiv preprint arXiv:2009.00418, 2020 | 18 | 2020 |
| Adaptive service-oriented architectures for cyber physical systems SK Mohalik, NC Narendra, R Badrinath, DH Le 2017 IEEE symposium on service-oriented system engineering (SOSE), 57-62, 2017 | 16 | 2017 |
Badrinath RamamurthyIIIT Bangaloreiiitb.ac.in의 이메일 확인됨
