Assisting refinement in System-on-Chip design. - Hocine Mokrani; Rabéa Ameur-Boulifa; Emmanuelle Encrenaz-Tiphène (FDL, 2013)

Assistance au raffinement dans la conception des systèmes embarqués. (Assisting formal refinement and verification in embedded system design). - Hocine Mokrani (2014)

Air Quality Monitoring Using IoT: A Survey. - Hocine Mokrani; Razika Lounas; Mohamed Tahar Bennai; Dhai Eddine Salhi; Rachid Djerbi (SmartIoT, 2019)

An E-Collaboration Application for Final-Year Project Management. - Razika Lounas; Ikram Hamzaoui; Naima Bouguelmouna; Hocine Mokrani (Int. J. e Collab., 2023)