Hazem El-Gendy

Publication Activity (10 Years)

Years Active: 1996-2010
Publications (10 Years): 0

Publications

Hazem El-Gendy, Osman Ibrahim, Nabil El-Kadhi, Narayan C. Debnath
Management scheme for intelligent terminals for the information super-highways. AICCSA (2010)
Hazem El-Gendy
Towards ISO interface protocol for interactive multimedia intelligent terminals. AICCSA (2010)
Hazem El-Gendy, Nahla El Zant El Kadhi, Osman Ibrahim, Narayan C. Debnath
Complete management scheme for intelligent terminals for the information super-highways and its design. J. Comput. Methods Sci. Eng. 10 (3-6) (2010)
Hazem El-Gendy, Ahmed Samir, Mahmoud Gebriel, Narayan C. Debnath, Nabil El-Kadhi
Towards mosques management information system. AICCSA (2009)
Hazem El-Gendy
Formal development of universal protocol implementations conformance statement proforma. AICCSA (2009)
Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath
Formal automated transformation of SDL specifications to Lotos specifications. ISCC (2008)
Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath
Formal Automated Transformation of SDL Specifications to Estelle Specifications. CATA (2008)
Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath
Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques. ISCC (2008)
Hazem El-Gendy
Study of the characteristics of CT-Equivalence with proves. J. Comput. Methods Sci. Eng. 6 (5-6) (2006)
Nabil El-Kadhi, Hazem El-Gendy
Advanced method for cryptographic protocol verification. J. Comput. Methods Sci. Eng. 6 (5-6) (2006)
Hazem El-Gendy, Nabil El-Kadhi
Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications. Int. J. Softw. Eng. Knowl. Eng. 15 (5) (2005)
Hazem El-Gendy, Nabil El-Kadhi
Formal methods: Importance, experience, and comparative analysis. J. Comput. Methods Sci. Eng. 5 (4) (2005)
Hazem El-Gendy, Nabil El-Kadhi
Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos. J. Comput. Methods Sci. Eng. 5 (4) (2005)
Hazem El-Gendy, Robert L. Probert
Conformance testing requirements for formal development of testability-directed PICSP. CATA (1998)
Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez
Comparative analysis of the notions of equivalence for process specifications. ISCC (1998)
Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez
Transformation of estelle specifications to lotos specifications. CATA (1998)
Hazem El-Gendy, Abdel-Wahab Fayez
Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications. ISCC (1997)
Hazem El-Gendy, Hoda Baraka
Transformation of Lotos specifications to Estelle specifications. ISCC (1997)
Hazem El-Gendy
Advanced wired "follow me" telephony service. ISCC (1997)
Hazem El-Gendy
A new theory for equivalence between process specifications. ICECS (1996)
Hazem El-Gendy
Towards SDL specification of a European OSI-application layer protocol interface for wired personalized communications and distributed multimedia applications. ICECS (1996)
Hazem El-Gendy
A testability-directed modeling of a communications protocol. ICECS (1996)
Hazem El-Gendy
Towards a foundation for FDT-based conformance testing requirements. ICECS (1996)