Inventor

RAMANATHAN VENKATESH

US23 patents

⚠️ This page may combine multiple inventors who share the name “RAMANATHAN VENKATESH”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

RAMANATHAN VENKATESH

TATA CONSULTANCY SERVICES LTD

Method and apparatus for pattern based generation of graphical user interfaces (GUI)

Method and apparatus for pattern based generation of graphical user interfaces (GUI)

Method and system for test case generation for event based systems using graph path traversal

Method and system for counter example guided loop abstraction refinement

Systems and methods for optimizing performance parameters of air handling units in infrastructures

Controlling behavior of an internet of things (IoT) automation system by identifying policy violations

Optimized HVAC control using domain knowledge combined with deep reinforcement learning (DRL)

Method and system for function call and variable access based relaxed backward slicing

Method and system for validation of calculation code against calculation specification

System and method for software verification

Systems and methods for automated code generation for calculation based on associated formal specifications

Data structure abstraction for model checking

HEIKES BRIAN DEAN

Methods for capturing electronic messages based on capture rules relating to online contexts of users

Methods for capturing electronic messages based on capture rules relating to user actions regarding received electronic messages

Methods for controlling display of electronic messages captured based on community rankings

AOL LLC

Method and system for capturing instant messages

HEIKES BRIAN D

Methods and systems for capturing and managing instant messages

WECHSLER HARRY

Recognition by parts using adaptive and robust correlation filters

GEORGE MASON INTELLECTUAL PROP

Robust human authentication using holistic anthropometric and appearance-based features and boosting

PRASAD BOKIL

System and method for automatic generation of test data to satisfy modified condition decision coverage

PAYPAL INC

Automated machine learning feature processing

PASUPULETI VIJAY SUMAN

System and method for automatic test data generation for relational testing

SHROTRI ULKA

System and method for detecting unreachable states in a statemate statechart model