Bharti Dewrao Chimdyalwar

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
Systems and methods for selective path sensitive interval analysis
- Patent number 11,650,907
- Issue date May 16, 2023
- TATA Consultancy Services Limited
- Bharti Chimdyalwar
- 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 verifying properties of source code
- Patent number 10,877,870
- Issue date Dec 29, 2020
- TATA Consultancy Services Limited
- Bharti Dewrao Chimdyalwar
- 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

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
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
SYSTEMS AND METHODS FOR SELECTIVE PATH SENSITIVE INTERVAL ANALYSIS
- Publication number 20230004479
- Publication date Jan 5, 2023
- TATA CONSULTANCY SERVICES LIMITED
- Bharti CHIMDYALWAR
- 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 VERIFYING PROPERTIES OF SOURCE CODE
- Publication number 20190377658
- Publication date Dec 12, 2019
- TATA CONSULTANCY SERVICES LIMITED
- Bharti Dewrao CHIMDYALWAR
- 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

Bharti Dewrao Chimdyalwar

Person

Patents Grantslast 30 patents

Method and system for mapping intermediate representation objects f...

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

Method and system for identifying relevant changes for incremental...

Systems and methods for selective path sensitive interval analysis

System and method for software verification

Method and system for verifying properties of source code

Loop abstraction for model checking

Patents Applicationslast 30 patents

METHOD AND SYSTEM FOR SOURCE CODE VERIFICATION USING MACHINE LEARNI...

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

METHOD AND SYSTEM FOR IDENTIFYING RELEVANT CHANGES FOR INCREMENTAL...

METHOD AND SYSTEM FOR MAPPING INTERMEDIATE REPRESENTATION OBJECTS F...

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

SYSTEMS AND METHODS FOR SELECTIVE PATH SENSITIVE INTERVAL ANALYSIS

SYSTEM AND METHOD FOR SOFTWARE VERIFICATION

METHOD AND SYSTEM FOR VERIFYING PROPERTIES OF SOURCE CODE

LOOP ABSTRACTION FOR MODEL CHECKING