Inventor

SETHU RAMESH

US25 patents

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

SETHU RAMESH

GM GLOBAL TECH OPERATIONS LLC

Crowdsource-based virtual sensor generation and virtual sensor application control

Charging infrastructure and remote computing system for electric vehicle computing node

System amd method for providing a ride assistant for on-demand autonomy

Architecture and methodology for vehicle motion control health monitoring and mitigation

System and method for detecting a trailer coupler and planning a trajectory

Method and system for using idle computing power of an electric vehicle

Electronics and data resource sharing marketplace platform

System, and methods for implementing a server architecture for an On-Demand Autonomy (ODA) service

System and method for software architecture for leader vehicle capabilities for an on-demand autonomy (ODA) service

Methods and systems for indicating a driving situation to external users

Method for following a lead vehicle without vehicle-to-vehicle communication

Cooperative system architecture for engineering asset management and sharing

System and process for vehicle software configuration coverage measurement for update validation

Correctness preserving optimization of deep neural networks

Situational recommendations and control

GM GLOBAL TECH OPERATIONS INC

Automatic linking of requirements using natural language processing

Methodology and tool support for test organization and migration for embedded software

SUKUMARAN SRIHARI

Method and apparatus for analyzing software

Method and apparatus for analyzing software including a calibrated value

MOHALIK SWARUP K

Timing analysis using formal methods

Online formal verification of executable models

PERANANDAM PRAKASH MOHAN

Software test case generation from a partial design model

SAMPATH PRAHLADAVARADAN

State machine method for editing requirements using transition systems, a sub-state mechanism, and a partial behaviors mechanism in order to reduce complexity and the number of states

CHAKRAPANI RAO ARUN

Systems and methods for generating high-quality formal executable software feature requirements

DIXIT MANOJ G

Parametric analysis of real time response guarantees on interacting software components