Scalable integrated performance analysis of multi-gigabit networks. - Ezra Kissel; Ahmed El-Hassany; Guilherme Fernandes; D. Martin Swany; Dan Gunter; Taghrid Samak; Jennifer M. Schopf (NOMS, 2012)

Design and Implementation of a Unified Network Information Service. - Ahmed El-Hassany; Ezra Kissel; Dan Gunter; D. Martin Swany (IEEE SCC, 2013)

Troubleshooting blackbox SDN control software with minimal causal sequences. - Colin Scott; Andreas Wundsam; Barath Raghavan; Aurojit Panda; Andrew Or; Jefferson Lai; Eugene Huang; Zhi Liu; Ahmed El-Hassany; Sam Whitlock; Hrishikesh B. Acharya; Kyriakos Zarifis; et al. (SIGCOMM, 2014)

Efficient communication and collection with compact normal forms. - Edward Z. Yang; Giovanni Campagna; Ömer S. Agacan; Ahmed El-Hassany; Abhishek Kulkarni; Ryan R. Newton (ICFP, 2015)

SDNRacer: detecting concurrency violations in software-defined networks. - Jeremie Miserez; Pavol Bielik; Ahmed El-Hassany; Laurent Vanbever; Martin T. Vechev (SOSR, 2015)

SDNRacer: concurrency analysis for software-defined networks. - Ahmed El-Hassany; Jeremie Miserez; Pavol Bielik; Laurent Vanbever; Martin T. Vechev (PLDI, 2016)

Network-Wide Configuration Synthesis. - Ahmed El-Hassany; Petar Tsankov; Laurent Vanbever; Martin T. Vechev (CAV (2), 2017)

BigBug: Practical Concurrency Analysis for SDN. - Roman May; Ahmed El-Hassany; Laurent Vanbever; Martin T. Vechev (SOSR, 2017)

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. - Ahmed El-Hassany; Petar Tsankov; Laurent Vanbever; Martin T. Vechev (NSDI, 2018)

Towards reliable network control planes. - Ahmed El-Hassany (2019)