Membership
Tour
Register
Log in
Jun Yan
Follow
Person
Westborough, MA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 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
Verification of computer-executable code generated from a model
Patent number
9,158,654
Issue date
Oct 13, 2015
The MathWorks, Inc.
Joel David Thornton
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 Applications
last 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