default search action

combined dblp search
author search
venue search
publication search

ask others

Hazem El-Gendy

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2010
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jcmse/El-GendyKID10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcmse/El-GendyKID10
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): 247-257 (2010)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/El-Gendy10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/El-Gendy10
Hazem El-Gendy:
Towards ISO interface protocol for interactive multimedia intelligent terminals. AICCSA 2010: 1-6
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/El-GendyIED10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/El-GendyIED10
Hazem El-Gendy, Osman Ibrahim, Nabil El-Kadhi, Narayan C. Debnath:
Management scheme for intelligent terminals for the information super-highways. AICCSA 2010: 1-6

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/El-GendySGDE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/El-GendySGDE09
Hazem El-Gendy, Ahmed Samir, Mahmoud Gebriel, Narayan C. Debnath, Nabil El-Kadhi:
Towards mosques management information system. AICCSA 2009: 191-198
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/El-Gendy09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/El-Gendy09
Hazem El-Gendy:
Formal development of universal protocol implementations conformance statement proforma. AICCSA 2009: 317-321
2008
[c13]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/cata/El-GendyED08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cata/El-GendyED08
Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath:
Formal Automated Transformation of SDL Specifications to Estelle Specifications. CATA 2008: 136-141
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/El-GendyED08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/El-GendyED08
Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath:
Formal automated transformation of SDL specifications to Lotos specifications. ISCC 2008: 519-524
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/El-GendyED08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/El-GendyED08a
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: 643-648
2006
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jcmse/El-KadhiE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcmse/El-KadhiE06
Nabil El-Kadhi, Hazem El-Gendy:
Advanced method for cryptographic protocol verification. J. Comput. Methods Sci. Eng. 6(5-6): 109-119 (2006)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jcmse/El-Gendy06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcmse/El-Gendy06
Hazem El-Gendy:
Study of the characteristics of CT-Equivalence with proves. J. Comput. Methods Sci. Eng. 6(5-6): 171-179 (2006)
2005
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/El-GendyE05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/El-GendyE05
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): 873-892 (2005)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jcmse/El-GendyE05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcmse/El-GendyE05
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): 45-56 (2005)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jcmse/El-GendyE05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcmse/El-GendyE05a
Hazem El-Gendy, Nabil El-Kadhi:
Formal methods: Importance, experience, and comparative analysis. J. Comput. Methods Sci. Eng. 5(4): 235-247 (2005)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/cata/El-GendyEF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cata/El-GendyEF98
Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez:
Transformation of estelle specifications to lotos specifications. CATA 1998: 82-84
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/cata/El-GendyP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cata/El-GendyP98
Hazem El-Gendy, Robert L. Probert:
Conformance testing requirements for formal development of testability-directed PICSP. CATA 1998: 85-88
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/El-GendyEF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/El-GendyEF98
Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez:
Comparative analysis of the notions of equivalence for process specifications. ISCC 1998: 711-716
1997
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/El-GendyF97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/El-GendyF97
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: 104-108
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/El-GendyB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/El-GendyB97
Hazem El-Gendy, Hoda Baraka:
Transformation of Lotos specifications to Estelle specifications. ISCC 1997: 215-220
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/El-Gendy97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/El-Gendy97
Hazem El-Gendy:
Advanced wired "follow me" telephony service. ISCC 1997: 641-645
1996
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/El-Gendy96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/El-Gendy96
Hazem El-Gendy:
A testability-directed modeling of a communications protocol. ICECS 1996: 346-349
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/El-Gendy96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/El-Gendy96a
Hazem El-Gendy:
Towards SDL specification of a European OSI-application layer protocol interface for wired personalized communications and distributed multimedia applications. ICECS 1996: 1052-1055
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/El-Gendy96b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/El-Gendy96b
Hazem El-Gendy:
Towards a foundation for FDT-based conformance testing requirements. ICECS 1996: 1182-1185
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/El-Gendy96c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/El-Gendy96c
Hazem El-Gendy:
A new theory for equivalence between process specifications. ICECS 1996: 1186-1189

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.