Yassine Mokhtari

According to our database, Yassine Mokhtari authored at least 4 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

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

2008

A New Approach for the Construction of Multiway Decision Graphs.

Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song

Proceedings of the Theoretical Aspects of Computing, 2008

2003

Compositional Verification of a Switch Fabric from Nortel Networks.

Hong Peng, Sofiène Tahar, Yassine Mokhtari

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Environment Synthesis for Compositional Model Checking.

Hong Peng, Yassine Mokhtari, Sofiène Tahar

Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002