Santhosh Prabhu
University of Illinois at Urbana-Champaign
H-index: 5
North America-United States
Top articles of Santhosh Prabhu
Handling device configuration changes in distributed network verification application
2024/3/14
Evaluation of network correctness requirement
2024/3/14
Distributed network verification
2024/3/14
Scalable provenance data display for data plane analysis
2023/3/30
Formal verification of network changes
2023/3/2
FORTIFY: Software Defined Data Plane Resilience
2022/11/14
Methods and apparatus to model and verify a hybrid network
2022/8/9
Systems for and methods of modelling, analysis and management of data networks
2022/3/24
Packet forwarding in a network device
2021/11/23
Plankton: Scalable network configuration verification through model checking
2020