Concepedia

Ali Kheradmand

AK

5

Publications

96

Citations

5

H-Index

2017

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Ali Kheradmand is an author at University of Illinois Urbana-Champaign specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceNetwork AnalysisFormal VerificationNetwork ScienceNetwork ManagementSystems EngineeringComputer Engineering

Publications per year

2017–2022

5

Publications

5

Delta-net: Real-time Network Verification Using Atoms

Alex Horn, Ali Kheradmand, Mukul R. Prasad · arXiv (Cornell University) · 2017 · 41 citations · Full text

Engineering, Verification, Network Analysis +16

P4K: A Formal Semantics of P4 and Applications

Ali Kheradmand, Grigore Roşu · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 21 citations · Full text

Predicting Network Futures with Plankton

Santhosh Prabhu, Ali Kheradmand, Brighten Godfrey et al. · 2017 · 12 citations

Engineering, Verification, Configuration Verification +21

Kinan Dak Albab, Jonathan DiLorenzo, S. Heule et al. · 2022 · 12 citations · Full text

Plankton: Scalable network configuration verification through model checking

Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand et al. · arXiv (Cornell University) · 2019 · 10 citations · Full text

Cluster Computing, Network Configuration Verification, Engineering +17

Rows per page

1–5 of 5