Login / Signup
Omar Barki
ORCID
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 2
Top Topics
Formal Verification
Model Checking
Temporal Logic
Selection Algorithm
Top Venues
ICMCS
SITA
</>
Publications
</>
Omar Barki
,
Zouhair Guennoun
,
Adnane Addaim
Artificial Neural Networks for Communication Wireless Networks: a Synthetic Study.
ICMCS
(2018)
Omar Barki
,
Zouhair Guennoun
,
Adnane Addaim
Comparative study of MPR selection algorithms based on statistical model checking.
ICMCS
(2016)
Omar Barki
,
Zouhair Guennoun
,
Adnane Addaim
Formal verification of MPR selection algorithm in the OLSR protocol.
SITA
(2015)