Salah Merniz

21 papers B 1C 3Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2024 — conf
Exploring Multimedia Streaming Protocols in VANET: A Systematic Review.
PAIS
Benzerogue Sarra, Sahraoui Abdelatif, Salah Merniz, Lazhar Khamer, Saad Harous
2024 J jnl
Multi-Path Transmission Protocol for Video Streaming Over Vehicular Fog Computing Environments.
IEEE Access
Benzerogue Sarra, Sahraoui Abdelatif, Salah Merniz, Saad Harous, Lazhar Khamer
2023 — conf
Overall Delay analysis of Active Reliable Multicast Protocols in Wireless Mesh Networks.
PAIS
Asma Benmohammed, Salah Merniz
2022 J jnl
Cross-layer greedy forwarding algorithm for VANET.
J. High Speed Networks
Yassine Hammouche, Salah Merniz
2022 — conf
Formal design and verification of cryptographic circuits: Application to symmetric block ciphers.
RIF
Abir Bitat, Salah Merniz
2021 J jnl
Formal verification of pipelined cryptographic circuits: A functional approach.
Informatica (Slovenia)
Abir Bitat, Salah Merniz
2021 J jnl
Modelling and verification of parameterized architectures: A functional approach.
IET Comput. Digit. Tech.
Salah Merniz, Saad Harous
2020 — conf
Ensuring QoS and Efficiency of Vehicular Networks by SDVN-IoV.
ICAASE
Benzerogue Sarra, Salah Merniz, Saad Harous
2019 — conf
Formal verification of cryptographic circuits: A semi-automatic functional approach.
NISS
Abir Bitat, Salah Merniz
2018 — conf
Distributed Rate and Congestion Control hybrid scheme for VANETs.
IIT
Mustapha Younes Taleb, Salah Merniz, Saad Harous
2018 — conf
Towards formal verification of cryptographic circuits: A functional approach.
PAIS
Abir Bitat, Salah Merniz
2017 — conf
Adaptive-Segmentation and Flexible-Delay Based Broadcasting Protocol for VANETs.
WWIC
Houda Hafi, Wahabou Abdou, Salah Merniz
2017 B conf
Congestion control techniques in VANETs: A survey.
IWCMC
Mustapha Younes Taleb, Salah Merniz, Saad Harous
2017 — conf
Impact of concurrent communications in geographical broadcasting protocols for vehicular ad hoc networks.
LATINCOM
Houda Hafi, Wahabou Abdou, Salah Merniz
2016 J jnl
A SysML and CLEAN-based methodology for digital circuits design.
Int. J. High Perform. Syst. Archit.
Zakaria Lakhdara, Salah Merniz
2016 C conf
Routing over VANET in Urban Environments.
I4CS
Boubakeur Moussaoui, Salah Merniz, Hacène Fouchal, Marwane Ayaida
2016 C conf
Unicast Routing on VANETs.
FedCSIS
Boubakeur Moussaoui, Hacène Fouchal, Marwane Ayaida, Salah Merniz
2015 J jnl
A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design.
Int. J. Embed. Real Time Commun. Syst.
Zakaria Lakhdara, Salah Merniz
2015 — conf
Towards enhanced reactive routing in urban Vehicular Ad hoc Networks.
CFIP/NOTERE
Boubakeur Moussaoui, Soufiene Djahel, Hakima Khelifi, Salah Merniz
2008 — conf
A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach.
ITNG
Salah Merniz, Mohamed Benmohammed
2007 C conf
A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach.
AICCSA
Salah Merniz, Mohamed Benmohammed