| Certification considerations for adaptive systems S Bhattacharyya, D Cofer, D Musliner, J Mueller, E Engstrom 2015 International Conference on Unmanned Aircraft Systems (ICUAS), 270-279, 2015 | 84 | 2015 |
| Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles S Tangirala, R Kumar, S Bhattacharyya, M O'Connor, LE Holloway Proceedings of the 2005, American Control Conference, 2005., 668-673, 2005 | 30 | 2005 |
| An empirical survey on explainable ai technologies: Recent trends, use-cases, and categories from technical and application perspectives M Nagahisarchoghaei, N Nur, L Cummins, N Nur, MM Karimi, ... Electronics 12 (5), 1092, 2023 | 20 | 2023 |
| Remote monitoring of data facility in real-time using wireless sensor network S Bhattacharyya, C Shen, D Jantzen US Patent App. 14/471,864, 2015 | 20 | 2015 |
| A discrete event systems approach to network fault management: detection and diagnosis of faults S Bhattacharyya, R Kumar, Z Huang Asian Journal of Control 13 (4), 471-479, 2011 | 16 | 2011 |
| Voltage and var control to enable high penetration of distributed photovoltaic systems Y Liao, W Fan, A Cramer, P Dolloff, Z Fei, M Qui, S Bhattacharyya, ... 2012 North American Power Symposium (NAPS), 1-6, 2012 | 15 | 2012 |
| Real-time logic verification of a wireless sensor network J Green, S Bhattacharyya, B Panja 2009 WRI World Congress on Computer Science and Information Engineering 3 …, 2009 | 15 | 2009 |
| Verification of quasi-synchronous systems with Uppaal S Bhattacharyya, S Miller, J Yang, S Smolka, B Meng, C Sticksel, C Tinelli 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 8A4-1-8A4-12, 2014 | 14 | 2014 |
| A discrete event systems approach to network fault management: detection & diagnosis of faults S Bhattacharyya, Z Huang, V Chandra, R Kumar Proceedings of the 2004 American Control Conference 6, 5108-5113, 2004 | 14 | 2004 |
| A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles M O'Connor, S Tangirala, R Kumar, S Bhattacharyya, S Sznaier, ... 2006 American Control Conference, 6 pp., 2006 | 11 | 2006 |
| Enhancing cybersecurity by generating user-specific security policy through the formal modeling of user behavior A AlQadheeb, S Bhattacharyya, S Perl Array 14, 100146, 2022 | 10 | 2022 |
| Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic Z Huang, S Bhattacharyya, V Chandra, S Jiang, R Kumar Proceedings of the 2004 American Control Conference 6, 5114-5119, 2004 | 8 | 2004 |
| Assuring behavior of multirobot autonomous systems with translation from formal verification to ROS simulation AT Praveen, A Gupta, S Bhattacharyya, R Muthalagu IEEE Systems Journal 16 (3), 5092-5100, 2022 | 7 | 2022 |
| Certification considerations for adaptive systems: Technical report S Bhattacharyya, D Cofer, DJ Musliner, J Mueller, E Engstrom no. NASA-CR-2015–218702, 2015 | 7 | 2015 |
| Assuring intelligent systems: Contingency management for UAS N Neogi, S Bhattacharyya, D Griessler, H Kiran, M Carvalho IEEE Transactions on Intelligent Transportation Systems 22 (9), 6028-6038, 2021 | 6 | 2021 |
| Formal assurance for cooperative intelligent agents S Bhattacharyya, N Neogi, T Eskridge, M Carvalho, M Stafford NASA Formal Methods Symposium LNCS 10811, 2018 | 6 | 2018 |
| Evaluating the influence of twitter bots via agent-based social simulation A Averza, K Slhoub, S Bhattacharyya Ieee Access 10, 129394-129407, 2022 | 5 | 2022 |
| Enhancing Autonomy with Trusted Cognitive Modeling S Bhattacharyya, J Davis, T Vogl, M Fix, A McLean, M Matessa, ... Association for Unmanned Vehicle Systems International, 2015 | 5 | 2015 |
| Adaptive supervisory control of hybrid systems having discrete event abstractions V Chandra, S Bhattacharyya Proc. ISA EXPO 2005 Technical Conf, 1018-1029, 2005 | 5 | 2005 |
| Apparatus and method for monitoring a liquid product in a sealed vessel A Kumar, S Bhattacharyya, PJ Garrity US Patent App. 13/479,966, 2013 | 4 | 2013 |
