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)
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)
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 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)
Dependability modeling and performability analysis of server virtualized systems (SVSs) are today a key challenging problem to evaluate cost-effectiveness and savings in green data centers. This paper tackles various issues related to performability analysis of server virtualized system (SVS) handling workload-aware power management (PM) mechanism and(More)