| 12388752 |
System and method for a scalable source notification mechanism for in-network events |
Amir Baniamerian, Xingjun Chu, Yashar GANJALI, Ali Munir |
2025-08-12 |
| 12294501 |
Methods and systems for distributed network verification |
Xingjun Chu |
2025-05-06 |
| 12068963 |
Method and apparatus for source flow slicing for improving the load balancing |
Xingjun Chu, Amir Baniamerian, Shichao Guan, Shiva KETABI |
2024-08-20 |
| 11765041 |
Methods and systems for implementing a high radix network topology |
Amir Baniamerian, Xingjun Chu |
2023-09-19 |
| 11595267 |
Methods and systems for distributed network verification |
Xingjun Chu |
2023-02-28 |
| 11522978 |
Methods, systems, and media for network model checking using entropy based BDD compression |
Xingjun Chu, Mohammed El Azzab, Salaheddine Hamadi |
2022-12-06 |
| 11516089 |
Methods and systems for network verification using hierarchy-based model |
Xingjun Chu |
2022-11-29 |
