2007 | ||
---|---|---|
3 | EE | Donglin Li, Otmane Aït Mohamed, Sa'ed Abed: Towards First-Order Symbolic Trajectory Evaluation. ISMVL 2007: 53 |
2006 | ||
2 | EE | Donglin Li, Otmane Aït Mohamed: MDG-Based Verification of the Look-Aside Interface. CCECE 2006: 1064-1068 |
1 | EE | Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed: Efficient assertion based verification using TLM. DATE 2006: 106-111 |
1 | Sa'ed Abed | [3] |
2 | Ali Habibi | [1] |
3 | Otmane Aït Mohamed | [1] [2] [3] |
4 | Amer Samarah | [1] |
5 | Sofiène Tahar | [1] |