A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design. - Zakaria Lakhdara; Salah Merniz (Int. J. Embed. Real Time Commun. Syst., 2015)

A SysML and CLEAN-based methodology for digital circuits design. - Zakaria Lakhdara; Salah Merniz (Int. J. High Perform. Syst. Archit., 2016)

A Formal Modelling Language for Digital Electronic Systems Design. - Zakaria Lakhdara; Naila Marir (ICAASE, 2022)

Transfer Learning-based Approach for 3D Reconstruction from a Single 2D Image. - Nour El Houda Kaiber; Tahar Mekhaznia 001; Zakaria Lakhdara (ICCAD, 2024)