Amr El-Kadi

According to our database, Amr El-Kadi authored at least 18 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

NileOS: A Distributed Asymmetric Core-Based Micro-Kernel for Big Data Processing.

Ahmad El-Rouby, Andrew Khalaf, Arig Mostafa, Fady Mohamed, Nour Ghaly, Amr El-Kadi, Karim Sobh

IEEE Access, 2021

2017

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines.

Ghada Moussa Bahig, Amr El-Kadi

IEEE Access, 2017

2014

Formal verification of AUTOSAR FlexRay state manager.

Ghada Moussa Bahig, Amr El-Kadi, Ashraf Salem

Proceedings of the 9th International Design and Test Symposium, 2014

2012

Ensuring software safety in safety critical domains.

Ghada Moussa Bahig, Amr El-Kadi

Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012

2011

Cooperative web caching of dynamic web content.

Mohamed R. Atassi, Sherif G. Aly, Amr El-Kadi

Proceedings of the 9th IEEE/ACS International Conference on Computer Systems and Applications, 2011

2009

gRUP - A globalized approach to software engineering.

Amr El-Kadi, Omar Bahy Badreddin

J. Comput. Methods Sci. Eng., 2009

2008

The Ezeus Operating System Design and Internals.

Amr El-Kadi, Mohamed F. Ahmed

Int. J. Comput. Their Appl., 2008

Swarm Congestion & Power Aware Routing Protocol for MANETs.

Ahmed S. Nagy, Amr El-Kadi, Mikhail N. Mikhail

Proceedings of the Sixth Annual Conference on Communication Networks and Services Research (CNSR 2008), 2008

2007

A common ground: Extensible operating systems design principles.

Mohamed F. Ahmed, Amr El-Kadi, Reda A. Ammar

Proceedings of the 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), 2007

2006

Towards a Component-Based Extensible Operating System.

Amr El-Kadi, Mohamed Abdel Fattah

Int. J. Comput. Their Appl., 2006

Admission Control Effect on the AUC-ABYSS Web Server.

Amr El-Kadi, Aisha Elsafty, Asser Sherif, Hanan Youssef, Kareem El Gebaly, Mahmoud Abdel-Fatah, Walla Farouk

Proceedings of the ISCA 19th International Conference on Parallel and Distributed Computing Systems, 2006

2005

Architecture and Internal Design of the AUC-Abyss Web Server.

Amr El-Kadi, Ahmed Nashed, Kareem El Gebaly, Mahmoud Abo Daoud, Noha El Sharawy, Rania Nazmi, Mostafa Mazen

login Usenix Mag., 2005

Towards an independent component model.

Mohamed Fathey Abel Fattah, Amr El-Kadi, Amir Zeid

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2000

Enhanced Mobile IP Protocol.

Baher Esmat, Mikhail N. Mikhail, Amr El-Kadi

Proceedings of the Mobile and Wireless Communication Networks, 2000

1999

Stop That Divorce!

Amr El-Kadi

Commun. ACM, 1999

1997

A DOS/Linux extensible file system.

Mohamed Mohy El Din Mahmoud, Amr El-Kadi

Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), 1997

Visual Craft: a visual integrated development environment.

Ahmed F. Hegazi, Ahmed M. Metwally, Lamia M. Degady, Wael M. Abu El Saadat, Amr El-Kadi, Sherif M. El-Kassas

Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), 1997

1994

Tap processes.

Amr El-Kadi

Comput. Commun., 1994