Daniel Kroening — 5 Patents at Amazon

Daniel Kroening has been granted 5 US patents while listed as an inventor at Amazon. The first was granted in 2007 and the most recent in July 2024. Daniel Kroening ranks #907,971 of 4,157,543 US inventors in our database (top 21.8%). Patent records list Daniel Kroening in Pittsburgh, PA, US.

Issued Patents All Time

Showing 1–5 of 5 patents

Patent #	Title	Co-Inventors	Date	Approx Value ⓘ
12034727	Analysis of role reachability with transitive tags	John Cook, Neha Rungta, Carsten Varming, Daniel George Peebles, Alejandro Naser Pastoriza	2024-07-09	$295,229,000
11757886	Analysis of role reachability using policy complements	John Cook, Neha Rungta, Carsten Varming, Daniel George Peebles, Alejandro Naser Pastoriza	2023-09-12	$305,021,000
11442845	Systems and methods for automatic test generation	Peter Schrammel	2022-09-13
7418680	Method and system to check correspondence between different representations of a circuit	Edmund M. Clarke	2008-08-26
7225417	Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design	Edmund M. Clarke, Karen Frida Yorav	2007-05-29

Daniel Kroening — 5 Patents

Issued Patents All Time

Patent Widget