Improving Business Process in semiconductor manufacturing by Discovering Business Rules. - Abdelhak Khemiri; Maâmar El-Amine Hamri; Claudia S. Frydman; Jacques Pinaton (WSC, 2018)

Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA. - Abdelhak Khemiri; Maâmar El-Amine Hamri; Claudia S. Frydman; Jacques Pinaton (SummerSim, 2019)

Towards A Generic Semiconductor Manufacturing Simulation Model. - Abdelhak Khemiri; Claude Yugma; Stéphane Dauzère-Pérès (WSC, 2021)