A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach. - Salah Merniz; Mohamed Benmohammed (AICCSA, 2007)

A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach. - Salah Merniz; Mohamed Benmohammed (ITNG, 2008)

Towards enhanced reactive routing in urban Vehicular Ad hoc Networks. - Boubakeur Moussaoui; Soufiene Djahel; Hakima Khelifi; Salah Merniz (CFIP/NOTERE, 2015)

A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design. - Zakaria Lakhdara; Salah Merniz (Int. J. Embed. Real Time Commun. Syst., 2015)

Unicast Routing on VANETs. - Boubakeur Moussaoui; Hacène Fouchal; Marwane Ayaida; Salah Merniz (FedCSIS, 2016)

Routing over VANET in Urban Environments. - Boubakeur Moussaoui; Salah Merniz; Hacène Fouchal; Marwane Ayaida (I4CS, 2016)

A SysML and CLEAN-based methodology for digital circuits design. - Zakaria Lakhdara; Salah Merniz (Int. J. High Perform. Syst. Archit., 2016)

Congestion control techniques in VANETs: A survey. - Mustapha Younes Taleb; Salah Merniz; Saad Harous (IWCMC, 2017)

Impact of concurrent communications in geographical broadcasting protocols for vehicular ad hoc networks. - Houda Hafi; Wahabou Abdou; Salah Merniz (LATINCOM, 2017)

Adaptive-Segmentation and Flexible-Delay Based Broadcasting Protocol for VANETs. - Houda Hafi; Wahabou Abdou; Salah Merniz (WWIC, 2017)

Distributed Rate and Congestion Control hybrid scheme for VANETs. - Mustapha Younes Taleb; Salah Merniz; Saad Harous (IIT, 2018)

Towards formal verification of cryptographic circuits: A functional approach. - Abir Bitat; Salah Merniz (PAIS, 2018)

Formal verification of cryptographic circuits: A semi-automatic functional approach. - Abir Bitat; Salah Merniz (NISS, 2019)

Ensuring QoS and Efficiency of Vehicular Networks by SDVN-IoV. - Benzerogue Sarra; Salah Merniz; Saad Harous (ICAASE, 2020)

Modelling and verification of parameterized architectures: A functional approach. - Salah Merniz; Saad Harous (IET Comput. Digit. Tech., 2021)

Formal verification of pipelined cryptographic circuits: A functional approach. - Abir Bitat; Salah Merniz (Informatica (Slovenia), 2021)

Formal design and verification of cryptographic circuits: Application to symmetric block ciphers. - Abir Bitat; Salah Merniz (RIF, 2022)

Cross-layer greedy forwarding algorithm for VANET. - Yassine Hammouche; Salah Merniz (J. High Speed Networks, 2022)

Overall Delay analysis of Active Reliable Multicast Protocols in Wireless Mesh Networks. - Asma Benmohammed; Salah Merniz (PAIS, 2023)

Exploring Multimedia Streaming Protocols in VANET: A Systematic Review. - Benzerogue Sarra; Sahraoui Abdelatif; Salah Merniz; Lazhar Khamer; Saad Harous (PAIS, 2024)

Multi-Path Transmission Protocol for Video Streaming Over Vehicular Fog Computing Environments. - Benzerogue Sarra; Sahraoui Abdelatif; Salah Merniz; Saad Harous; Lazhar Khamer (IEEE Access, 2024)