Inventor · disambiguated record
Mirko Conrad
Also filed as: CONRAD MIRKO
9 granted patents·147 citations·filing 2008–2014
89Inventor score
Technology areasG06F
Top patents by PatentIndex Score
9 records- 0195US8234105B1Mapping between code coverage and model coverage for a designALDRICH WILLIAM J·Filed 2008·Granted Jul 31, 2012·48 cites·25 claims
- 0291US8856726B2Verification of computer-executable code generated from a slice of a modelCONRAD MIRKO·Filed 2011·Granted Oct 7, 2014·22 cites·24 claims
- 0390US8713528B1Verification of computer-executable code generated from a modelCONRAD MIRKO·Filed 2009·Granted Apr 29, 2014·21 cites·20 claims
- 0488US9244510B1Bug report checks in a modeling systemCONRAD MIRKO·Filed 2011·Granted Jan 26, 2016·20 cites·51 claims
- 0587US9612806B2Verification of computer-executable code generated from a modelMATHWORKS INC·Filed 2014·Granted Apr 4, 2017·10 cites·29 claims
- 0687US8869103B2Using intermediate representations to verify computer-executable code generated from a modelCONRAD MIRKO·Filed 2011·Granted Oct 21, 2014·14 cites·20 claims
- 0786US8583414B1Mapping between code coverage and model coverage for a designMATHWORKS INC·Filed 2013·Granted Nov 12, 2013·7 cites·20 claims
- 0879US8423345B1Mapping between code coverage and model coverage for a designALDRICH WILLIAM J·Filed 2012·Granted Apr 16, 2013·4 cites·20 claims
- 0968US9274928B1Verification of computer-executable code generated from a modelMATHWORKS INC·Filed 2014·Granted Mar 1, 2016·1 cites·23 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →