Inventor
CONRAD MIRKO
US9 patents
⚠️ This page may combine multiple inventors who share the name “CONRAD MIRKO”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
CONRAD MIRKO
4 patentsUS8713528B1Apr 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
MATHWORKS INC
3 patentsUS8583414B1Nov 12, 2013
Mapping between code coverage and model coverage for a design
MATHWORKS INC7 citations83
US9612806B2Apr 4, 2017
Verification of computer-executable code generated from a model
MATHWORKS INC10 citations82
US9274928B1Mar 1, 2016
Verification of computer-executable code generated from a model
MATHWORKS INC1 citations61