Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study. - Siddhartha Bhattacharyya; Jennifer A. Davis; Anubhav Gupta 003; Nandith Narayan; Michael Matessa (FMAS, 2021)

Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation. - Praveen Thachappully Adithya; Anubhav Gupta 003; Siddhartha Bhattacharyya; Raja Muthalagu (IEEE Syst. J., 2022)

IPAssess: A Protocol-Based Fingerprinting Model for Device Identification in the IoT. - Parth Ganeriwala; Siddhartha Bhattacharyya; Raja Muthalagu; Shreya Nandanwar; Anubhav Gupta 003 (IntelliSys (3), 2023)