Login / Signup
Cherif Tolba
Publication Activity (10 Years)
Years Active: 2012-2021
Publications (10 Years): 3
Top Topics
Vehicular Ad Hoc Networks
Formal Verification
Energy Efficient
Wireless Sensor Networks
Top Venues
ICMCS
ICC
Informatica (Slovenia)
PAIS
</>
Publications
</>
Kamal Boumaza
,
Cherif Tolba
,
Iulian Ober
Formal Verification of Emergent Properties.
Informatica (Slovenia)
45 (3) (2021)
Hanene Brahmia
,
Cherif Tolba
Vanet routing protocols: discussion of various Ad-hoc On-demand Distance Vector (AODV) improvements.
PAIS
(2018)
Fatiha Djemili Tolba
,
Cherif Tolba
,
Pascal Lorenz
Topology control by controlling mobility for coverage in wireless sensor networks.
ICC
(2016)
Djamel Bektache
,
Nacira Ghoualmi-Zine
,
Cherif Tolba
Forecasting Approach in VANET based on vehicle collision alert.
ICMCS
(2012)