Amr El-Kadi

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 2

Top Topics

Formal Verification

Data Intensive Computing

Safety Critical

Top Venues

Publications

Ahmad El-Rouby, Andrew Khalaf, Arig Mostafa, Fady Mohamed, Nour Ghaly, Amr El-Kadi, Karim Sobh
NileOS: A Distributed Asymmetric Core-Based Micro-Kernel for Big Data Processing. IEEE Access 9 (2021)
Ghada Moussa Bahig, Amr El-Kadi
Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines. IEEE Access 5 (2017)
Ghada Moussa Bahig, Amr El-Kadi, Ashraf Salem
Formal verification of AUTOSAR FlexRay state manager. IDT (2014)
Ghada Moussa Bahig, Amr El-Kadi
Ensuring software safety in safety critical domains. ICITST (2012)
Mohamed R. Atassi, Sherif G. Aly, Amr El-Kadi
Cooperative web caching of dynamic web content. AICCSA (2011)
Amr El-Kadi, Omar Bahy Badreddin
gRUP - A globalized approach to software engineering. J. Comput. Methods Sci. Eng. 9 (4-6) (2009)
Amr El-Kadi, Omar Bahy Badreddin
gRUP- A Globalized Approach to Software Engineering. SEDE (2008)
Amr El-Kadi, Mohamed F. Ahmed
The Ezeus Operating System Design and Internals. Int. J. Comput. Their Appl. 15 (1) (2008)
Ahmed S. Nagy, Amr El-Kadi, Mikhail N. Mikhail
Swarm Congestion & Power Aware Routing Protocol for MANETs. CNSR (2008)
Mohamed F. Ahmed, Amr El-Kadi, Reda A. Ammar
A common ground: Extensible operating systems design principles. SEDE (2007)
Amr El-Kadi, Mohamed Abdel Fattah
Towards a Component-Based Extensible Operating System. Int. J. Comput. Their Appl. 13 (1) (2006)
Amr El-Kadi, Aisha Elsafty, Asser Sherif, Hanan Youssef, Kareem El Gebaly, Mahmoud Abdel-Fatah, Walla Farouk
Admission Control Effect on the AUC-ABYSS Web Server. PDCS (2006)
Mohamed Fathey Abel Fattah, Amr El-Kadi, Amir Zeid
Towards an independent component model. AICCSA (2005)
Amr El-Kadi, Ahmed Nashed, Kareem El Gebaly, Mahmoud Abo Daoud, Noha El Sharawy, Rania Nazmi, Mostafa Mazen
Architecture and Internal Design of the AUC-Abyss Web Server. login Usenix Mag. 30 (3) (2005)
Baher Esmat, Mikhail N. Mikhail, Amr El-Kadi
Enhanced Mobile IP Protocol. Mobile and Wireless Communication Networks (2000)
Amr El-Kadi
Stop That Divorce! Commun. ACM 42 (12) (1999)
Ahmed F. Hegazi, Ahmed M. Metwally, Lamia M. Degady, Wael M. Abu El Saadat, Amr El-Kadi, Sherif M. El-Kassas
Visual Craft: a visual integrated development environment. ISCC (1997)
Mohamed Mohy El Din Mahmoud, Amr El-Kadi
A DOS/Linux extensible file system. ISCC (1997)
Amr El-Kadi
Tap processes. Comput. Commun. 17 (10) (1994)