EDT: A specification notation for reactive systems. - R. Venkatesh 001; Ulka Shrotri; G. Murali Krishna; Supriya Agrawal (DATE, 2014)

Cost-effective Functional Testing of Reactive Software. - R. Venkatesh 001; Ulka Shrotri; Amey Zare; Supriya Agrawal (ENASE, 2015)

On Generating Test Cases from EDT Specifications. - R. Venkatesh 001; Ulka Shrotri; Amey Zare; Supriya Agrawal (ENASE (Selected Papers), 2015)

Scaling Test Case Generation For Expressive Decision Tables. - Supriya Agrawal; R. Venkatesh 001; Ulka Shrotri; Amey Zare; Sagar Verma (ICST, 2020)

EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning. - Sagar Verma; Supriya Agrawal; R. Venkatesh 001; Ulka Shrotri; Srinarayana Nagarathinam; Rajesh Jayaprakash; Aabriti Dutta (DAC, 2021)

Crop Yield Prediction for India Using Regression Algorithms. - Devansh Hiren Timbadia; Sughosh Sudhanvan; Parin Jigishu Shah; Supriya Agrawal (ICACDS (2), 2021)

ABGS Segmenter: pixel wise adaptive background subtraction and intensity ratio based shadow removal approach for moving object detection. - Supriya Agrawal; Prachi Natu (J. Supercomput., 2023)

Navigating Confidentiality in Test Automation: A Case Study in LLM Driven Test Data Generation. - Hrishikesh Karmarkar; Supriya Agrawal; Avriti Chauhan; Pranav Shete (SANER, 2024)

OBB detector: occluded object detection based on geometric modeling of video frames. - Supriya Agrawal; Prachi Natu (Vis. Comput., 2025)