Assignee
CONRAD MIRKO
US4 patents
Top patents by PatentIndex Score
US8713528B1Apr 29, 2014
Verification of computer-executable code generated from a model
CONRAD MIRKO21 citations90
US8856726B2Oct 7, 2014
Verification of computer-executable code generated from a slice of a model
CONRAD MIRKO22 citations89
US9244510B1Jan 26, 2016
Bug report checks in a modeling system
CONRAD MIRKO20 citations86
US8869103B2Oct 21, 2014
Using intermediate representations to verify computer-executable code generated from a model
CONRAD MIRKO14 citations81