Inventor

OGLESBY DAVID V

US6 patents

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

BHATT DEVESH

2 patents

US9098619B2Aug 4, 2015

Method for automated error detection and verification of software

BHATT DEVESH6 citations69

US8984488B2Mar 17, 2015

Type and range propagation through data-flow models

BHATT DEVESH6 citations65

HONEYWELL INT INC

1 patent

US7219328B2May 15, 2007

Model-based composable code generation

HONEYWELL INT INC65 citations95

MADL GABOR

1 patent

US9063672B2Jun 23, 2015

Systems and methods for verifying model equivalence

MADL GABOR5 citations62

SCHLOEGEL KIRK

1 patent

US8984343B2Mar 17, 2015

Error propagation in a system model

SCHLOEGEL KIRK2 citations59

EASWARAN ARVIND

1 patent

US9027001B2May 5, 2015

Systems and methods for verifying expression folding

EASWARAN ARVIND3 citations58