Appa Rao Nirakh

Follow

Person

Framingham, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Verification of computer-executable code generated from a model
- Patent number 9,612,806
- Issue date Apr 4, 2017
- The MathWorks, Inc.
- Mirko Conrad
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using intermediate representations to verify computer-executable co...
- Patent number 8,869,103
- Issue date Oct 21, 2014
- The MathWorks, Inc.
- Mirko Conrad
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of computer-executable code generated from a slice of...
- Patent number 8,856,726
- Issue date Oct 7, 2014
- The MathWorks, Inc.
- Mirko Conrad
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL
- Publication number 20140380269
- Publication date Dec 25, 2014
- Mirko Conrad
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL
- Publication number 20120254827
- Publication date Oct 4, 2012
- The MathWorks, Inc.
- Mirko CONRAD
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL
- Publication number 20120254830
- Publication date Oct 4, 2012
- The MathWorks, Inc.
- Mirko CONRAD
- G06 - COMPUTING CALCULATING COUNTING