| 11895223 |
Cross-chain validation |
Luis Angel D. Bathen, Ramani R. Routray, Diego A. Masini, Dulce B. Ponceleon |
2024-02-06 |
| 11587189 |
Formal verification of smart contracts |
Luis Angel D. Bathen, Ramani R. Routray |
2023-02-21 |
| 11297064 |
Blockchain authentication via hard/soft token verification |
Luis Angel D. Bathen, Ramani R. Routray |
2022-04-05 |
| 11228424 |
Blu-ray copy service |
Luis Angel D. Bathen, Dulce B. Ponceleon |
2022-01-18 |
| 10992549 |
Decentralized change management based on peer devices using a blockchain |
Luis Angel D. Bathen, Ramani R. Routray, Mu Qiao |
2021-04-27 |
| 10887389 |
Decentralized immutable storage blockchain configuration |
Luis Angel D. Bathen, Ramani R. Routray, Mu Qiao |
2021-01-05 |
| 10698675 |
Decentralized automated software updates via blockchain |
Luis Angel D. Bathen, Mu Qiao, Ramani R. Routray |
2020-06-30 |
| 10601665 |
Using blockchain smart contracts to manage dynamic data usage requirements |
Luis Angel D. Bathen, Ramani R. Routray, Sangeetha Seshadri |
2020-03-24 |
| 10554746 |
Decentralized immutable storage blockchain configuration |
Luis Angel D. Bathen, Ramani R. Routray, Mu Qiao |
2020-02-04 |
| 10541886 |
Decentralized change management based on peer devices using a blockchain |
Luis Angel D. Bathen, Ramani R. Routray, Mu Qiao |
2020-01-21 |
| 10476879 |
Blockchain authentication via hard/soft token verification |
Luis Angel D. Bathen, Ramani R. Routray |
2019-11-12 |
| 10112606 |
Scalable sensor fusion and autonomous x-by-wire control |
Rakesh Jain, Ramani R. Routray, Yang Song |
2018-10-30 |
| 9098619 |
Method for automated error detection and verification of software |
Devesh Bhatt, David V. Oglesby, Kirk Schloegel |
2015-08-04 |
| 9063672 |
Systems and methods for verifying model equivalence |
David V. Oglesby, Kuntal Chakraborty, Devesh Bhatt, Stephen Otis Hickman |
2015-06-23 |
| 9027001 |
Systems and methods for verifying expression folding |
Arvind Easwaran, David V. Oglesby, Devesh Bhatt |
2015-05-05 |
| 8984343 |
Error propagation in a system model |
Kirk Schloegel, Devesh Bhatt, David V. Oglesby |
2015-03-17 |
