Gabor Madl

Follow

Person

St. Louis Park, 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
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

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
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