Hocine Mokrani
Publications
Publications
Air Quality Monitoring Using IoT: A SurveyIEEE International Conference on Smart Internet of Things (SmartIoT), 2019, Tianjin, China. pp.127-134, ⟨10.1109/SmartIoT.2019.00028⟩ |
|
Towards a Smart Data Transmission Strategy for IoT Monitoring Systems: Application to Air Quality MonitoringInternational Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS), 2019, Skikda, Algeria. pp.1-7, ⟨10.1109/ICTAACS48474.2019.8988119⟩ |
|
Assisting Refinement in System on Chip DesignForum on Specification and Design Languages, Sep 2013, Paris, France. pp.1-6 |
|
Une approche de raffinement et de vérification formels des communications SOCGDR SOC-SIP'12, Jun 2012, Paris, France |
Assisting Refinement in System-on-Chip DesignLanguages, 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⟩ |
|
|
Assistance au raffinement dans la conception des systèmes embarquésSystèmes embarqués. Télécom ParisTech, 2014. Français. ⟨NNT : 2014ENST0029⟩ |
Approche pour l'intégration du raffinement formel dans le processus de conception des SOCJournal Européen des Systèmes Automatisés, 2011, 45 (1-3), pp.221-236. ⟨10.3166/jesa.45.221-236⟩ |