Mirko Conrad
9Patents
6h-index
10Co-inventors
52Inventor score
Filing activity: Jan 8, 2008 → Sep 2, 2014
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US8234105B1 | Mapping between code coverage and model coverage for a design | Physics | 35 | Active |
| US8856726B2 | Verification of computer-executable code generated from a slice of a model | Physics | 17 | Active |
| US8713528B1 | Verification of computer-executable code generated from a model | Physics | 14 | Active |
| US9244510B1 | Bug report checks in a modeling system | Physics | 13 | Active |
| US8869103B2 | Using intermediate representations to verify computer-executable code generated from a model | Physics | 11 | Active |
| US9612806B2 | Verification of computer-executable code generated from a model | Physics | 7 | Active |
| US8583414B1 | Mapping between code coverage and model coverage for a design | Physics | 5 | Active |
| US8423345B1 | Mapping between code coverage and model coverage for a design | Physics | 3 | Active |
| US9274928B1 | Verification of computer-executable code generated from a model | Physics | 1 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.