Ulka Shrotri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2003–2022
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISSRE | Automated Validation of Insurance Applications against Calculation Specifications. | Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri |
| 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 | DATE | Over-approximating loops to prove properties using bounded model checking. | Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta |
| 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 |
| 2013 | ICSE | Trace based reachability verification for statecharts. | Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh |
| 2012 | APSEC | Precise Analysis of Large Industry Code. | Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh |
| 2010 | SEKE | Feature based Structuring and Composing of SDLC Artifacts. | Nishigandha Hirve, Tukaram Muske, Ulka Shrotri, R. Venkatesh |
| 2003 | SEFM | Model Checking Visual Specification of Requirements. | Ulka Shrotri, Purandar Bhaduri, R. Venkatesh |