Hocine Mokrani

7
Documents

Publications

Publications

Air Quality Monitoring Using IoT: A Survey

Hocine Mokrani , Razika Lounas , Mohamed Tahar Bennai , Dhai Eddine Salhi , Rachid Djerbi
IEEE International Conference on Smart Internet of Things (SmartIoT), 2019, Tianjin, China. pp.127-134, ⟨10.1109/SmartIoT.2019.00028⟩
Communication dans un congrès hal-03296004 v1

Towards a Smart Data Transmission Strategy for IoT Monitoring Systems: Application to Air Quality Monitoring

Razika Lounas , Dhai Eddine Salhi , Hocine Mokrani , Rachid Djerbi , Mohamed Tahar Bennai
International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS), 2019, Skikda, Algeria. pp.1-7, ⟨10.1109/ICTAACS48474.2019.8988119⟩
Communication dans un congrès hal-03296021 v1

Assisting Refinement in System on Chip Design

Hocine Mokrani , Rabea Ameur-Boulifa , Emmanuelle Encrenaz
Forum on Specification and Design Languages, Sep 2013, Paris, France. pp.1-6
Communication dans un congrès hal-01216546 v1

Une approche de raffinement et de vérification formels des communications SOC

Hocine Mokrani , Rabéa Ameur-Boulifa , Emmanuelle Encrenaz-Tiphene
GDR SOC-SIP'12, Jun 2012, Paris, France
Communication dans un congrès hal-02411880 v1

Assisting Refinement in System-on-Chip Design

Hocine Mokrani , Rabea Ameur-Boulifa , Emmanuelle Encrenaz
Languages, Design Methods, and Tools for Electronic System Design, Selected Contributions from FDL 2013, 311, Springer, pp.21-42, 2015, Lecture Notes in Electrical Engineering, ⟨10.1007/978-3-319-06317-1_2⟩
Chapitre d'ouvrage hal-01221739 v1