Khalid Elbadawi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2009–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CNSM | Towards an efficient verification approach on network configuration. | Khalid Elbadawi, Yongning Tang, James T. Yu |
| 2011 | ICCCN | Improving Network Services Configuration Management. | Khalid Elbadawi, James T. Yu |
| 2010 | GLOBECOM | High Level Abstraction Modeling for Network Configuration Validation. | Khalid Elbadawi, James T. Yu |
| 2009 | CCS | TimeVM: a framework for online intrusion mitigation and fast recovery using multi-time-lag traffic replay. | Khalid Elbadawi, Ehab Al-Shaer |
| 2009 | ICNP | Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security. | Ehab Al-Shaer, Wilfredo Marrero, Adel El-Atawy, Khalid Elbadawi |