Ali Habibi

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

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page