| 2008 |
|---|
| 9 | | 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 |
| 8 | EE | Hazem El-Gendy,
Nabil El-Kadhi,
Narayan C. Debnath:
Formal automated transformation of SDL specifications to Lotos specifications.
ISCC 2008: 519-524 |
| 7 | 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 |
| 6 | | Sofien Beji,
Nabil El-Kadhi:
Towards a Mobile Applications Security Approach.
Security and Management 2008: 645-654 |
| 2007 |
|---|
| 5 | EE | Lobna Karoui,
Nabil El-Kadhi:
Relation Extraction and Validation Algorithm.
ICDCIT 2007: 314-320 |
| 4 | | Réginalds Lips,
Nabil El-Kadhi:
Intelligent Mobile Agent for Intrusion Detection System.
Security and Management 2007: 30-38 |
| 3 | | Lobna Karoui,
Supelec France,
Nabil El-Kadhi:
Qualitative and Quantitative Criteria for the Concept Evaluation Task.
World Congress on Engineering 2007: 331-336 |
| 2006 |
|---|
| 2 | | Syrine Karoui,
Nabil El-Kadhi,
Fouad Ben Abdelaziz:
A bidirectional Bluetooth authentication scheme based on game-theoretic framwork.
ICWN 2006: 63-70 |
| 2005 |
|---|
| 1 | 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) |
