Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12126495 | Virtual network verification service | John Cook, Catherine Dodge | 2024-10-22 |
| 11921616 | Retaining Dafny specifications | Tongtong Xiang, Marianna Rapoport, Neha Rungta, Matthias Schlaipfer, Florian Rabe | 2024-03-05 |
| 11797317 | Transitioning legacy software to be provably correct | Tongtong Xiang, Matthias Schlaipfer, Neha Rungta, Serdar Tasiran, John Cook +1 more | 2023-10-24 |
| 11777995 | Resource state validation of access management policies | Ujjwal Rajkumar Pugalia, Neha Rungta, Andrew Jude Gacek, Matthias Schlaipfer, John Michael Renner +5 more | 2023-10-03 |
| 11671442 | Automated packetless network reachability analysis | Catherine Dodge, Nikhil Reddy Cheruku, John Cook, Temesghen Kahsai Azene, William Jo Kocik +3 more | 2023-06-06 |
| 11232015 | Automated software verification service | Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more | 2022-01-25 |
| 11218511 | Resource state validation of access management policies | Ujjwal Rajkumar Pugalia, Neha Rungta, Andrew Jude Gacek, Matthias Schlaipfer, John Michael Renner +5 more | 2022-01-04 |
| 11108805 | Automated packetless network reachability analysis | Catherine Dodge, Nikhil Reddy Cheruku, John Cook, Temesghen Kahsai Azene, William Jo Kocik +3 more | 2021-08-31 |
| 11095523 | Virtual network verification service | John Cook, Catherine Dodge | 2021-08-17 |
| 10977111 | Constraint solver execution service and infrastructure therefor | Neha Rungta, Temesghen Kahsai Azene, Pauline Virginie Bolignano, Kasper Soe Luckow, Catherine Dodge +5 more | 2021-04-13 |
| 10664379 | Automated software verification service | Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more | 2020-05-26 |
| 10469324 | Virtual network verification service | John Cook, Catherine Dodge | 2019-11-05 |
| 9358830 | Canvas having a border capable of being transformed into a frame or shadowbox | — | 2016-06-07 |
| 5061917 | Electronic warning apparatus | Nigel H. Higgs, John R. Storey | 1991-10-29 |