Salah Merniz

Orcid: 0000-0001-6544-7063

According to our database1, Salah Merniz authored at least 21 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Multi-Path Transmission Protocol for Video Streaming Over Vehicular Fog Computing Environments.
IEEE Access, 2024

Exploring Multimedia Streaming Protocols in VANET: A Systematic Review.
Proceedings of the 6th International Conference on Pattern Analysis and Intelligent Systems, 2024

2023
Overall Delay analysis of Active Reliable Multicast Protocols in Wireless Mesh Networks.
Proceedings of the 5th International Conference on Pattern Analysis and Intelligent Systems, 2023

2022
Cross-layer greedy forwarding algorithm for VANET.
J. High Speed Networks, 2022

Formal design and verification of cryptographic circuits: Application to symmetric block ciphers.
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.
Informatica (Slovenia), 2021

Modelling and verification of parameterized architectures: A functional approach.
IET Comput. Digit. Tech., 2021

2020
Ensuring QoS and Efficiency of Vehicular Networks by SDVN-IoV.
Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

2019
Formal verification of cryptographic circuits: A semi-automatic functional approach.
Proceedings of the 2nd International Conference on Networking, 2019

2018
Towards formal verification of cryptographic circuits: A functional approach.
Proceedings of the 2018 3rd International Conference on Pattern Analysis and Intelligent Systems (PAIS), 2018

Distributed Rate and Congestion Control hybrid scheme for VANETs.
Proceedings of the 2018 International Conference on Innovations in Information Technology (IIT), 2018

2017
Adaptive-Segmentation and Flexible-Delay Based Broadcasting Protocol for VANETs.
Proceedings of the Wired/Wireless Internet Communications, 2017

Impact of concurrent communications in geographical broadcasting protocols for vehicular ad hoc networks.
Proceedings of the 9th IEEE Latin-American Conference on Communications, 2017

Congestion control techniques in VANETs: A survey.
Proceedings of the 13th International Wireless Communications and Mobile Computing Conference, 2017

2016
A SysML and CLEAN-based methodology for digital circuits design.
Int. J. High Perform. Syst. Archit., 2016

Routing over VANET in Urban Environments.
Proceedings of the Innovations for Community Services - 16th International Conference, 2016

Unicast Routing on VANETs.
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.
Int. J. Embed. Real Time Commun. Syst., 2015

Towards enhanced reactive routing in urban Vehicular Ad hoc Networks.
Proceedings of the International Conference on Protocol Engineering, 2015

2008
A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach.
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.
Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007


  Loading...