Détails
Publications
Abir Bitat; Salah Merniz
Towards formal verification of cryptographic circuits: A functional approach. 3rd Int. Conf. on Pattern Analysis and Intelligent Systems (PAIS"18): 1-6 (2018)
Houda Hafi; Wahabou Abdou; Salah Merniz
Adaptive-Segmentation and Flexible-Delay Based Broadcasting Protocol for VANETs. 15th IFIP WG 6.2 Int. Conf. on Wired/Wireless Internet Communications (WWIC'17): 207-218 (2017)
Houda Hafi; Wahabou Abdou; Salah Merniz
Impact of concurrent communications in geographical broadcasting protocols for vehicular ad hoc networks. 9th IEEE Latin-American Conf. on Communications (LATINCOM'17): 1-6 (2017)
Thèse de doctorat
Salah Merniz
Méthodologie de vérification formelle pour les micro-architectures RISC : Approche fonctionnelle. Université Mentouri de Constantine, Algérie (2008)
Doctorant Titre
Bitat Abir Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle