Anushri Jana

Follow

Person

Pune, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Method and system for mapping intermediate representation objects f...
- Patent number 12,112,162
- Issue date Oct 8, 2024
- TATA Consultancy Services Limited
- Anushri Jana
- 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
Method and system for identifying relevant changes for incremental...
- Patent number 12,050,906
- Issue date Jul 30, 2024
- TATA Consultancy Services Limited
- Bharti Chimdyalwar
- 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

Patents Applicationslast 30 patents

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 IDENTIFYING RELEVANT CHANGES FOR INCREMENTAL...
- Publication number 20230281007
- Publication date Sep 7, 2023
- TATA CONSULTANCY SERVICES LIMITED
- BHARTI CHIMDYALWAR
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR MAPPING INTERMEDIATE REPRESENTATION OBJECTS F...
- Publication number 20230266967
- Publication date Aug 24, 2023
- TATA CONSULTANCY SERVICES LIMITED
- ANUSHRI JANA
- G06 - COMPUTING CALCULATING COUNTING
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
DATA STRUCTURE ABSTRACTION FOR MODEL CHECKING
- Publication number 20170262356
- Publication date Sep 14, 2017
- TATA CONSULTANCY SERVICES LIMITED
- Venkatesh Ramanathan
- G06 - COMPUTING CALCULATING COUNTING