@conference {Harbouche2017,
	title = {Dynamic coalitional matching game approach for fair and swift data-gathering in wireless body sensor networks},
	booktitle = {Proceedings - 2017 International Conference on Wireless Networks and Mobile Communications, WINCOM 2017},
	year = {2017},
	note = {cited By 0},
	abstract = {Wireless Sensor Networks are deployed in different fields of application to gather data on the monitored environment. The Wireless Body Sensor Network (WBSN) is a wireless sensor network designed to monitor a human body vital and environment parameters. The design and development of such WBSN systems for health monitoring have been motivated by costly healthcare and propelled by the development of miniature health monitoring devices. This paper presents the architecture design of a preventive health care monitoring system. This architecture is designed for monitoring multiple patients in a hospital. It is based on a set of mobile data collectors and static sensors for analysis of various patient{\textquoteright}s parameters. The data collectors need to cooperate together in order to gather the data from the sensor nodes. The point of this paper is how to dynamically and effectively appoint and deploy several data collectors in the hospital to gather the measured data in minimal time. We formulate the problem as a coalitional matching game between patients and data collectors, and we propose a patientdata collector association algorithm that ensures fairness and minimum total course in the stable matchings. {\textcopyright} 2017 IEEE.},
	doi = {10.1109/WINCOM.2017.8238179},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85041451720\&doi=10.1109\%2fWINCOM.2017.8238179\&partnerID=40\&md5=44ef24b18e66b8fb24573d73db99025f},
	author = {Harbouche, A. and Elmachkour, M. and Djedi, N. and Erradi, M. and Kobbane, A.}
}
@article {Harbouche20171339,
	title = {Model driven flexible design of a wireless body sensor network for health monitoring},
	journal = {Computer Networks},
	volume = {129},
	year = {2017},
	note = {cited By 1},
	pages = {1339-1351},
	abstract = {The Wireless Body Sensor Network (WBSN) is a wireless network that is designed to allow communication among sensor nodes that are attached to a human body to monitor the body{\textquoteright}s vital parameters and environment. The design and development of such WBSN systems for health monitoring have received a large amount of attention recently, in research studies and in industry. This attention is mainly motivated by costly health care and by recent advances in the development of miniature health monitoring devices as well as emerging technologies, such as the Internet of Things (IoT), which contribute to the main challenges of 5G. The existence of an explicit approach to address the required software design and verification should be very beneficial for the construction and maintenance of such systems. This paper presents a preventive health care system that has a flexible design. The proposed system is based on an architecture that has heterogeneous nodes and provides both daily continuous monitoring as well as specific controls. We defined a model to describe the WBSN{\textquoteright}s global behavior. An important aspect of this work is that we propose a model-driven engineering (MDE) approach to address the derivation of each node{\textquoteright}s behavior in the WBSN from the WBSN global behavior. This approach allows developers to obtain a system design from the global specification of its requirement. To ensure the conformance of this design to its specification, the derived behaviors should be validated and verified before their deployment. In fact, formal methods are powerful tools for software engineers to verify the logical correctness of concurrent software at different levels of its life cycle. Model checking is one of the most powerful formal methods for verifying the logical correctness of such concurrent systems. In this work, we make use of a model checking approach that is based on a model transformation to validate the automatically derived behavior of a WBSN for health monitoring. This model-driven approach will check whether the derived system behaves correctly according to its global specification, while the objective is to increase the system{\textquoteright}s performance and QoS. This approach allows the developer to reason about a model of the global system rather than about the system itself. {\textcopyright} 2017 Elsevier B.V.},
	doi = {10.1016/j.comnet.2017.06.014},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85022027303\&doi=10.1016\%2fj.comnet.2017.06.014\&partnerID=40\&md5=3d665e7ff240e8a6d9564857abf695da},
	author = {Harbouche, A. and Djedi, N. and Erradi, M. and Ben-Othman, J. and Kobbane, A.}
}
