Daniel Kroening
5Patents
2h-index
8Co-inventors
40Inventor score
Filing activity: Feb 5, 2004 → Dec 11, 2020
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7418680B2 | Method and system to check correspondence between different representations of a circuit | Physics | 4 | Expired |
| US7225417B2 | Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design | Physics | 2 | Expired |
| US11757886B2 | Analysis of role reachability using policy complements | Physics | 0 | Active |
| US12034727B2 | Analysis of role reachability with transitive tags | Electricity | 0 | Active |
| US11442845B2 | Systems and methods for automatic test generation | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.