| 2008 |
|---|
| 6 | | Hazem El-Gendy,
Nabil El-Kadhi,
Narayan C. Debnath:
Formal Automated Transformation of SDL Specifications to Estelle Specifications.
Computers and Their Applications 2008: 136-141 |
| 5 | EE | Hazem El-Gendy,
Nabil El-Kadhi,
Narayan C. Debnath:
Formal automated transformation of SDL specifications to Lotos specifications.
ISCC 2008: 519-524 |
| 4 | EE | 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 |
| 2005 |
|---|
| 3 | EE | Hazem El-Gendy,
Nabil El-Kadhi:
Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications.
International Journal of Software Engineering and Knowledge Engineering 15(5): 873-892 (2005) |
| 1998 |
|---|
| 2 | | Hazem El-Gendy,
Hani El-Sayed,
Abdel-Wahab Fayez:
Transformation of estelle specifications to lotos specifications.
Computers and Their Applications 1998: 82-84 |
| 1 | | Hazem El-Gendy,
Robert L. Probert:
Conformance testing requirements for formal development of testability-directed PICSP.
Computers and Their Applications 1998: 85-88 |
