Santhosh Prabhu
Santhosh Prabhu
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
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
352015
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 …, 2020
312020
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
122017
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
82017
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
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–12