Kroening; Daniel

Patent Applications and Registrations

Patent applications and USPTO patent grants for Kroening; Daniel.The latest application filed is for "analysis of role reachability using policy complements".

Company Profile

0.3.5

Kroening; Daniel - Oxford GB
Kroening; Daniel - Zurich CH
Kroening; Daniel - Pittsburgh PA

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Systems and methods for automatic test generation Grant 11,442,845 - Schrammel , et al. September 13, 2	2022-09-13
Analysis Of Role Reachability With Transitive Tags App 20220191205 - Cook; John Byron ; et al.	2022-06-16
Analysis Of Role Reachability Using Policy Complements App 20220191206 - Cook; John Byron ; et al.	2022-06-16
Systems and Methods for Automatic Test Generation App 20220179776 - Schrammel; Peter ; et al.	2022-06-09
Method and system to check correspondence between different representations of a circuit Grant 7,418,680 - Clarke , et al. August 26, 2	2008-08-26
Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design Grant 7,225,417 - Clarke , et al. May 29, 2	2007-05-29
Method and system to check correspondence between different representations of a circuit App 20050210433 - Clarke, Edmund M. ; et al.	2005-09-22
Method And System To Verify A Circuit Design App 20050071147 - Clarke, Edmund M. ; et al.	2005-03-31

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.