Ramanathan Venkatesh

Person

Pune, IN

People

Patents Grantslast 30 patents

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 identifying static analysis alarms based on s...
- Patent number 12,099,822
- Issue date Sep 24, 2024
- TATA Consultancy Services Limited
- Anushri Jana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for optimizing performance parameters of air ha...
- Patent number 11,579,576
- Issue date Feb 14, 2023
- TATA Consultancy Services Limited
- Supriya Agrawal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for software verification
- Patent number 11,275,860
- Issue date Mar 15, 2022
- TATA Consultancy Services Limited
- Priyanka Darke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for counter example guided loop abstraction refin...
- Patent number 11,200,146
- Issue date Dec 14, 2021
- TATA Consultancy Services Limited
- Priyanka Darke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling behavior of an internet of things (IoT) automation syst...
- Patent number 11,102,250
- Issue date Aug 24, 2021
- TATA Consultancy Services Limited
- Rajesh Jayaprakash
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
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
Data structure abstraction for model checking
- Patent number 10,534,689
- Issue date Jan 14, 2020
- TATA Consultancy Services Limited
- Venkatesh Ramanathan
- 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 of automation of business processes and apparatus therefor
- Patent number 8,386,994
- Issue date Feb 26, 2013
- Tata Consultancy Services Ltd.
- Ghaisas Smita Subash
- 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 SOURCE CODE VERIFICATION USING MACHINE LEARNI...
- Publication number 20240354219
- Publication date Oct 24, 2024
- TATA CONSULTANCY SERVICES LIMITED
- Priyanka DARKE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR AUTOMATED CODE GENERATION FOR CALCULATION B...
- Publication number 20240232188
- Publication date Jul 11, 2024
- TATA CONSULTANCY SERVICES LIMITED
- AMEY ZARE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR INCREMENTAL FUNCTIONAL APPROACH-BASED DATAFLO...
- Publication number 20240143299
- Publication date May 2, 2024
- TATA CONSULTANCY SERVICES LIMITED
- Anushri JANA
- G06 - COMPUTING CALCULATING COUNTING
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 IDENTIFYING STATIC ANALYSIS ALARMS BASED ON S...
- Publication number 20230129536
- Publication date Apr 27, 2023
- TATA CONSULTANCY SERVICES LIMITED
- Anushri JANA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR FUNCTION CALL AND VARIABLE ACCESS BASED RELAX...
- Publication number 20220342680
- Publication date Oct 27, 2022
- TATA CONSULTANCY SERVICES LIMITED
- PRIYANKA DARKE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR COUNTER EXAMPLE GUIDED LOOP ABSTRACTION REFIN...
- Publication number 20210240594
- Publication date Aug 5, 2021
- TATA CONSULTANCY SERVICES LIMITED
- Priyanka DARKE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SOFTWARE VERIFICATION
- Publication number 20210141914
- Publication date May 13, 2021
- TATA CONSULTANCY SERVICES LIMITED
- Priyanka DARKE
- G06 - COMPUTING CALCULATING COUNTING
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
SYSTEMS AND METHODS FOR OPTIMIZING PERFORMANCE PARAMETERS OF AIR HA...
- Publication number 20200249645
- Publication date Aug 6, 2020
- TATA CONSULTANCY SERVICES LIMITED
- Supriya AGRAWAL
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTROLLING BEHAVIOR OF AN INTERNET OF THINGS (IOT) AUTOMATION SYST...
- Publication number 20200112588
- Publication date Apr 9, 2020
- TATA CONSULTANCY SERVICES LIMITED
- Rajesh JAYAPRAKASH
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
DATA STRUCTURE ABSTRACTION FOR MODEL CHECKING
- Publication number 20170262356
- Publication date Sep 14, 2017
- TATA CONSULTANCY SERVICES LIMITED
- Venkatesh Ramanathan
- 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
Method of automation of business processes and apparatus therefor
- Publication number 20090319313
- Publication date Dec 24, 2009
- Ghaisas Smita Subash
- 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 of automation of business processes and apparatus therefor
- Publication number 20050096937
- Publication date May 5, 2005
- Ghaisas Smita Subash
- 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

Ramanathan Venkatesh

Person

Patents Grantslast 30 patents

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

Method and system for identifying static analysis alarms based on s...

Systems and methods for optimizing performance parameters of air ha...

System and method for software verification

Method and system for counter example guided loop abstraction refin...

Controlling behavior of an internet of things (IoT) automation syst...

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

Data structure 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 of automation of business processes and apparatus therefor

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 SOURCE CODE VERIFICATION USING MACHINE LEARNI...

SYSTEMS AND METHODS FOR AUTOMATED CODE GENERATION FOR CALCULATION B...

METHOD AND SYSTEM FOR INCREMENTAL FUNCTIONAL APPROACH-BASED DATAFLO...

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

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

METHOD AND SYSTEM FOR IDENTIFYING STATIC ANALYSIS ALARMS BASED ON S...

METHOD AND SYSTEM FOR FUNCTION CALL AND VARIABLE ACCESS BASED RELAX...

METHOD AND SYSTEM FOR COUNTER EXAMPLE GUIDED LOOP ABSTRACTION REFIN...

SYSTEM AND METHOD FOR SOFTWARE VERIFICATION

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

SYSTEMS AND METHODS FOR OPTIMIZING PERFORMANCE PARAMETERS OF AIR HA...

CONTROLLING BEHAVIOR OF AN INTERNET OF THINGS (IOT) AUTOMATION SYST...

DATA STRUCTURE ABSTRACTION FOR MODEL CHECKING

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

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

Method of automation of business processes and apparatus therefor

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

Method of automation of business processes and apparatus therefor

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