8
Publications
1.7K
Citations
8
H-Index
2009
Active since
Affiliations
Ahmed Khurshid is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and computer engineering.
Top concepts
EngineeringComputer ScienceNetwork AnalysisComputer EngineeringSoftware AnalysisFormal VerificationSystems EngineeringManagementVerificationData Modeling
Publications per year
2009–2013
8
8
VeriFlow: verifying network-wide invariants in real time
Ahmed Khurshid, Xuan Kelvin Zou, Wenxuan Zhou et al. · 2013 · 474 citations
Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar et al. · 2012 · 412 citations
Debugging the data plane with anteater
Haohui Mai, Ahmed Khurshid, Rachit Agarwal et al. · 2011 · 368 citations
Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar et al. · ACM SIGCOMM Computer Communication Review · 2012 · 176 citations
Debugging the data plane with anteater
Haohui Mai, Ahmed Khurshid, Rachit Agarwal et al. · ACM SIGCOMM Computer Communication Review · 2011 · 156 citations
Rows per page
1–5 of 8