Ali Habibi

2007
16	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
15	EE	Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed: Efficient assertion based verification using TLM. DATE 2006: 106-111
14	EE	Ali Habibi, Haja Moinudeen, Sofiène Tahar: Generating finite state machines from SystemC. DATE Designers' Forum 2006: 76-81
13	EE	Haja Moinudeen, Ali Habibi, Sofiène Tahar: Design for Verification of the PCI-X Bus. FMCAD 2006: 187-188
12	EE	Ali Habibi, Haja Moinudeen, Amer Samarah, Sofiène Tahar: Towards a Faster Simulation of SystemC Designs. ISVLSI 2006: 418-419
11	EE	Ali Habibi, Sofiène Tahar: Design and verification of SystemC transaction-level models. IEEE Trans. VLSI Syst. 14(1): 57-68 (2006)
2005
10	EE	Ali Habibi, Sofiène Tahar: An Approach for the Verification of SystemC Designs Using AsmL. ATVA 2005: 69-83
9	EE	Amjad Gawanmeh, Ali Habibi, Sofiène Tahar: Embedding and Verification of PSL using AsmL. Abstract State Machines 2005: 201-216
8	EE	Ali Habibi, Sofiène Tahar: AsmL Semantics in Fixpoint. Abstract State Machines 2005: 233-246
7	EE	Ali Habibi, Sofiène Tahar: Design for Verification of SystemC Transaction Level Models. DATE 2005: 560-565
6	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
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	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
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)

Coauthor Index

1	Asif Iqbal Ahmed	[4] [5]
2	Amjad Gawanmeh	[9] [16]
3	Adel Ghazel	[2]
4	Donglin Li	[15]
5	Otmane Aït Mohamed	[4] [5] [15]
6	Haja Moinudeen	[12] [13] [14] [16]
7	Amer Samarah	[12] [15]
8	Sofiène Tahar	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]