| 2010 | AICCSA | Towards ISO interface protocol for interactive multimedia intelligent terminals. | Hazem El-Gendy |
| 2010 | AICCSA | Management scheme for intelligent terminals for the information super-highways. | Hazem El-Gendy, Osman Ibrahim, Nabil El-Kadhi, Narayan C. Debnath |
| 2009 | AICCSA | Formal development of universal protocol implementations conformance statement proforma. | Hazem El-Gendy |
| 2009 | AICCSA | Towards mosques management information system. | Hazem El-Gendy, Ahmed Samir, Mahmoud Gebriel, Narayan C. Debnath, Nabil El-Kadhi |
| 2008 | CATA | Formal Automated Transformation of SDL Specifications to Estelle Specifications. | Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath |
| 2008 | ISCC | Formal automated transformation of SDL specifications to Lotos specifications. | Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath |
| 2008 | ISCC | Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques. | Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath |
| 1998 | CATA | Transformation of estelle specifications to lotos specifications. | Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez |
| 1998 | CATA | Conformance testing requirements for formal development of testability-directed PICSP. | Hazem El-Gendy, Robert L. Probert |
| 1998 | ISCC | Comparative analysis of the notions of equivalence for process specifications. | Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez |
| 1997 | ISCC | Advanced wired "follow me" telephony service. | Hazem El-Gendy |
| 1997 | ISCC | Transformation of Lotos specifications to Estelle specifications. | Hazem El-Gendy, Hoda Baraka |
| 1997 | ISCC | Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications. | Hazem El-Gendy, Abdel-Wahab Fayez |