Hazem El-Gendy

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