Inventor · disambiguated record
Ramesh Sethu
Also filed as: SETHU RAMESH
25 granted patents·16 pending applications·45 citations·filing 2008–2023
92Inventor score
Files withGM GLOBAL TECH OPERATIONS LLC26GM GLOBAL TECH OPERATIONS INC7MOHALIK SWARUP K2SUKUMARAN SRIHARI2CHAKRAPANI RAO ARUN1
Top patents by PatentIndex Score
41 records- 0191US11869025B2Charging infrastructure and remote computing system for electric vehicle computing nodeGM GLOBAL TECH OPERATIONS LLC·Filed 2022·Granted Jan 9, 2024·2 cites·20 claims
- 0291US10534368B2Crowdsource-based virtual sensor generation and virtual sensor application controlGM GLOBAL TECH OPERATIONS LLC·Filed 2017·Granted Jan 14, 2020·10 cites·9 claims
- 0382US9342489B2Automatic linking of requirements using natural language processingGM GLOBAL TECH OPERATIONS INC·Filed 2014·Granted May 17, 2016·7 cites·23 claims
- 0482US8683442B2Software test case generation from a partial design modelPERANANDAM PRAKASH MOHAN·Filed 2011·Granted Mar 25, 2014·15 cites·19 claims
- 0580US12223841B2System amd method for providing a ride assistant for on-demand autonomyGM GLOBAL TECH OPERATIONS LLC·Filed 2021·Granted Feb 11, 2025·1 cites·20 claims
- 0669US9342441B2Methodology and tool support for test organization and migration for embedded softwareGM GLOBAL TECH OPERATIONS INC·Filed 2014·Granted May 17, 2016·2 cites·21 claims
- 0763US8484009B2Timing analysis using formal methodsMOHALIK SWARUP K·Filed 2010·Granted Jul 9, 2013·4 cites·17 claims
- 0862US12441242B2System and method for detecting a trailer coupler and planning a trajectoryGM GLOBAL TECH OPERATIONS LLC·Filed 2023·Granted Oct 14, 2025·0 cites·20 claims
- 0961US12358391B2Method and system for using idle computing power of an electric vehicleGM GLOBAL TECH OPERATIONS LLC·Filed 2022·Granted Jul 15, 2025·0 cites·20 claims
- 1061US8584108B2Method and apparatus for analyzing softwareSUKUMARAN SRIHARI·Filed 2010·Granted Nov 12, 2013·3 cites·22 claims
- 1159US11790775B2Methods and systems for indicating a driving situation to external usersGM GLOBAL TECH OPERATIONS LLC·Filed 2021·Granted Oct 17, 2023·0 cites·20 claims
- 1258US12304514B2Method for following a lead vehicle without vehicle-to-vehicle communicationGM GLOBAL TECH OPERATIONS LLC·Filed 2023·Granted May 20, 2025·0 cites·18 claims
- 1358US12026165B2Cooperative system architecture for engineering asset management and sharingGM GLOBAL TECH OPERATIONS LLC·Filed 2022·Granted Jul 2, 2024·0 cites·20 claims
- 1458US2024143599A1Dynamic service marketplace query building and decomposition systemGM GLOBAL TECH OPERATIONS LLC·Filed 2022·Application pending·0 cites
- 1556US2025065899A1Misbehavior detection and interventionGM GLOBAL TECH OPERATIONS LLC·Filed 2023·Application pending·0 cites
- 1656US2025074453A1Rigorous development and analysys of autonomous driving requirements and test cases using multi-domain ontologiesGM GLOBAL TECH OPERATIONS LLC·Filed 2023·Application pending·0 cites
- 1754US11861530B2System, and methods for implementing a server architecture for an On-Demand Autonomy (ODA) serviceGM GLOBAL TECH OPERATIONS LLC·Filed 2021·Granted Jan 2, 2024·0 cites·18 claims
- 1851US12280789B2Architecture and methodology for vehicle motion control health monitoring and mitigationGM GLOBAL TECH OPERATIONS LLC·Filed 2022·Granted Apr 22, 2025·0 cites·18 claims
- 1951US2023049206A1System, architecture and methods enabling use of on-demand-autonomy serviceGM GLOBAL TECH OPERATIONS LLC·Filed 2021·Application pending·0 cites
- 2050US12137366B2Electronics and data resource sharing marketplace platformGM GLOBAL TECH OPERATIONS LLC·Filed 2022·Granted Nov 5, 2024·0 cites·20 claims
- 2150US11862024B2System and method for software architecture for leader vehicle capabilities for an on-demand autonomy (ODA) serviceGM GLOBAL TECH OPERATIONS LLC·Filed 2021·Granted Jan 2, 2024·0 cites·20 claims
- 2250US8453119B2Online formal verification of executable modelsMOHALIK SWARUP K·Filed 2009·Granted May 28, 2013·0 cites·17 claims
- 2349US12459359B2Situational recommendations and controlGM GLOBAL TECH OPERATIONS LLC·Filed 2023·Granted Nov 4, 2025·0 cites·20 claims
- 2449US11803365B2System and process for vehicle software configuration coverage measurement for update validationGM GLOBAL TECH OPERATIONS LLC·Filed 2022·Granted Oct 31, 2023·0 cites·20 claims
- 2549US2023072230A1System amd method for scene based positioning and linking of vehicles for on-demand autonomyGM GLOBAL TECH OPERATIONS LLC·Filed 2021·Application pending·0 cites
- 2649US2011055797A1Automatic monitor generation from quantitative scenario based requirement specificationsGM GLOBAL TECH OPERATIONS INC·Filed 2009·Application pending·0 cites
- 2749US2024168748A1Continuous integration and continuous delivery of artificial intelligence machine learning components using metamorphic relationsGM GLOBAL TECH OPERATIONS LLC·Filed 2022·Application pending·0 cites
- 2847US9152385B2Systems and methods for generating high-quality formal executable software feature requirementsCHAKRAPANI RAO ARUN·Filed 2012·Granted Oct 6, 2015·1 cites·20 claims
- 2947US2023139521A1Neural network validation systemGM GLOBAL TECH OPERATIONS LLC·Filed 2021·Application pending·0 cites
- 3047US2016179868A1Methodology and apparatus for consistency check by comparison of ontology modelsGM GLOBAL TECH OPERATIONS INC·Filed 2014·Application pending·0 cites
- 3146US2024152345A1System for determining a representative vehicle software configuration for analysisGM GLOBAL TECH OPERATIONS LLC·Filed 2022·Application pending·0 cites
- 3244US2022261627A1Driving monitoring and scoring systems and methodsGM GLOBAL TECH OPERATIONS LLC·Filed 2021·Application pending·0 cites
- 3342US2011083121A1Method and System for Automatic Test-Case Generation for Distributed Embedded SystemsGM GLOBAL TECH OPERATIONS INC·Filed 2009·Application pending·0 cites
- 3442US2011041116A1Formal analysis driven based evolution of requirements specificationsGM GLOBAL TECH OPERATIONS INC·Filed 2009·Application pending·0 cites
- 3540US8121964B2State 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 statesSAMPATH PRAHLADAVARADAN·Filed 2008·Granted Feb 21, 2012·0 cites·19 claims
- 3639US2018060219A1Apparatus and methodology for symbolic execution-based analysis of unintended interactions in a computing systemGM GLOBAL TECH OPERATIONS LLC·Filed 2016·Application pending·0 cites
- 3739US2011208501A1Functional test generation through model inversionGM GLOBAL TECH OPERATIONS INC·Filed 2010·Application pending·0 cites
- 3839US2018081681A1Systems and methods to reverse engineer code to models using program analysis and symbolic executionGM GLOBAL TECH OPERATIONS LLC·Filed 2016·Application pending·0 cites
- 3938US8082140B2Parametric analysis of real time response guarantees on interacting software componentsDIXIT MANOJ G·Filed 2008·Granted Dec 20, 2011·0 cites·16 claims
- 4033US11455538B2Correctness preserving optimization of deep neural networksGM GLOBAL TECH OPERATIONS LLC·Filed 2018·Granted Sep 27, 2022·0 cites·20 claims
- 4131US8589898B2Method and apparatus for analyzing software including a calibrated valueSUKUMARAN SRIHARI·Filed 2010·Granted Nov 19, 2013·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Ramesh Sethu files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →