loadpatents
Patent applications and USPTO patent grants for Madl; Gabor.The latest application filed is for "formal verification of smart contracts".
Patent | Date |
---|---|
Blockchain authentication via hard/soft token verification Grant 11,297,064 - Bathen , et al. April 5, 2 | 2022-04-05 |
Blu-ray copy service Grant 11,228,424 - Bathen , et al. January 18, 2 | 2022-01-18 |
Formal Verification of Smart Contracts App 20210158463 - Madl; Gabor ;   et al. | 2021-05-27 |
Decentralized change management based on peer devices using a blockchain Grant 10,992,549 - Bathen , et al. April 27, 2 | 2021-04-27 |
Decentralized immutable storage blockchain configuration Grant 10,887,389 - Bathen , et al. January 5, 2 | 2021-01-05 |
Blu-ray Copy Service App 20200389290 - Bathen; Luis Angel ;   et al. | 2020-12-10 |
Cross-chain Validation App 20200252202 - Kind Code | 2020-08-06 |
Decentralized automated software updates via blockchain Grant 10,698,675 - Bathen , et al. | 2020-06-30 |
Decentralized Immutable Storage Blockchain Configuration App 20200145487 - Bathen; Luis Angel D. ;   et al. | 2020-05-07 |
Decentralized Change Management Based On Peer Devices Using A Blockchain App 20200120001 - Bathen; Luis Angel D. ;   et al. | 2020-04-16 |
Using blockchain smart contracts to manage dynamic data usage requirements Grant 10,601,665 - Bathen , et al. | 2020-03-24 |
Blockchain Authentication Via Hard/soft Token Verification App 20200045051 - Bathen; Luis Angel D. ;   et al. | 2020-02-06 |
Decentralized immutable storage blockchain configuration Grant 10,554,746 - Bathen , et al. Fe | 2020-02-04 |
Decentralized change management based on peer devices using a blockchain Grant 10,541,886 - Bathen , et al. Ja | 2020-01-21 |
Blockchain authentication via hard/soft token verification Grant 10,476,879 - Bathen , et al. Nov | 2019-11-12 |
Blockchain Authentication Via Hard/soft Token Verification App 20190036932 - Bathen; Luis Angel D. ;   et al. | 2019-01-31 |
Using Blockchain Smart Contracts To Manage Dynamic Data Usage Requirements App 20190036778 - Bathen; Luis Angel D. ;   et al. | 2019-01-31 |
Decentralized Change Management Based On Peer Devices Using A Blockchain App 20180343175 - Bathen; Luis Angel D. ;   et al. | 2018-11-29 |
Scalable sensor fusion and autonomous x-by-wire control Grant 10,112,606 - Jain , et al. October 30, 2 | 2018-10-30 |
Decentralized Automated Software Updates Via Blockchain App 20180176229 - Bathen; Luis Angel D. ;   et al. | 2018-06-21 |
Decentralized Immutable Storage Blockchain Configuration App 20180139278 - Bathen; Luis Angel D. ;   et al. | 2018-05-17 |
Scalable Sensor Fusion And Autonomous X-by-wire Control App 20170210376 - Jain; Rakesh ;   et al. | 2017-07-27 |
Method for automated error detection and verification of software Grant 9,098,619 - Bhatt , et al. August 4, 2 | 2015-08-04 |
Systems and methods for verifying model equivalence Grant 9,063,672 - Madl , et al. June 23, 2 | 2015-06-23 |
Systems and methods for verifying expression folding Grant 9,027,001 - Easwaran , et al. May 5, 2 | 2015-05-05 |
Error propagation in a system model Grant 8,984,343 - Schloegel , et al. March 17, 2 | 2015-03-17 |
Systems And Methods For Verifying Expression Folding App 20140019943 - Easwaran; Arvind ;   et al. | 2014-01-16 |
Systems And Methods For Verifying Model Equivalence App 20130019224 - Madl; Gabor ;   et al. | 2013-01-17 |
Error Propagation In A System Model App 20120210173 - Schloegel; Kirk ;   et al. | 2012-08-16 |
Method For Automated Error Detection And Verification Of Software App 20110258607 - Bhatt; Devesh ;   et al. | 2011-10-20 |
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.