![]() | ![]() |
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] |