CUFinder

Ali Kheradmand

About Ali Kheradmand

Ali Kheradmand, With an exceptional h-index of 10 and a recent h-index of 9 (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:

FORTIFY: Software Defined Data Plane Resilience

SwitchV: automated SDN switch validation with P4 models

Foundations for practical network verification

Packet forwarding in a network device

Towards verified self-driving infrastructure

Automatic inference of high-level network intents by mining forwarding patterns

Network property verification

Plankton: Scalable network configuration verification through model checking

Ali Kheradmand Information

University

Position

___

Citations(all)

341

Citations(since 2020)

299

Cited By

141

hIndex(all)

10

hIndex(since 2020)

9

i10Index(all)

10

i10Index(since 2020)

8

Email

University Profile Page

Google Scholar

Top articles of Ali Kheradmand

FORTIFY: Software Defined Data Plane Resilience

2022/11/14

Umar Farooq
Umar Farooq

H-Index: 19

Santhosh Prabhu
Santhosh Prabhu

H-Index: 4

Ali Kheradmand
Ali Kheradmand

H-Index: 6

Matthew Caesar
Matthew Caesar

H-Index: 31

SwitchV: automated SDN switch validation with P4 models

2022/8/22

Kinan Dak Albab
Kinan Dak Albab

H-Index: 4

Jonathan Dilorenzo
Jonathan Dilorenzo

H-Index: 2

Ali Kheradmand
Ali Kheradmand

H-Index: 6

Steffen Smolka
Steffen Smolka

H-Index: 6

Konstantin Weitz
Konstantin Weitz

H-Index: 6

Jiaqi Gao
Jiaqi Gao

H-Index: 4

Minlan Yu
Minlan Yu

H-Index: 34

Foundations for practical network verification

2021/12/2

Ali Kheradmand
Ali Kheradmand

H-Index: 6

Packet forwarding in a network device

2021/11/23

Towards verified self-driving infrastructure

2020/11/4

Ali Kheradmand
Ali Kheradmand

H-Index: 6

Matthew Caesar
Matthew Caesar

H-Index: 31

Automatic inference of high-level network intents by mining forwarding patterns

2020/3/3

Ali Kheradmand
Ali Kheradmand

H-Index: 6

Network property verification

2020/2/25

Plankton: Scalable network configuration verification through model checking

2020

Santhosh Prabhu
Santhosh Prabhu

H-Index: 4

Ali Kheradmand
Ali Kheradmand

H-Index: 6

Matthew Caesar
Matthew Caesar

H-Index: 31

See List of Professors in Ali Kheradmand University(University of Illinois at Urbana-Champaign)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine