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 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)
Although enhanced distributed coordination function EDCF mechanism brings service differentiation between different access categories, Quality of service is not guaranteed for delay sensitive applications such as voice unless further open parameters of the amendment may be supported in the implementation phase. Among these parameters we focus in this paper(More)
  • 1