Santhosh Prabhu
Santhosh Prabhu
Geverifieerd e-mailadres voor illinois.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
212015
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
82017
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
72017
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
62020
Reliability guarantees in automata-based scheduling for embedded control software
A Hazra, P Dasgupta
IEEE Embedded Systems Letters 5 (2), 17-20, 2013
62013
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
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
12018
SELF STABILIZATION IN DISTRIBUTED KNOT DETECTION
PM Santhosh
International Journal of Foundations of Computer Science 24 (06), 913-919, 2013
2013
Handling Fault Detection Latencies in Automata-based Scheduling for Embedded Control Software
M Santhosh Prabhu, A Hazra, P Dasgupta, PP Chakrabarti
Proc. of IEEE Multi-Conference on Systems and Control (MSC), 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–11