Follow
Santhosh Prabhu
Santhosh Prabhu
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
Plankton: Scalable network configuration verification through model checking
S Prabhu, KY Chou, A Kheradmand, P Godfrey, M Caesar
arXiv preprint arXiv:1911.02128, 2019
582019
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
412015
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
152017
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
102017
Reliability guarantees in automata-based scheduling for embedded control software
A Hazra, P Dasgupta
IEEE Embedded Systems Letters 5 (2), 17-20, 2013
62013
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
32018
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
32013
Model checking controllers with predicate inputs
P Dasgupta
2013 26th International Conference on VLSI Design and 2013 12th …, 2013
32013
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
2022
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
2022
Packet forwarding in a network device
A Kheradmand, SPM Prabhu
US Patent 11,184,282, 2021
2021
SELF STABILIZATION IN DISTRIBUTED KNOT DETECTION
PM Santhosh
International Journal of Foundations of Computer Science 24 (06), 913-919, 2013
2013
Debugging assertion failures in software controllers using a reference model
K Banerjee, MS Prabhu, P Dasgupta
Proceedings of the 6th India Software Engineering Conference, 79-82, 2013
2013
Model checking controllers with predicate inputs
M Santhosh Prabhu, P Dasgupta
2013
Handling fault detection latencies in automata-based scheduling for embedded control software
M Santhosh Prabhu, A Hazra, P Dasgupta, PP Chakrabarti
2013
The system can't perform the operation now. Try again later.
Articles 1–15