David V. Oglesby

Person

Brooklyn Center, 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
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, 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
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

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
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
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
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
Method and System for Metamodeling Using Dynamic Ontology Objects
- Publication number 20080228812
- Publication date Sep 18, 2008
- Honeywell International Inc.
- David V. Oglesby
- 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

David V. Oglesby

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

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

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

Model-based composable code generation

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

METHOD FOR AUTOMATED ERROR DETECTION AND VERIFICATION OF SOFTWARE

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

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

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

Method and System for Metamodeling Using Dynamic Ontology Objects

Model-based composable code generation

Framework for domain-independent archetype modeling