| 2008 |
|---|
| 4 | EE | Sa'ed Abed,
Otmane Aït Mohamed,
Ghiath Al Sammane:
The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover.
FDL 2008: 136-141 |
| 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 |
| 2 | EE | Sa'ed Abed,
Otmane Aït Mohamed,
Ghiath Al Sammane:
Reachability analysis using multiway decision graphs in the HOL theorem prover.
SAC 2008: 333-338 |
| 2007 |
|---|
| 1 | EE | Donglin Li,
Otmane Aït Mohamed,
Sa'ed Abed:
Towards First-Order Symbolic Trajectory Evaluation.
ISMVL 2007: 53 |
