Supriya Agrawal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DAC | EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning. | Sagar Verma, Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Srinarayana Nagarathinam, Rajesh Jayaprakash, Aabriti Dutta |
| 2020 | ICST | Scaling Test Case Generation For Expressive Decision Tables. | Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma |
| 2015 | ENASE | Cost-effective Functional Testing of Reactive Software. | R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal |
| 2015 | ENASE | On Generating Test Cases from EDT Specifications. | R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal |
| 2014 | DATE | EDT: A specification notation for reactive systems. | R. Venkatesh, Ulka Shrotri, G. Murali Krishna, Supriya Agrawal |