Skip to main content
Assist Header Dark

Publications

Publications

Recent and Relevant Conferences:

  1. Natural Language Explanations for Suicide Risk Classification Using Large Language Models, William Stern, Seng Jhing Goh, Nasheen Nur, Patrick J Aragon, Thomas Mercer, Siddhartha Bhattacharyya, Chiradeep Sen and Van Minh Nguyen, Association for the Advancement of Artificial Intelligence workshop 2024.

  2. "AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations", has been accepted for publication in the International Conference on Machine Learning and Applications 2023," P. Ganeriwala,S. Bhatatcharyya, S. Gunther, B. Kish, MA. Hafeez Khan, A. Dhadoti, and N. Neogi.
  3. "Conceptualizing Suicidal Behavior : Utilizing Explanations of Predicted Outcomes to Analyze Longitudinal Social Media Data", accepted for International Conference on Machine Learning and Applications 2023, V. Minh, N.Nur, W. Stern, S. Bhattacharyya and C. Sen.
  4. "Assuring Learning-Enabled Increasingly Autonomous Systems", Narayan, Nandith & Ganeriwala, Parth & Jones, Randolph & Matessa, Michael & Bhattacharyya, Siddhartha & Davis, Jennifer & Purohit, Hemant & Rollini, Simone. Syscon 2023 . 1-7. 10.1109/SysCon53073.2023.10131227. 

  5. "Toward Generating System architecture and formal functional Description in the Architecture Analysis & Design Language (AADL) with structured natural language", Anshumaan Chauhan, Parth Ganeriwala, Chiradeep Sen and Siddhartha Bhattacharyya, IDETC/CIE, Aug 2022.

  6. "Social Media vs. News Platforms: A Cross-analysis for Fake News Detection Using Web Scraping and NLP", Fahad Alsuliman, Siddhartha Bhattacharyya, Khaled Slhoub, Nasheen Nur and Candice N. Chambers, ACM Proceedings of the 15th International Conference on PErvasive Technologies Related to Assistive Environments, July 2022.
  7. "Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study" - Siddhartha Bhattacharyya, Jennifer Davis, Anubhav Gupta, Nandith Narayan, and Michael Matessa, FMAS 2021, October 2021.
  8. “Machine Learning with Software Engineering: A Case Study in Comparing Intelligent Algorithms”, J. Alharbi, and S. Bhattacharyya, Syscon 2021, April 2021.
  9. “Creating Formal Characterizations of Routine Contingency Management in Commercial Aviation”, Neogi , J. Holbrook , D. Griessler, and S. Bhattacharyya, AIAA SciTech 2021.
  10. “Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms”, Stafford, S. Bhattacharyya, and M. Clark SysCon 2020.
  11. “Formal Trust Architecture for Assuring Trusted Interactions in the Internet of Things”, Patel, S. Bhattacharyya and A. Alfageeh, IEEE-UEMCON, Oct 2019.
  12. “Assurance for CyberSecurity with Assume-Guarantee Reasoning”, Alfageeh, S. Bhattacharyya, S. J. Perl and M. Patel,IEEE-UEMCON, Oct 2019.
  13. “Formal Assurance for Cooperative Intelligent Autonomous Agents,” Bhattacharyya, T. C. Eskridge, N. A. Neogi, M. Carvalho, and M. Stafford, in NASA Formal Methods, vol. 10811, A. Dutle, C. Muñoz, and A. Narkawicz, Eds. Cham: Springer International Publishing, 2018, pp. 20–36.
  14. “Real-Time Server Overloaded Monitoring Algorithm Using Back Propagation Artificial Neural Network”, J, Choi, C. Shen, J. Hannemann and S. Bhattacharyya, IEEE, 2017 IEEE 7th Annual Computing and Communication Workshop and Conference sponsored by IEEE.
  15. “Certification Considerations for Adaptive Systems”, S. Bhattacharyya, D. Cofer, D. Musliner, J. Mueller, E. Engstrom. International Conference on Unmanned Aircraft Systems, 2015.
  16. “Enhancing autonomy with trusted cognitive modeling”, S. Bhattacharyya, J. Davis, T. Vogl, M. Matessa, A. Mclean, L. Smith-Velazquez, Atlanta GA, Association of Unmanned Vehicle Systems Institute (AUVSI) May 2015.
  17. “Verification of Quasi-Synchronous systems with Uppaal”, S. Bhattacharyya, S. Miller, J. Yuang, S. Smolka, B. Meng, C. Sticksel and C. Tinelli, Digital Avionics Systems Conference, Colorado Springs, CO, Oct 2014.
  18. “Voltage and Var Control to Enable High Penetration of Distributed Photovoltaic Systems”, Y. Liao, W. Fan, A. Cramer, P. Dolloff, M. Qiu, Z. Fei, S. Bhattacharyya, L. Holloway and B. Gregory, NAPS, Urbana-Champaign IL, Sept 9-11 2012.
  19. “Vibration monitoring and analysis using Wireless Sensor Networks to classify vehicles”, P. Garrity, S. Bhattacharyya, C. Shen, D. Dawadi, and B. Panja, International Intellectbase Consortium, Las Vegas, NV, Dec 16-18th 2010.
  20. “A real-time logic verification for Wireless Sensor Network”, J. Green and S. Bhattacharyya, 2009 World Congress on Computer Science and Information Engineering 2009.
  21. “Power system smart control and verification”, S. Bhattacharyya, J Nutaro, L. Miller, M. Shankar and T. Kuruganti, IASTED Power and Energy Systems, April 2008.
  22. “Automated Coordinator Synthesis Mission Control of Autonomous Underwater Vehicles”, S. Bhattacharyya, R.Kumar, S. Tangirala and L.E. Holloway, OCEANS 2007, MTS/IEEE-OES, Vancouver BC, Canada.
  23. “Animation/ Simulation of Hybrid-Model based Hierarchical Mission Control Architecture for Autonomous Undersea Vehicles”, S. Bhattacharyya, R.Kumar, S.Tangirala, M.O’Connor, and L.E. Holloway, ACC 2006, Minneapolis, MN

