A testability-directed modeling of a communications protocol. - Hazem El-Gendy (ICECS, 1996)

Towards SDL specification of a European OSI-application layer protocol interface for wired personalized communications and distributed multimedia applications. - Hazem El-Gendy (ICECS, 1996)

Towards a foundation for FDT-based conformance testing requirements. - Hazem El-Gendy (ICECS, 1996)

A new theory for equivalence between process specifications. - Hazem El-Gendy (ICECS, 1996)

Advanced wired "follow me" telephony service. - Hazem El-Gendy (ISCC, 1997)

Transformation of Lotos specifications to Estelle specifications. - Hazem El-Gendy; Hoda Baraka (ISCC, 1997)

Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications. - Hazem El-Gendy; Abdel-Wahab Fayez (ISCC, 1997)

Transformation of estelle specifications to lotos specifications. - Hazem El-Gendy; Hani El-Sayed; Abdel-Wahab Fayez (CATA, 1998)

Conformance testing requirements for formal development of testability-directed PICSP. - Hazem El-Gendy; Robert L. Probert (CATA, 1998)

Comparative analysis of the notions of equivalence for process specifications. - Hazem El-Gendy; Hani El-Sayed; Abdel-Wahab Fayez (ISCC, 1998)

Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications. - Hazem El-Gendy; Nabil El-Kadhi (Int. J. Softw. Eng. Knowl. Eng., 2005)

Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos. - Hazem El-Gendy; Nabil El-Kadhi (J. Comput. Methods Sci. Eng., 2005)

Formal methods: Importance, experience, and comparative analysis. - Hazem El-Gendy; Nabil El-Kadhi (J. Comput. Methods Sci. Eng., 2005)

Study of the characteristics of CT-Equivalence with proves. - Hazem El-Gendy (J. Comput. Methods Sci. Eng., 2006)

Advanced method for cryptographic protocol verification. - Nabil El-Kadhi; Hazem El-Gendy (J. Comput. Methods Sci. Eng., 2006)

Formal Automated Transformation of SDL Specifications to Estelle Specifications. - Hazem El-Gendy; Nabil El-Kadhi; Narayan C. Debnath (CATA, 2008)

Formal automated transformation of SDL specifications to Lotos specifications. - Hazem El-Gendy; Nabil El-Kadhi; Narayan C. Debnath (ISCC, 2008)

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 (ISCC, 2008)

Formal development of universal protocol implementations conformance statement proforma. - Hazem El-Gendy (AICCSA, 2009)

Towards mosques management information system. - Hazem El-Gendy; Ahmed Samir; Mahmoud Gebriel; Narayan C. Debnath; Nabil El-Kadhi (AICCSA, 2009)

Towards ISO interface protocol for interactive multimedia intelligent terminals. - Hazem El-Gendy (AICCSA, 2010)

Management scheme for intelligent terminals for the information super-highways. - Hazem El-Gendy; Osman Ibrahim; Nabil El-Kadhi; Narayan C. Debnath (AICCSA, 2010)

Complete management scheme for intelligent terminals for the information super-highways and its design. - Hazem El-Gendy; Nahla El Zant El Kadhi; Osman Ibrahim; Narayan C. Debnath (J. Comput. Methods Sci. Eng., 2010)