Mohammad Shadi Al Hakeem

Publication Activity (10 Years)

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

Top Topics

Fault Management

Formal Verification

Database Replication

Authentication Protocol

Top Venues

J. Netw. Syst. Manag.

Int. J. Secur. Networks

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Moustafa Najm, Rakesh Tripathi, Mohammad Shadi Al Hakeem, Venkatesh Tamarapalli
A Cost-Aware Management Framework for Placement of Data-Intensive Applications on Federated Cloud. J. Netw. Syst. Manag. 29 (3) (2021)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Kok-Keong Loo, Mohammad Shadi Al Hakeem
Formal verification of secondary authentication protocol for 5G secondary authentication. Int. J. Secur. Networks 16 (4) (2021)
Peter Munk, Mohammad Shadi Al Hakeem, Raphael Lisicki, Helge Parzyjegla, Jan Richling, Hans-Ulrich Heiss
Toward a Fault-Tolerance Framework for COTS Many-Core Systems. EDCC (2015)
Mohammad Shadi Al Hakeem, Jan Richling, Gero Mühl, Hans-Ulrich Heiss
An Adaptive Scheduling Policy for Staged Applications. ICIW (2009)