| Plankton: Scalable network configuration verification through model checking S Prabhu, KY Chou, A Kheradmand, B Godfrey, M Caesar 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020 | 112 | 2020 |
| NetGen: Synthesizing data-plane configurations for network policies S Saha, S Prabhu, P Madhusudan Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking …, 2015 | 50 | 2015 |
| Predicting network futures with plankton S Prabhu, A Kheradmand, B Godfrey, M Caesar Proceedings of the First Asia-Pacific Workshop on Networking, 92-98, 2017 | 14 | 2017 |
| Let me rephrase that: Transparent optimization in sdns S Prabhu, M Dong, T Meng, PB Godfrey, M Caesar Proceedings of the Symposium on SDN Research, 41-47, 2017 | 13 | 2017 |
| Systems for and methods of modelling, analysis and management of data networks A Khurshid, M Caesar, M Dong, PB Godfrey, SPM Prabhu, W Zhou US Patent App. 17/542,119, 2022 | 10 | 2022 |
| Reliability guarantees in automata-based scheduling for embedded control software A Hazra, P Dasgupta IEEE Embedded Systems Letters 5 (2), 17-20, 2013 | 7 | 2013 |
| High-coverage testing of softwarized networks S Prabhu, GI Chaudhry, B Godfrey, M Caesar Proceedings of the 2018 Workshop on Security in Softwarized Networks …, 2018 | 3 | 2018 |
| Handling fault detection latencies in automata-based scheduling for embedded control software MS Prabhu, A Hazra, P Dasgupta, PP Chakrabarti 2013 IEEE Conference on Computer Aided Control System Design (CACSD), 1-6, 2013 | 3 | 2013 |
| Model checking controllers with predicate inputs P Dasgupta 2013 26th International Conference on VLSI Design and 2013 12th …, 2013 | 3 | 2013 |
| Identification of network anomalies GP Subramanian, W Zhou, S Guthula, SPM Prabhu, PB Godfrey US Patent App. 18/195,551, 2024 | 1 | 2024 |
| Methods and apparatus to model and verify a hybrid network GP Subramanian, SPM Prabhu, R Singhal, A Jadhav, R Reja US Patent 11,411,833, 2022 | 1 | 2022 |
| Packet forwarding in a network device A Kheradmand, SPM Prabhu US Patent 11,184,282, 2021 | 1 | 2021 |
| Analysis of temporal behavior in network SPM Prabhu, GP Subramanian, A Nayyar, PB Godfrey US Patent App. 18/195,635, 2024 | | 2024 |
| Formal verification of network changes SPM Prabhu US Patent 12,081,395, 2024 | | 2024 |
| Scaling Data Plane Verification with Intent-based Slicing KY Chou, S Prabhu, G Subramanian, W Zhou, A Nayyar, B Godfrey, ... arXiv preprint arXiv:2405.20982, 2024 | | 2024 |
| Handling device configuration changes in distributed network verification application SPM Prabhu, KY Chou, A Nayyar, GP Subramanian, W Zhou, PB Godfrey US Patent App. 17/945,837, 2024 | | 2024 |
| Evaluation of network correctness requirement SPM Prabhu, KY Chou, A Nayyar, GP Subramanian, W Zhou, PB Godfrey US Patent App. 17/945,833, 2024 | | 2024 |
| Distributed network verification SPM Prabhu, KY Chou, A Nayyar, GP Subramanian, W Zhou, PB Godfrey US Patent App. 17/945,831, 2024 | | 2024 |
| Scalable provenance data display for data plane analysis SPM Prabhu, GP Subramanian, A Jadhav, DN Baheti US Patent App. 17/570,336, 2023 | | 2023 |
| FORTIFY: Software Defined Data Plane Resilience U Farooq, M Anwar, H Noor, R Tahir, S Prabhu, A Kheradmand, M Caesar, ... 2022 IEEE Conference on Network Function Virtualization and Software Defined …, 2022 | | 2022 |
P. Brighten GodfreyUniversity of Illinois at Urbana-Champaign and VMwareDirección de correo verificada de illinois.edu
