| 12401594 |
Method and system to predict the ingress interface of internet traffic |
Rodrigo Fonseca, Sharad Agarwal, Michael Markovitch, Somesh Chaturmohta, Chuanji Zhang +1 more |
2025-08-26 |
| 12395418 |
Network verification systems and methods |
Karthick Jayaraman, Neha Milind Raje, Jitendra D. Padhye, Christopher Scott Johnston, Steven Jeffrey Benaloh +8 more |
2025-08-19 |
| 12199863 |
Ghost routing |
Jitendra D. Padhye, Karthick Jayaraman, Wei Bai, Rachee Singh, Sarah Elisabeth MCCLURE +3 more |
2025-01-14 |
| 12155554 |
Network traffic control using estimated maximum gap |
Behnaz ARZANI, Pooria NAMYAR, Srikanth Kandula, Santiago Martin SEGARRA, Himanshu Raj |
2024-11-26 |
| 11979318 |
Egress traffic engineering in public clouds with commodity routers on the WAN edge |
Abhishek Udupa, Sharad Agarwal, Rachee Singh, Paramvir Bahl |
2024-05-07 |
| 11968088 |
Artificial intelligence for intent-based networking |
Yu Yan, Paramvir Bahl |
2024-04-23 |
| 11936659 |
Automatic verification of safety for virtualized networks |
Sharad Agarwal, Paramvir Bahl, Rachee Singh, Abhishek Udupa |
2024-03-19 |
| 11824727 |
Network configuration verification in computing systems |
Karthick Jayaraman, Nikolaj S. Bjorner |
2023-11-21 |
| 11799731 |
Representation and orchestration for virtual wide area networks |
Sharad Agarwal, Paramvir Bahl, Rachee Singh, Abhishek Udupa |
2023-10-24 |
| 11750498 |
Guarantying SLA thru edge cloud path orchestration |
Sharad Agarwal, Abhishek Udupa, Rachee Singh, Paramvir Bahl |
2023-09-05 |
| 11652742 |
Ghost routing |
Jitendra D. Padhye, Karthick Jayaraman, Wei Bai, Rachee Singh, Sarah Elisabeth MCCLURE +3 more |
2023-05-16 |
| 11632323 |
Routing information exchange between separate networks to improve end-to-end network performance for users |
Rachee Singh, Sharad Agarwal, Paramvir Bahl |
2023-04-18 |
| 11627075 |
Stitching multiple wide area networks together |
Paramvir Bahl, Abhishek Udupa, Sharad Agarwal, Rachee Singh |
2023-04-11 |
| 11611566 |
Automatic verification of safety for virtualized networks |
Sharad Agarwal, Paramvir Bahl, Rachee Singh, Abhishek Udupa |
2023-03-21 |
| 11595264 |
Provisioning edge backhauls for dynamic workloads |
Rachee Singh, Sharad Agarwal, Abhishek Udupa, Paramvir Bahl |
2023-02-28 |
| 11570102 |
Network diagnostic to control path between partner network and WAN |
Sharad Agarwal, Abhishek Udupa, Rachee Singh, Paramvir Bahl |
2023-01-31 |
| 11563678 |
Orchestration of overlay paths for wide area network virtualization |
Abhishek Udupa, Sharad Agarwal, Rachee Singh, Paramvir Bahl |
2023-01-24 |
| 11516088 |
Network configuration verification in computing systems |
Karthick Jayaraman, Nikolaj S. Bjorner |
2022-11-29 |
| 11121934 |
Network verification systems and methods |
Karthick Jayaraman, Neha Milind Raje, Jitendra D. Padhye, Christopher Scott Johnston, Steven Jeffrey Benaloh +8 more |
2021-09-14 |