Recent and Relevant Journals:

  1. Assuring Behavior of Multi-Robot Autonomous Systems with Translation from Formal Verification to ROS Simulation",  A. Praveen, A. Gupta, S. Bhattacharyya and R. Muthalagu, Submitted, IEEE Systems Journal, Jan 2022.
  2. “ Enhancing Cybersecurity by Generating User-Specific Security Policy through the Formal Modeling of User Behavior", Arwa Alqadheeb, Siddhartha Bhattacharyya, and Samuel Perl, Elsevier , Vol. 14, July 2022.
  3. "IPAssess: A Protocol-Based Fingerprinting Model for Device Identification in the IoT", P. Ganeriwala, S. Nandanwar, A. Gupta, S. Bhattacharyya, and R. Muthalagu, Submitted, Elsevier, May 2022.
  4. "Ethical Decision Making by Autonomous Cars with Formal Verification", A. Averza, H. Kiran, B. Hamant, and S. Bhattacharyya, Frontiers for Robotics and Intelligence. Sept 2021.
  5. "Modeling Internet-of-Things (IoT) Behavior for Enforcing Security and Privacy Policies", A. Gupta, D. Campos, S. Bhattacharyya, T. J. Oconnor, and A. Dcosta, Submitted, IEEE IoT Journal, August 2021.
  6. "Assuring Intelligent Systems: A UAS Case Study”, N. Neogi, S. Bhattacharyya, D. Griessler, H. Kiran and M. Carvalho, IEEE Transactions for Intelligent Transportation, May 2021.
  7. “Can Model Checking Assure Distributed Autonomous Systems Agree? An Urban Air Mobility Case Study”, International Journal of Advanced Computer Science and Applications, Gupta, S. Bhattacharyya and S. Vadivel, December 2020.
  8. “Assurance for Integrating Advanced Algorithms in Autonomous Safety Critical Systems”, M. Stafford, S. Bhattacharyya, M. Clark, N. Neogi and T. Eskridge, IEEE Systems Journal, October 2020.
  9. "A Discrete Event Systems Approach to Network Fault Management: Detection and Diagnosis of Faults", S.Bhattacharyya, R. Kumar and Z. Huang, Asian Journal of Control Vol. 13 No. 4 July 2011.
  10. “Detection and Classification of Vehicles Using Wireless Sensor Network Technology”, P. Garrity, S. Bhattacharyya, C. Shen, D. Dawadi, and B. Panja, Journal of Information Systems Technology and Planning (JISTP), Vol. 4, Issue 7, February 2011.
logo

Large Assist Lab Logo