Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9767010 | Performing dynamic data generation and verification for functional validation of data manipulation programs | Anthony T. Sofia | 2017-09-19 |
| 9720950 | Verification of record based systems | Anthony T. Sofia | 2017-08-01 |
| 9690819 | Verification of record based systems | Anthony T. Sofia | 2017-06-27 |
| 9645747 | Management of allocation for alias devices | Susan K. Candelaria, Scott B. Compton, Ilene A. Goldman, Matthew J. Kalos, John R. Paveza +4 more | 2017-05-09 |
| 9588913 | Management of allocation for alias devices | Susan K. Candelaria, Scott B. Compton, Ilene A. Goldman, Matthew J. Kalos, John R. Paveza +4 more | 2017-03-07 |