Suivre
Hocine MOKRANI
Hocine MOKRANI
Maitre de conférence département informatique, Université M'Hamed BOUGARA de boumerdes
Adresse e-mail validée de univ-boumerdes.dz
Titre
Citée par
Citée par
Année
Air Quality Monitoring Using IoT: A Survey
H Mokrani, R Lounas, MT Bennai, DE Salhi, R Djerbi
2019 IEEE International Conference on Smart Internet of Things (SmartIoT …, 2019
442019
Towards a Smart Data Transmission Strategy for IoT Monitoring Systems: Application to Air Quality Monitoring
R Lounas, DE Salhi, H Mokrani, R Djerbi, MT Bennai
2019 International Conference on Theoretical and Applicative Aspects of …, 2019
82019
Assisting refinement in system-on-chip design
H Mokrani, R Ameur-Boulifa, E Encrenaz-Tiphene
Languages, Design Methods, and Tools for Electronic System Design: Selected …, 2015
32015
Assistance au raffinement dans la conception des systèmes embarqués
H Mokrani
Télécom ParisTech, 2014
22014
Approche pour l'intégration du raffinement formel dans le processus de conception des SOC
H Mokrani, R Ameur-Boulifa, E Encrenaz, S Coudert
Journal Européen des Systèmes Automatisés (JESA), MSR 11 45, 221-236, 2011
22011
An E-Collaboration Application for Final-Year Project Management
R Lounas, I Hamzaoui, N Bouguelmouna, H Mokrani
International Journal of e-Collaboration (IJeC) 19 (1), 1-17, 2023
12023
A refinement approach to design and verification of on-chip communication protocols
H Mokrani, R Ameur-Boulifa
Journée du Groupe SAFA (Sophia-Antipolis Formal Analysis Group), informal …, 2011
12011
Communication Refinement for SOC Design
H Mokrani, R Ameur-Boulifa, S Coudert, E Encrenaz-Tiphene
Journée du Groupe SAFA (Sophia-Antipolis Formal Analysis Group), informal …, 2010
12010
Une approche de raffinement et de vérification formels des communications SOC
H Mokrani, R Ameur-Boulifa, E Encrenaz-Tiphene
GDR SOC-SIP'12, 2012
2012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–9