Ali Kheradmand

RELATIONSHIP BETWEEN CASH VS. ACCRUAL BASIS OF ACCOUNTING AND ADVANCED MANUFACTURING TECHNOLOGY IN PHARMACEUTICAL COMPANIES IN MAHARASHTRA (INDIA)

Ali Kheradmand, 2012 .

Delta-net: Real-time Network Verification Using Atoms pdf

Mukul R. Prasad, Ali Kheradmand, Alex Horn, 2017, NSDI.

Lockout: Efficient Testing for Deadlock Bugs

George Candea, Baris Kasikci, Ali Kheradmand, 2013 .

P4K: A Formal Semantics of P4 and Applications pdf

Grigore Rosu, Ali Kheradmand, A. Kheradmand, 2018, ArXiv.

Plankton: Scalable network configuration verification through model checking pdf

Brighten Godfrey, Matthew Caesar, Ali Kheradmand, 2019, NSDI.

A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification

Mukul R. Prasad, Ali Kheradmand, Alex Horn, 2019, 2019 IEEE 27th International Conference on Network Protocols (ICNP).

Predicting Network Futures with Plankton

Brighten Godfrey, Matthew Caesar, Ali Kheradmand, 2017, APNet.

Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns

Ali Kheradmand, A. Kheradmand, 2020, SOSR.

Comparing the Social Skills of Students Addicted to Computer Games with Normal Students

Ali Kheradmand, Ahmad Abedi, A. Kheradmand, 2010, Addiction & health.