Salah Merniz

According to our database, Salah Merniz authored at least 19 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Overall Delay analysis of Active Reliable Multicast Protocols in Wireless Mesh Networks.

Asma Benmohammed, Salah Merniz

Proceedings of the 5th International Conference on Pattern Analysis and Intelligent Systems, 2023

2022

Cross-layer greedy forwarding algorithm for VANET.

Yassine Hammouche, Salah Merniz

J. High Speed Networks, 2022

Formal design and verification of cryptographic circuits: Application to symmetric block ciphers.

Abir Bitat, Salah Merniz

Proceedings of The 11th Seminary of Computer Science Research at Feminine (RIF 2022) LIRE Laboratory, 2022

2021

Formal verification of pipelined cryptographic circuits: A functional approach.

Abir Bitat, Salah Merniz

Informatica (Slovenia), 2021

Modelling and verification of parameterized architectures: A functional approach.

Salah Merniz, Saad Harous

IET Comput. Digit. Tech., 2021

2020

Ensuring QoS and Efficiency of Vehicular Networks by SDVN-IoV.

Benzerogue Sarra, Salah Merniz, Saad Harous

Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

2019

Formal verification of cryptographic circuits: A semi-automatic functional approach.

Abir Bitat, Salah Merniz

Proceedings of the 2nd International Conference on Networking, 2019

2018

Towards formal verification of cryptographic circuits: A functional approach.

Abir Bitat, Salah Merniz

Proceedings of the 2018 3rd International Conference on Pattern Analysis and Intelligent Systems (PAIS), 2018

Distributed Rate and Congestion Control hybrid scheme for VANETs.

Mustapha Younes Taleb, Salah Merniz, Saad Harous

Proceedings of the 2018 International Conference on Innovations in Information Technology (IIT), 2018

2017

Adaptive-Segmentation and Flexible-Delay Based Broadcasting Protocol for VANETs.

Houda Hafi, Wahabou Abdou, Salah Merniz

Proceedings of the Wired/Wireless Internet Communications, 2017

Impact of concurrent communications in geographical broadcasting protocols for vehicular ad hoc networks.

Houda Hafi, Wahabou Abdou, Salah Merniz

Proceedings of the 9th IEEE Latin-American Conference on Communications, 2017

Congestion control techniques in VANETs: A survey.

Mustapha Younes Taleb, Salah Merniz, Saad Harous

Proceedings of the 13th International Wireless Communications and Mobile Computing Conference, 2017

2016

A SysML and CLEAN-based methodology for digital circuits design.

Zakaria Lakhdara, Salah Merniz

Int. J. High Perform. Syst. Archit., 2016

Routing over VANET in Urban Environments.

Boubakeur Moussaoui, Salah Merniz, Hacène Fouchal, Marwane Ayaida

Proceedings of the Innovations for Community Services - 16th International Conference, 2016

Unicast Routing on VANETs.

Boubakeur Moussaoui, Hacène Fouchal, Marwane Ayaida, Salah Merniz

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

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

Towards enhanced reactive routing in urban Vehicular Ad hoc Networks.

Boubakeur Moussaoui, Soufiene Djahel, Hakima Khelifi, Salah Merniz

Proceedings of the International Conference on Protocol Engineering, 2015

2008

A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach.

Salah Merniz, Mohamed Benmohammed

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

2007

A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach.

Salah Merniz, Mohamed Benmohammed

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007