Statistical Model Checking of CSMA/CA in WSNs. Z Hmidi, L Kahloul, S Benharzallah, C Othmane VECoS, 27-42, 2016 | 11 | 2016 |
On the forecasting of body temperature using iot and machine learning techniques K Makhlouf, Z Hmidi, L Kahloul, S Benhrazallah, T Ababsa 2021 International Conference on Theoretical and Applicative Aspects of …, 2021 | 6 | 2021 |
Using priced timed automata for the specification and verification of CSMA/CA in WSNs H Zohra, L Kahloul, S Benharzallah International Journal of Information and Communication Technology 17 (2 …, 2020 | 6 | 2020 |
A new mobility and energy harvesting aware medium access control (meh-mac) protocol: Modelling and performance evaluation Z Hmidi, L Kahloul, S Benharzallah Ad Hoc Networks 142, 103108, 2023 | 4 | 2023 |
Performance evaluation of odmac protocol for wsns powered by ambient energy Z Hmidi, L Kahloul, S Benharzallah, N Hamani International Journal of Simulation and Process Modelling 17 (1), 67-78, 2021 | 4 | 2021 |
Formal specification and verification of 5g authentication and key agreement protocol using mcrl2 HE Hafidi, Z Hmidi, L Kahloul, S Benharzallah 2021 International Conference on Networking and Advanced Systems (ICNAS), 1-6, 2021 | 1 | 2021 |
Intégration des méthodes formelles dans le développement des RCSFs Z Hmidi Université Mohamed Khider (Biskra-Algérie), 2023 | | 2023 |