Mohamed Escheikh

Learn More
—In this paper, we deal with the formal verification of an encryption scheme for Wireless Sensor Networks (WSNs). Especially , we present our first results on building a framework dedicated to modelling and verification of WSNs aspects. To achieve our goal, we propose to specify WSNs models written in Petri nets using Promela constructs in order to verify(More)
Integration of efficient scheduling policies in radio resource management (RRM) strategies is nowadays, of a paramount importance for the success deployment of wireless Long Term Evolution (LTE) systems. This is particularly effective for downlink where data rates are important and where scheduling decision should enable to allocate, in each Transmission(More)
We propose in this paper a workload-aware perform ability analysis of elastic server virtualized systems (SVS) based on non-Markovian SRN modeling approach. This analysis investigates correlations between several modules involving workload-aware power management (PM) mechanism, virtual machine (VM) and VM monitor (VMM) subject to aging, failure and(More)
We propose in this paper a simulation implementation of Self-Organizing Networks (SON) optimization related to mobility load balancing (MLB) for LTE systems using ns-3 [1]. The implementation is achieved toward two MLB algorithms dynamically adjusting handover (HO) parameters based on the Reference Signal Received Power (RSRP) measurements. Such adjustments(More)
Analytical resolution of complex queuing systems remains nowadays an open and challenging issue and may be extensively used in modeling and representing dynamic behavior of sophisticated systems. This is particularly the case of M/G/c/c + r queue where exact analytical solution is difficult to reach. In this paper, we propose a new approximate analytical(More)