Issued Patents All Time
Showing 1–22 of 22 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12222122 | Optimized HVAC control using domain knowledge combined with deep reinforcement learning (DRL) | Sagar Kumar Verma, Supriya Agrawal, Ulka Shrotri, Srinarayana Nagarathinam, Rajesh Jayaprakash +1 more | 2025-02-11 |
| 12190131 | Method and system for function call and variable access based relaxed backward slicing | Priyanka Darke, Shrawan Kumar, Sakshi Agrawal | 2025-01-07 |
| 12130845 | Method and system for validation of calculation code against calculation specification | ADVAITA ABHIJIT DATAR, Amey Zare, Asia Akhtar, Shrawan Kumar, Ulka Shrotri +3 more | 2024-10-29 |
| 11579576 | Systems and methods for optimizing performance parameters of air handling units in infrastructures | Supriya Agrawal, Sagar Kumar Verma, Ramasubramanian SURIYANARAYANAN, Srinarayana Nagarathinam, Rajesh Jayaprakash +1 more | 2023-02-14 |
| 11443224 | Automated machine learning feature processing | Avishay Meron, Roy Valler | 2022-09-13 |
| 11275860 | System and method for software verification | Priyanka Darke, Bharti Chimdyalwar, AVRITI CHAUHAN, Punit B. Shah, Shrawan Kumar +4 more | 2022-03-15 |
| 11200146 | Method and system for counter example guided loop abstraction refinement | Priyanka Darke, Tanha Shah | 2021-12-14 |
| 11102250 | Controlling behavior of an internet of things (IoT) automation system by identifying policy violations | Rajesh Jayaprakash, Srinarayana Nagarathinam, Ramasubramanian SURIYANARAYANAN, Anand Sivasubramaniam | 2021-08-24 |
| 10977165 | Method and system for test case generation for event based systems using graph path traversal | Supriya Agrawal, Ulka Shrotri, Amey Zare, Sagar Kumar Verma | 2021-04-13 |
| 10534689 | Data structure abstraction for model checking | Anushri Jana | 2020-01-14 |
| 10102504 | Methods for controlling display of electronic messages captured based on community rankings | Brian Heikes, Kristine Amber Krantz, Kelly Monroe Mathews, Russell Scott Medeiros, Richard W. Robinson, Jr. +4 more | 2018-10-16 |
| 9070118 | Methods for capturing electronic messages based on capture rules relating to user actions regarding received electronic messages | Brian Heikes, Kristine Amber Krantz, Kelly Monroe Mathews, Russell Scott Medeiros, Richard W. Robinson, Jr. +4 more | 2015-06-30 |
| 8977533 | System and method for detecting unreachable states in a statemate statechart model | Ulka Shrotri, Ravindra Metta | 2015-03-10 |
| 8775538 | Methods for capturing electronic messages based on capture rules relating to online contexts of users | Brian Heikes, Kristine Amber Krantz, Kelly Monroe Mathews, Russell Scott Medeiros, Richard W. Robinson, Jr. +4 more | 2014-07-08 |
| 8612938 | System and method for automatic generation of test data to satisfy modified condition decision coverage | Bokil Prasad, Darke Priyanka, Shrotri Ulka | 2013-12-17 |
| 8589736 | System and method for automatic test data generation for relational testing | Vijay Suman Pasupuleti, Tukaram B. Muske, Prasad Bokil, Ulka Shrotri, Priyanka Darke | 2013-11-19 |
| 8577972 | Methods and systems for capturing and managing instant messages | Brian Heikes, Kristine Amber Krantz, Kelly Matthews, Russell Scott Medeiros, Richard W. Robinson, Jr. +4 more | 2013-11-05 |
| 8379940 | Robust human authentication using holistic anthropometric and appearance-based features and boosting | Harry Wechsler | 2013-02-19 |
| 8073287 | Recognition by parts using adaptive and robust correlation filters | Harry Wechsler, Hung-Chang Lai | 2011-12-06 |
| 7653693 | Method and system for capturing instant messages | Brian Heikes, Kristine Amber Krantz, Kelly Monroe Mathews, Russell Scott Medeiros, Richard W. Robinson, Jr. +4 more | 2010-01-26 |
| 7369975 | Method and apparatus for pattern based generation of graphical user interfaces (GUI) | Ulka Shrotri | 2008-05-06 |
| 7072810 | Method and apparatus for pattern based generation of graphical user interfaces (GUI) | Ulka Shrotri | 2006-07-04 |