Ahmed Elhassany
Ahmed Elhassany
Verified email at swisscom.com - Homepage
Cited by
Cited by
Troubleshooting blackbox SDN control software with minimal causal sequences
C Scott, A Wundsam, B Raghavan, A Panda, A Or, J Lai, E Huang, Z Liu, ...
ACM SIGCOMM Computer Communication Review 44 (4), 395-406, 2014
Network-wide configuration synthesis
A El-Hassany, P Tsankov, L Vanbever, M Vechev
International Conference on Computer Aided Verification, 261-281, 2017
SDNRacer: concurrency analysis for software-defined networks
A El-Hassany, J Miserez, P Bielik, L Vanbever, M Vechev
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
A El-Hassany, P Tsankov, L Vanbever, M Vechev
15th {USENIX} Symposium on Networked Systems Design and Implementation …, 2018
SDNRacer: Detecting concurrency violations in software-defined networks
J Miserez, P Bielik, A El-Hassany, L Vanbever, M Vechev
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking …, 2015
Design and implementation of a unified network information service
A El-Hassany, E Kissel, D Gunter, M Swany
Services Computing (SCC), 2013 IEEE International Conference on, 224-231, 2013
BigBug: Practical Concurrency Analysis for SDN
R May, A El-Hassany, L Vanbever, M Vechev
Symposium on SDN Research (SOSR), 2017
Efficient communication and collection with compact normal forms
EZ Yang, G Campagna, ÖS Ağacan, A El-Hassany, A Kulkarni, ...
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
Scalable integrated performance analysis of multi-gigabit networks
E Kissel, A El-Hassany, G Fernandes, M Swany, D Gunter, T Samak, ...
Network Operations and Management Symposium (NOMS), 2012 IEEE, 1227-1233, 2012
An Instrumentation and Measurement Framework for End-to-End Performance Analyis
E Kissel, D Gunter, T Samak, A El-Hassany, G Fernandes, M Swany
Technical Report 2011/04, University of Delaware, 2011
The system can't perform the operation now. Try again later.
Articles 1–10