Sethu; Ramesh

Patent Applications and Registrations

Patent applications and USPTO patent grants for Sethu; Ramesh.The latest application filed is for "driving monitoring and scoring systems and methods".

Company Profile

3.17.22

Sethu; Ramesh - Troy MI
- Troy MI US
Sethu; Ramesh - Bangalore N/A IN

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Correctness preserving optimization of deep neural networks Grant 11,455,538 - Peranandam , et al. September 27, 2	2022-09-27
Driving Monitoring And Scoring Systems And Methods App 20220261627 - Sethu; Ramesh ; et al.	2022-08-18
Correctness Preserving Optimization Of Deep Neural Networks App 20200202214 - Peranandam; Prakash Mohan ; et al.	2020-06-25
Crowdsource-based virtual sensor generation and virtual sensor application control Grant 10534368 -	2020-01-14
Crowdsource-based Virtual Sensor Generation And Virtual Sensor Application Control App 20180373266 - SETHU; RAMESH ; et al.	2018-12-27
Systems And Methods To Reverse Engineer Code To Models Using Program Analysis And Symbolic Execution App 20180081681 - Sethu; Ramesh	2018-03-22
Apparatus And Methodology For Symbolic Execution-based Analysis Of Unintended Interactions In A Computing System App 20180060219 - Sethu; Ramesh	2018-03-01
Methodology And Apparatus For Consistency Check By Comparison Of Ontology Models App 20160179868 - RAJPATHAK; Dnyanesh ; et al.	2016-06-23
Methodology and tool support for test organization and migration for embedded software Grant 9,342,441 - Sethu , et al. May 17, 2	2016-05-17
Automatic linking of requirements using natural language processing Grant 9,342,489 - Sethu , et al. May 17, 2	2016-05-17
Methodology And Tool Support For Test Organization And Migration For Embedded Software App 20150347279 - SETHU; RAMESH ; et al.	2015-12-03
Automatic Linking Of Requirements Using Natural Language Processing App 20150286631 - SETHU; RAMESH ; et al.	2015-10-08
Systems and methods for generating high-quality formal executable software feature requirements Grant 9,152,385 - Chakrapani Rao , et al. October 6, 2	2015-10-06
Software test case generation from a partial design model Grant 8,683,442 - Peranandam , et al. March 25, 2	2014-03-25
Method and apparatus for analyzing software including a calibrated value Grant 8,589,898 - Sukumaran , et al. November 19, 2	2013-11-19
Method and apparatus for analyzing software Grant 8,584,108 - Sukumaran , et al. November 12, 2	2013-11-12
Systems And Methods For Generating High-quality Formal Executable Software Feature Requirements App 20130219354 - Chakrapani Rao; Arun ; et al.	2013-08-22
Timing analysis using formal methods Grant 8,484,009 - Mohalik , et al. July 9, 2	2013-07-09
Online formal verification of executable models Grant 8,453,119 - Mohalik , et al. May 28, 2	2013-05-28
Software Test Case Generation From A Partial Design Model App 20130074040 - Peranandam; Prakash Mohan ; et al.	2013-03-21
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 Grant 8,121,964 - Sampath , et al. February 21, 2	2012-02-21
Parametric analysis of real time response guarantees on interacting software components Grant 8,082,140 - Dixit , et al. December 20, 2	2011-12-20
Timing Analysis Using Formal Methods App 20110282640 - Mohalik; Swarup K. ; et al.	2011-11-17
Method And Apparatus For Analyzing Software Including A Calibrated Value App 20110239203 - Sukumaran; Srihari ; et al.	2011-09-29
Method And Apparatus For Analyzing Software App 20110239204 - Sukumaran; Srihari ; et al.	2011-09-29
Functional Test Generation Through Model Inversion App 20110208501 - Yeolekar; Anand V. ; et al.	2011-08-25
Online Formal Verification Of Executable Models App 20110087923 - Mohalik; Swarup K. ; et al.	2011-04-14
Method and System for Automatic Test-Case Generation for Distributed Embedded Systems App 20110083121 - Dixit; Manoj G. ; et al.	2011-04-07
Automatic Monitor Generation From Quantitative Scenario Based Requirement Specifications App 20110055797 - Gakdari; Ambar A. ; et al.	2011-03-03
Formal Analysis Driven Based Evolution Of Requirements Specifications App 20110041116 - Sampath; Prahladavaradan ; et al.	2011-02-17
Method For Editing Requirements Using Transition Systems App 20100152948 - Sampath; Prahladavaradan ; et al.	2010-06-17
Parametric Analysis Of Real Time Response Guarantees On Interacting Software Components App 20090265147 - Dixit; Manoj G. ; et al.	2009-10-22

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.