| 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 |