Salah Merniz

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 17

Top Topics

Congestion Control

Formal Verification

Multimedia Streaming

Vehicular Ad Hoc Networks

Top Venues

Int. J. Embed. Real Time Commun. Syst.

IET Comput. Digit. Tech.

Publications

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