| 2007 |
|---|
| 18 | EE | Tareq Hasan Khan,
Ali Habibi,
Sofiène Tahar,
Otmane Aït Mohamed:
Autometic Generation of SystemC Transactors from AsmL Specification.
FDL 2007: 104-109 |
| 17 | EE | Amjad Gawanmeh,
Sofiène Tahar,
Haja Moinudeen,
Ali Habibi:
A Design for Verification Approach Using an Embedding of PSL in aSML.
Journal of Circuits, Systems, and Computers 16(6): 859-881 (2007) |
| 2006 |
|---|
| 16 | EE | Ali Habibi,
Sofiène Tahar,
Amer Samarah,
Donglin Li,
Otmane Aït Mohamed:
Efficient assertion based verification using TLM.
DATE 2006: 106-111 |
| 15 | EE | Ali Habibi,
Haja Moinudeen,
Sofiène Tahar:
Generating finite state machines from SystemC.
DATE Designers' Forum 2006: 76-81 |
| 14 | EE | Haja Moinudeen,
Ali Habibi,
Sofiène Tahar:
Design for Verification of the PCI-X Bus.
FMCAD 2006: 187-188 |
| 13 | EE | Ali Habibi,
Haja Moinudeen,
Amer Samarah,
Sofiène Tahar:
Towards a Faster Simulation of SystemC Designs.
ISVLSI 2006: 418-419 |
| 12 | EE | Ali Habibi,
Sofiène Tahar:
Design and verification of SystemC transaction-level models.
IEEE Trans. VLSI Syst. 14(1): 57-68 (2006) |
| 2005 |
|---|
| 11 | EE | Ali Habibi,
Sofiène Tahar:
An Approach for the Verification of SystemC Designs Using AsmL.
ATVA 2005: 69-83 |
| 10 | EE | Amjad Gawanmeh,
Ali Habibi,
Sofiène Tahar:
Embedding and Verification of PSL using AsmL.
Abstract State Machines 2005: 201-216 |
| 9 | EE | Ali Habibi,
Sofiène Tahar:
AsmL Semantics in Fixpoint.
Abstract State Machines 2005: 233-246 |
| 8 | EE | Ali Habibi,
Sofiène Tahar:
Design for Verification of SystemC Transaction Level Models.
DATE 2005: 560-565 |
| 7 | EE | Ali Habibi,
Sofiène Tahar:
On the Transformation of SystemC to AsmL Using Abstract Interpretation.
Electr. Notes Theor. Comput. Sci. 131: 39-49 (2005) |
| 2004 |
|---|
| 6 | EE | Ali Habibi,
Asif Iqbal Ahmed,
Otmane Aït Mohamed,
Sofiène Tahar:
On the Design and Verification Methodology of the Look-Aside Interface.
DATE 2004: 290-295 |
| 5 | EE | Ali Habibi,
Asif Iqbal Ahmed,
Otmane Aït Mohamed,
Sofiène Tahar:
On the Design and Verification Methodology of the Look-Aside Interface.
DATE 2004: 290-295 |
| 4 | EE | Amjad Gawanmeh,
Ali Habibi,
Sofiène Tahar:
Enabling SystemC Verification using Abstract State Machines.
FDL 2004: 649-661 |
| 2003 |
|---|
| 3 | EE | Ali Habibi,
Sofiène Tahar:
A Survey oA Survey on System-On-a-Chip Designn System-On-a-Chip Design.
IWSOC 2003: 212-215 |
| 2002 |
|---|
| 2 | EE | Ali Habibi,
Sofiène Tahar,
Adel Ghazel:
Formal Verification of a DSP Chip Using an Iterative Approach.
DSD 2002: 12-19 |
| 1977 |
|---|
| 1 | | Ali Habibi:
Fast Suboptimal Wiener Filtering of Markov Sequences.
IEEE Trans. Computers 26(5): 443-449 (1977) |
