Devesh Bhatt

Person

Shoreview, MN, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method for automated error detection and verification of software
- Patent number 9,098,619
- Issue date Aug 4, 2015
- Honeywell International Inc.
- Devesh Bhatt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for verifying model equivalence
- Patent number 9,063,672
- Issue date Jun 23, 2015
- Honeywell International Inc.
- Gabor Madl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for verifying expression folding
- Patent number 9,027,001
- Issue date May 5, 2015
- Honeywell International Inc.
- Arvind Easwaran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type and range propagation through data-flow models
- Patent number 8,984,488
- Issue date Mar 17, 2015
- Honeywell International Inc.
- Devesh Bhatt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Error propagation in a system model
- Patent number 8,984,343
- Issue date Mar 17, 2015
- Honeywell International Inc.
- Kirk Schloegel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Auto-generation of concurrent code for multi-core applications
- Patent number 8,661,424
- Issue date Feb 25, 2014
- Honeywell International Inc.
- Kirk Schloegel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for test generation from hybrid diagrams with...
- Patent number 8,423,879
- Issue date Apr 16, 2013
- Honeywell International Inc.
- Devesh Bhatt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for software vulnerability flow analysis, generation of vuln...
- Patent number 8,407,800
- Issue date Mar 26, 2013
- Honeywell International Inc.
- Kirk A. Schloegel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, apparatus, and system for automatic test generation from st...
- Patent number 8,307,342
- Issue date Nov 6, 2012
- Honeywell International Inc.
- David Oglesby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Distributed engine control system
- Patent number 8,036,805
- Issue date Oct 11, 2011
- Honeywell International Inc.
- Timothy D. Mahoney
- F05 - INDEXING SCHEMES RELATING TO ENGINES OR PUMPS IN VARIOUS SUBCLASSES OF...
Information Patent Grant
Requirements-based test generation
- Patent number 7,644,334
- Issue date Jan 5, 2010
- Honeywell International, Inc.
- Stephen O. Hickman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model-based composable code generation
- Patent number 7,219,328
- Issue date May 15, 2007
- Honeywell International Inc.
- Kirk A. Schloegel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Display of visual data utilizing data aggregation
- Patent number 6,097,399
- Issue date Aug 1, 2000
- Honeywell Inc.
- Devesh Bhatt
- G09 - EDUCATION CRYPTOGRAPHY DISPLAY ADVERTISING SEALS
Information Patent Grant
Monitor circuit
- Patent number 4,636,967
- Issue date Jan 13, 1987
- Honeywell Inc.
- Devesh Bhatt
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEMS AND METHODS FOR VERIFYING EXPRESSION FOLDING
- Publication number 20140019943
- Publication date Jan 16, 2014
- Honeywell International Inc.
- Arvind Easwaran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR VERIFYING MODEL EQUIVALENCE
- Publication number 20130019224
- Publication date Jan 17, 2013
- Honeywell International Inc.
- Gabor Madl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ERROR PROPAGATION IN A SYSTEM MODEL
- Publication number 20120210173
- Publication date Aug 16, 2012
- Honeywell International, Inc.
- Kirk Schloegel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE AND RANGE PROPAGATION THROUGH DATA-FLOW MODELS
- Publication number 20120185729
- Publication date Jul 19, 2012
- Honeywell International Inc.
- Devesh Bhatt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTO-GENERATION OF CONCURRENT CODE FOR MULTI-CORE APPLICATIONS
- Publication number 20120060145
- Publication date Mar 8, 2012
- Honeywell International Inc.
- Kirk Schloegel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR AUTOMATED ERROR DETECTION AND VERIFICATION OF SOFTWARE
- Publication number 20110258607
- Publication date Oct 20, 2011
- Honeywell International Inc.
- Devesh Bhatt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR SOFTWARE VULNERABILITY FLOW ANALYSIS, GENERATION OF VULN...
- Publication number 20110126288
- Publication date May 26, 2011
- Honeywell International Inc.
- Kirk A. Schloegel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHODS OF USING TEST POINTS AND SIGNAL OVERRIDES IN REQ...
- Publication number 20100192128
- Publication date Jul 29, 2010
- Honeywell International Inc.
- Kirk A. Schloegel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DISTRIBUTED ENGINE CONTROL SYSTEM
- Publication number 20090312892
- Publication date Dec 17, 2009
- Honeywell International, Inc.
- Timothy D. Mahoney
- G05 - CONTROLLING REGULATING
Information Patent Application
METHOD AND APPARATUS FOR TEST GENERATION FROM HYBRID DIAGRAMS WITH...
- Publication number 20090287958
- Publication date Nov 19, 2009
- Honeywell International Inc.
- Devesh Bhatt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, Apparatus, And System For Automatic Test Generation From St...
- Publication number 20090287963
- Publication date Nov 19, 2009
- Honeywell International, Inc.
- David Oglesby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Requirements-Based Test Generation
- Publication number 20080126902
- Publication date May 29, 2008
- Honeywell International Inc.
- Stephen O. Hickman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Model-based composable code generation
- Publication number 20040044990
- Publication date Mar 4, 2004
- Honeywell International Inc.
- Kirk A. Schloegel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Framework for domain-independent archetype modeling
- Publication number 20030128214
- Publication date Jul 10, 2003
- Honeywell International Inc.
- David Oglesby
- G06 - COMPUTING CALCULATING COUNTING

Devesh Bhatt

Person

Patents Grantslast 30 patents

Method for automated error detection and verification of software

Systems and methods for verifying model equivalence

Systems and methods for verifying expression folding

Type and range propagation through data-flow models

Error propagation in a system model

Auto-generation of concurrent code for multi-core applications

Method and apparatus for test generation from hybrid diagrams with...

Method for software vulnerability flow analysis, generation of vuln...

Method, apparatus, and system for automatic test generation from st...

Distributed engine control system

Requirements-based test generation

Model-based composable code generation

Display of visual data utilizing data aggregation

Monitor circuit

Patents Applicationslast 30 patents

SYSTEMS AND METHODS FOR VERIFYING EXPRESSION FOLDING

SYSTEMS AND METHODS FOR VERIFYING MODEL EQUIVALENCE

ERROR PROPAGATION IN A SYSTEM MODEL

TYPE AND RANGE PROPAGATION THROUGH DATA-FLOW MODELS

AUTO-GENERATION OF CONCURRENT CODE FOR MULTI-CORE APPLICATIONS

METHOD FOR AUTOMATED ERROR DETECTION AND VERIFICATION OF SOFTWARE

METHOD FOR SOFTWARE VULNERABILITY FLOW ANALYSIS, GENERATION OF VULN...

SYSTEM AND METHODS OF USING TEST POINTS AND SIGNAL OVERRIDES IN REQ...

DISTRIBUTED ENGINE CONTROL SYSTEM

METHOD AND APPARATUS FOR TEST GENERATION FROM HYBRID DIAGRAMS WITH...

Method, Apparatus, And System For Automatic Test Generation From St...

Requirements-Based Test Generation

Model-based composable code generation

Framework for domain-independent archetype modeling