Environment Synthesis for Compositional Model Checking. - Hong Peng; Yassine Mokhtari; Sofiène Tahar (ICCD, 2002)

Compositional Verification of a Switch Fabric from Nortel Networks. - Hong Peng; Sofiène Tahar; Yassine Mokhtari (ICFEM, 2003)

A New Approach for the Construction of Multiway Decision Graphs. - Yassine Mokhtari; Sa'ed Abed; Otmane Aït Mohamed; Sofiène Tahar; Xiaoyu Song (ICTAC, 2008)

NuMDG: A New Tool for Multiway Decision Graphs Construction. - Sa'ed Abed; Yassine Mokhtari; Otmane Aït Mohamed; Sofiène Tahar (J. Comput. Sci. Technol., 2011)