 | 2009 |
|---|
| 6 |       | Sa'ed Abed,
Otmane Aït Mohamed:
LCF-style Platform based on Multiway Decision Graphs.
Electr. Notes Theor. Comput. Sci. 246: 3-26 (2009) |
| 5 | | Sa'ed Abed,
Otmane Aït Mohamed,
Ghiath Al Sammane:
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs.
J. Comput. Sci. Technol. 24(1): 76-95 (2009) |
| 2008 |
|---|
| 4 | | 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 | | 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 | | 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 | | Donglin Li,
Otmane Aït Mohamed,
Sa'ed Abed:
Towards First-Order Symbolic Trajectory Evaluation.
ISMVL 2007: 53 |
