Model Checking Visual Specification of Requirements. - Ulka Shrotri; Purandar Bhaduri; R. Venkatesh 001 (SEFM, 2003)

Visual specification and analysis of use cases. - Deepali Kholkar; G. Murali Krishna; Ulka Shrotri; R. Venkatesh 001 (SOFTVIS, 2005)

STATEMATE to SCADE model translation. - R. Venky; Ulka Shrotri; Aniket Kulkarni; Prasad Bokil (ISEC, 2008)

Automatic Test Data Generation for C Programs. - Prasad Bokil; Priyanka Darke; Ulka Shrotri; R. Venkatesh 001 (SSIRI, 2009)

Proving unreachability using bounded model checking. - Ulka Shrotri; R. Venkatesh 001; Ravindra Metta (ISEC, 2010)

Feature based Structuring and Composing of SDLC Artifacts. - Nishigandha Hirve; Tukaram Muske; Ulka Shrotri; R. Venkatesh 001 (SEKE, 2010)

Masking Boundary Value Coverage: Effectiveness and Efficiency. - P. Vijay Suman; Tukaram Muske; Prasad Bokil; Ulka Shrotri; R. Venkatesh 001 (TAIC PART, 2010)

Precise Analysis of Large Industry Code. - Priyanka Darke; Mayur Khanzode; Arun Nair; Ulka Shrotri; R. Venkatesh 001 (APSEC, 2012)

Trace based reachability verification for statecharts. - Kumar Madhukar; Ravindra Metta; Ulka Shrotri; R. Venkatesh 001 (FormaliSE@ICSE, 2013)

Precise range analysis on large industry code. - Shrawan Kumar 001; Bharti Chimdyalwar; Ulka Shrotri (ESEC/SIGSOFT FSE, 2013)

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

Over-approximating loops to prove properties using bounded model checking. - Priyanka Darke; Bharti Chimdyalwar; R. Venkatesh 001; Ulka Shrotri; Ravindra Metta (DATE, 2015)

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)

Automated Validation of Insurance Applications against Calculation Specifications. - Advaita Datar; Amey Zare; Asia A; R. Venkatesh 001; Shrawan Kumar 001; Ulka Shrotri (ISSRE Workshops, 2022)