Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12147900 | Verification and synthesis of cyber physical systems with machine learning and constraint-solver-driven learning | Emily Chun Mak | 2024-11-19 |
| 10574525 | Configuration agreement protocol method | Brian A. Coan, Jon Kirsch | 2020-02-25 |
| 10419290 | Systems and methods of in-band network configuration | — | 2019-09-17 |
| 10250444 | Hybrid SDN/legacy policy enforcement | — | 2019-04-02 |
| 9967141 | Systems and methods of in-band network configuration | Samuel Gordon | 2018-05-08 |
| 9736183 | Verifying access-control policies with arithmetic quantifier-free form constraints | Gary Levin | 2017-08-15 |
| 8826366 | Verifying access-control policies with arithmetic quantifier-free form constraints | Gary Levin | 2014-09-02 |
| 8805770 | Router route reconfiguration planning | Gary Levin | 2014-08-12 |
| 8725902 | Optimal network configuration repair | Konstantine Arkoudas | 2014-05-13 |
| 8554796 | Query-based semantic analysis of ad hoc configuration languages for networks | Gary Levin | 2013-10-08 |
| 8315966 | Scalable and interactive method of generating and modifying network configurations to enforce compliance with high-level requirements | Gary Levin, Vikram Kaul, Rajesh Talpade | 2012-11-20 |
| 6091713 | Method and system for estimating the ability of a subscriber loop to support broadband services | Joseph William Lechleider, Charles H. Woloszynski | 2000-07-18 |