Assignee
CONRAD MIRKO
US·4 granted patents·77 citations·filing 2009–2011
Technology mixG06F4
Top patents by PatentIndex Score
4 records- 0191US8856726B2Verification of computer-executable code generated from a slice of a modelCONRAD MIRKO·Filed 2011·Granted Oct 7, 2014·22 cites·24 claims
- 0290US8713528B1Verification of computer-executable code generated from a modelCONRAD MIRKO·Filed 2009·Granted Apr 29, 2014·21 cites·20 claims
- 0388US9244510B1Bug report checks in a modeling systemCONRAD MIRKO·Filed 2011·Granted Jan 26, 2016·20 cites·51 claims
- 0487US8869103B2Using intermediate representations to verify computer-executable code generated from a modelCONRAD MIRKO·Filed 2011·Granted Oct 21, 2014·14 cites·20 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →