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 | 44 | 2019 |
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 | 8 | 2019 |
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 | 3 | 2015 |
Assistance au raffinement dans la conception des systèmes embarqués H Mokrani Télécom ParisTech, 2014 | 2 | 2014 |
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 | 2 | 2011 |
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 | 1 | 2023 |
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 | 1 | 2011 |
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 | 1 | 2010 |
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 |