| |
| 2008 | ||
|---|---|---|
| 3 | EE | Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song: A New Approach for the Construction of Multiway Decision Graphs. ICTAC 2008: 228-242 |
| 2003 | ||
| 2 | EE | Hong Peng, Sofiène Tahar, Yassine Mokhtari: Compositional Verification of a Switch Fabric from Nortel Networks. ICFEM 2003: 560-578 |
| 2002 | ||
| 1 | EE | Hong Peng, Yassine Mokhtari, Sofiène Tahar: Environment Synthesis for Compositional Model Checking. ICCD 2002: 70- |
| 1 | Sa'ed Abed | [3] |
| 2 | Otmane Aït Mohamed | [3] |
| 3 | Hong Peng | [1] [2] |
| 4 | Xiaoyu Song | [3] |
| 5 | Sofiène Tahar | [1] [2] [3] |