Shrotri Ulka

Person

Pune, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Optimized HVAC control using domain knowledge combined with deep re...
- Patent number 12,222,122
- Issue date Feb 11, 2025
- TATA Consultancy Services Limited
- Sagar Kumar Verma
- F24 - HEATING RANGES VENTILATING
Information Patent Grant
Method and system for validation of calculation code against calcul...
- Patent number 12,130,845
- Issue date Oct 29, 2024
- TATA Consultancy Services Limited
- Advaita Abhijit Datar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for test case generation for event based systems...
- Patent number 10,977,165
- Issue date Apr 13, 2021
- Tate Consultancy Services Limited
- Supriya Agrawal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for generating functional test cases for software...
- Patent number 10,176,085
- Issue date Jan 8, 2019
- TATA Consultancy Services Limited
- Amey Anand Zare
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Validating a specification associated with a software application a...
- Patent number 9,223,685
- Issue date Dec 29, 2015
- TATA CONSULTANCY SERVICES LIMITED
- Goldsmith Murali Krishna
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Loop abstraction for model checking
- Patent number 9,158,506
- Issue date Oct 13, 2015
- Tata Consultancy Services Limited
- Priyanka Dilip Darke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for detecting unreachable states in a statemate s...
- Patent number 8,977,533
- Issue date Mar 10, 2015
- TATA CONSULTANCY SERVICES LIMITED
- Ulka Shrotri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for automatic generation of test data to satisfy...
- Patent number 8,612,938
- Issue date Dec 17, 2013
- TATA CONSULTANCY SERVICES LIMITED
- Bokil Prasad
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for automatic test data generation for relational...
- Patent number 8,589,736
- Issue date Nov 19, 2013
- TATA CONSULTANCY SERVICES LIMITED
- Vijay Suman Pasupuleti
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for pattern based generation of graphical user...
- Patent number 7,369,975
- Issue date May 6, 2008
- Tata Consultancy Services Limited
- Venkatesh Ramanathan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for pattern based generation of graphical user...
- Patent number 7,072,810
- Issue date Jul 4, 2006
- Tata Consultancy Services Limited
- Venkatesh Ramanathan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHOD AND SYSTEM FOR VALIDATION OF CALCULATION CODE AGAINST CALCUL...
- Publication number 20230237078
- Publication date Jul 27, 2023
- TATA CONSULTANCY SERVICES LIMITED
- ADVAITA ABHIJIT DATAR
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OPTIMIZED HVAC CONTROL USING DOMAIN KNOWLEDGE COMBINED WITH DEEP RE...
- Publication number 20230125620
- Publication date Apr 27, 2023
- TATA CONSULTANCY SERVICES LIMITED
- SAGAR KUMAR VERMA
- F24 - HEATING RANGES VENTILATING
Information Patent Application
METHOD AND SYSTEM FOR TEST CASE GENERATION FOR EVENT BASED SYSTEMS...
- Publication number 20210081306
- Publication date Mar 18, 2021
- TATA CONSULTANCY SERVICES LIMITED
- Supriya AGRAWAL
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR GENERATING FUNCTIONAL TEST CASES FOR SOFTWARE...
- Publication number 20160378646
- Publication date Dec 29, 2016
- TATA CONSULTANCY SERVICES LIMITED
- Amey Anand ZARE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LOOP ABSTRACTION FOR MODEL CHECKING
- Publication number 20150242188
- Publication date Aug 27, 2015
- TATA CONSULTANCY SERVICES LIMITED
- Priyanka Dilip Darke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Validating a Specification Associated with a Software Application a...
- Publication number 20150033208
- Publication date Jan 29, 2015
- TATA CONSULTANCY SERVICES LIMITED
- Goldsmith Murali Krishna
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR AUTOMATIC TEST DATA GENERATION FOR RELATIONAL...
- Publication number 20130042145
- Publication date Feb 14, 2013
- TATA CONSULTANCY SERVICES LIMITED
- Vijay Suman Pasupuleti
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR DETECTING UNREACHABLE STATES IN A STATEMATE S...
- Publication number 20120203534
- Publication date Aug 9, 2012
- TATA CONSULTANCY SERVICES LIMITED
- Ulka SHROTRI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR AUTOMATIC GENERATION OF TEST DATA TO SATISFY...
- Publication number 20100175052
- Publication date Jul 8, 2010
- TATA CONSULTANCY SERVICES LIMITED
- Bokil Prasad
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for pattern based generation of graphical user...
- Publication number 20060142989
- Publication date Jun 29, 2006
- Venkatesh Ramanathan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for pattern based generation of graphical user...
- Publication number 20020186248
- Publication date Dec 12, 2002
- Venkatesh Ramanathan
- G06 - COMPUTING CALCULATING COUNTING

Shrotri Ulka

Person

Patents Grantslast 30 patents

Optimized HVAC control using domain knowledge combined with deep re...

Method and system for validation of calculation code against calcul...

Method and system for test case generation for event based systems...

Method and system for generating functional test cases for software...

Validating a specification associated with a software application a...

Loop abstraction for model checking

System and method for detecting unreachable states in a statemate s...

System and method for automatic generation of test data to satisfy...

System and method for automatic test data generation for relational...

Method and apparatus for pattern based generation of graphical user...

Method and apparatus for pattern based generation of graphical user...

Patents Applicationslast 30 patents

METHOD AND SYSTEM FOR VALIDATION OF CALCULATION CODE AGAINST CALCUL...

OPTIMIZED HVAC CONTROL USING DOMAIN KNOWLEDGE COMBINED WITH DEEP RE...

METHOD AND SYSTEM FOR TEST CASE GENERATION FOR EVENT BASED SYSTEMS...

METHOD AND SYSTEM FOR GENERATING FUNCTIONAL TEST CASES FOR SOFTWARE...

LOOP ABSTRACTION FOR MODEL CHECKING

Validating a Specification Associated with a Software Application a...

SYSTEM AND METHOD FOR AUTOMATIC TEST DATA GENERATION FOR RELATIONAL...

SYSTEM AND METHOD FOR DETECTING UNREACHABLE STATES IN A STATEMATE S...

SYSTEM AND METHOD FOR AUTOMATIC GENERATION OF TEST DATA TO SATISFY...

Method and apparatus for pattern based generation of graphical user...

Method and apparatus for pattern based generation of graphical user...