Hazem El-Gendy

According to our database, Hazem El-Gendy authored at least 23 papers between 1996 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Management scheme for intelligent terminals for the information super-highways.

Hazem El-Gendy, Osman Ibrahim, Nabil El-Kadhi, Narayan C. Debnath

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

Towards ISO interface protocol for interactive multimedia intelligent terminals.

Hazem El-Gendy

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

Towards mosques management information system.

Hazem El-Gendy, Ahmed Samir, Mahmoud Gebriel, Narayan C. Debnath, Nabil El-Kadhi

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

Formal development of universal protocol implementations conformance statement proforma.

Hazem El-Gendy

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

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

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Formal automated transformation of SDL specifications to Lotos specifications.

Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Formal Automated Transformation of SDL Specifications to Estelle Specifications.

Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath

Proceedings of the ISCA 23rd International Conference on Computers and Their Applications, 2008

2006

Advanced method for cryptographic protocol verification.

Nabil El-Kadhi, Hazem El-Gendy

J. Comput. Methods Sci. Eng., 2006

Study of the characteristics of CT-Equivalence with proves.

Hazem El-Gendy

J. Comput. Methods Sci. Eng., 2006

2005

Formal methods: Importance, experience, and comparative analysis.

Hazem El-Gendy, Nabil El-Kadhi

J. Comput. Methods Sci. 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 Method for Automated Transformation of Lotos Specifications to Estelle Specifications.

Hazem El-Gendy, Nabil El-Kadhi

Int. J. Softw. Eng. Knowl. Eng., 2005

1998

Comparative analysis of the notions of equivalence for process specifications.

Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez

Proceedings of the Third IEEE Symposium on Computers and Communications (ISCC 1998), June 30, 1998

Conformance testing requirements for formal development of testability-directed PICSP.

Hazem El-Gendy, Robert L. Probert

Proceedings of the Computers and Their Applications (CATA-98), 1998

Transformation of estelle specifications to lotos specifications.

Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez

Proceedings of the Computers and Their Applications (CATA-98), 1998

1997

Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications.

Hazem El-Gendy, Abdel-Wahab Fayez

Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), 1997

Transformation of Lotos specifications to Estelle specifications.

Hazem El-Gendy, Hoda Baraka

Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), 1997

Advanced wired "follow me" telephony service.

Hazem El-Gendy

Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), 1997

1996

A new theory for equivalence between process specifications.

Hazem El-Gendy

Proceedings of Third International Conference on Electronics, Circuits, and Systems, 1996

Towards a foundation for FDT-based conformance testing requirements.

Hazem El-Gendy

Proceedings of Third International Conference on Electronics, Circuits, and Systems, 1996

Towards SDL specification of a European OSI-application layer protocol interface for wired personalized communications and distributed multimedia applications.

Hazem El-Gendy

Proceedings of Third International Conference on Electronics, Circuits, and Systems, 1996

A testability-directed modeling of a communications protocol.

Hazem El-Gendy

Proceedings of Third International Conference on Electronics, Circuits, and Systems, 1996