Issued Patents All Time
Showing 1–20 of 20 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11888603 | Assurance of security rules in a network | Advait Dixit, Navneet Yadav, Navjyoti Sharma, Ramana Rao Kompella | 2024-01-30 |
| 11645131 | Distributed fault code aggregation across application centric dimensions | John Thomas Monk, Ramana Rao Kompella, Sundar Iyer | 2023-05-09 |
| 11563645 | Shim layer for extracting and prioritizing underlying rules for modeling network intents | Advait Dixit, Ramana Rao Kompella, Sundar Iyer, Shadab Nazar, Chandra Nagarajan | 2023-01-24 |
| 11303531 | Generation of counter examples for network intent formal equivalence failures | — | 2022-04-12 |
| 11218508 | Assurance of security rules in a network | Advait Dixit, Navneet Yadav, Navjyoti Sharma, Ramana Rao Kompella | 2022-01-04 |
| 11178009 | Static network policy analysis for networks | Chandra Nagarajan, Sundar Iyer, Shadab Nazar, Ramana Rao Kompella | 2021-11-16 |
| 11044273 | Assurance of security rules in a network | Advait Dixit, Navneet Yadav, Navjyoti Sharma, Ramana Rao Kompella | 2021-06-22 |
| 10951477 | Identification of conflict rules in a network intent formal equivalence failure | — | 2021-03-16 |
| 10911495 | Assurance of security rules in a network | Advait Dixit, Navneet Yadav, Navjyoti Sharma, Ramana Rao Kompella | 2021-02-02 |
| 10904101 | Shim layer for extracting and prioritizing underlying rules for modeling network intents | Advait Dixit, Ramana Rao Kompella, Sundar Iyer, Shadab Nazar, Chandra Nagarajan | 2021-01-26 |
| 10826788 | Assurance of quality-of-service configurations in a network | Chandra Nagarajan, Ramana Rao Kompella, Divjyot Sethi, Sundar Iyer | 2020-11-03 |
| 10623264 | Policy assurance for service chaining | Ramana Rao Kompella, Advait Dixit, Sundar Iyer | 2020-04-14 |
| 10623271 | Intra-priority class ordering of rules corresponding to a model of network intents | Ramana Rao Kompella | 2020-04-14 |
| 10581694 | Generation of counter examples for network intent formal equivalence failures | — | 2020-03-03 |
| 10560328 | Static network policy analysis for networks | Chandra Nagarajan, Sundar Iyer, Shadab Nazar, Ramana Rao Kompella | 2020-02-11 |
| 10554483 | Network policy analysis for networks | Chandra Nagarajan, Sundar Iyer, Ramana Rao Kompella | 2020-02-04 |
| 10505816 | Semantic analysis to detect shadowing of rules in a model of network intents | Sundar Iyer, Ramana Rao Kompella, Navneet Yadav | 2019-12-10 |
| 10439875 | Identification of conflict rules in a network intent formal equivalence failure | — | 2019-10-08 |
| 8902672 | Methods and apparatus for designing and constructing multi-port memory circuits | Sundar Iyer, Shang-Tse Chuang, Thu Nguyen, Sanjeev Joshi, Adam Kablanian | 2014-12-02 |
| 7979666 | System and method for context-independent codes for off-chip interconnects | Scott Rixner, Mihir Choudhury | 2011-07-12 |