Inventor · disambiguated record
Daniel Kroening
Also filed as: KROENING DANIEL
5 granted patents·1 pending application·9 citations·filing 2004–2024
67Inventor score
Top patents by PatentIndex Score
6 records- 0167US7418680B2Method and system to check correspondence between different representations of a circuitUNIV CARNEGIE MELLON·Filed 2005·Granted Aug 26, 2008·7 cites·22 claims
- 0252US2024314134A1Analysis of role reachability with transitive tagsAMAZON TECH INC·Filed 2024·Application pending·0 cites
- 0346US7225417B2Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit designUNIV CARNEGIE MELLON·Filed 2004·Granted May 29, 2007·2 cites·39 claims
- 0443US12034727B2Analysis of role reachability with transitive tagsAMAZON TECH INC·Filed 2020·Granted Jul 9, 2024·0 cites·20 claims
- 0541US11757886B2Analysis of role reachability using policy complementsAMAZON TECH INC·Filed 2020·Granted Sep 12, 2023·0 cites·20 claims
- 0632US11442845B2Systems and methods for automatic test generationDiffblue Ltd·Filed 2020·Granted Sep 13, 2022·0 cites·13 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →