Santhosh Prabhu

About Santhosh Prabhu

Santhosh Prabhu, With an exceptional h-index of 5 and a recent h-index of 4 (since 2020), a distinguished researcher at University of Illinois at Urbana-Champaign,

His recent articles reflect a diverse array of research interests and contributions to the field:

Handling device configuration changes in distributed network verification application

Evaluation of network correctness requirement

Distributed network verification

Scalable provenance data display for data plane analysis

Formal verification of network changes

FORTIFY: Software Defined Data Plane Resilience

Methods and apparatus to model and verify a hybrid network

Systems for and methods of modelling, analysis and management of data networks

Santhosh Prabhu Information

University

Position

___

Citations(all)

175

Citations(since 2020)

135

Cited By

82

hIndex(all)

5

hIndex(since 2020)

4

i10Index(all)

4

i10Index(since 2020)

2

Email

University Profile Page

Google Scholar

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

See List of Professors in Santhosh Prabhu University(University of Illinois at Urbana-Champaign)

Co-Authors

academic-engine