Login / Signup
Zohra Hmidi
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 4
Top Topics
Formal Verification
Timed Automata
Energy Aware
Model Checking
Top Venues
Ad Hoc Networks
Int. J. Simul. Process. Model.
Int. J. Inf. Commun. Technol.
VECoS
</>
Publications
</>
Zohra Hmidi
,
Laïd Kahloul
,
Saber Benharzallah
A new Mobility and Energy Harvesting aware Medium Access Control (MEH-MAC) protocol: Modelling and performance evaluation.
Ad Hoc Networks
142 (2023)
Zohra Hmidi
,
Laïd Kahloul
,
Saber Benharzallah
,
Nadia Hamani
Performance evaluation of ODMAC protocol for WSNs powered by ambient energy.
Int. J. Simul. Process. Model.
17 (1) (2021)
Zohra Hmidi
,
Laïd Kahloul
,
Saber Benharzallah
Using priced timed automata for the specification and verification of CSMA/CA in WSNs.
Int. J. Inf. Commun. Technol.
17 (2) (2020)
Zohra Hmidi
,
Laïd Kahloul
,
Saber Benharzallah
,
Cherifa Othmane
Statistical Model Checking of CSMA/CA in WSNs.
VECoS
(2016)