Ali Habibi

Publication Activity (10 Years)

Years Active: 1970-2007
Publications (10 Years): 0

Publications

Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi
A Design for Verification Approach Using an Embedding of PSL in aSML. J. Circuits Syst. Comput. 16 (6) (2007)
Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed
Autometic Generation of SystemC Transactors from AsmL Specification. FDL (2007)
Ali Habibi, Bart Merci, Geraldine J. Heynderickx
Impact of radiation models in CFD simulations of steam cracking furnaces. Comput. Chem. Eng. 31 (11) (2007)
Amer Samarah, Ali Habibi, Sofiène Tahar, Nawwaf N. Kharma
Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm. HLDVT (2006)
Haja Moinudeen, Ali Habibi, Sofiène Tahar
Design for Verification of the PCI-X Bus. FMCAD (2006)
Ali Habibi, Haja Moinudeen, Sofiène Tahar
Generating finite state machines from SystemC. DATE Designers' Forum (2006)
Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed
Efficient assertion based verification using TLM. DATE (2006)
Ali Habibi, Sofiène Tahar
Design and verification of SystemC transaction-level models. IEEE Trans. Very Large Scale Integr. Syst. 14 (1) (2006)
Ali Habibi, Haja Moinudeen, Amer Samarah, Sofiène Tahar
Towards a Faster Simulation of SystemC Designs. ISVLSI (2006)
Ali Habibi, Sofiène Tahar
An Approach for the Verification of SystemC Designs Using AsmL. ATVA (2005)
Ali Habibi, Sofiène Tahar
Design for Verification of SystemC Transaction Level Models. DATE (2005)
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar
Embedding and Verification of PSL using AsmL. Abstract State Machines (2005)
Ali Habibi, Sofiène Tahar
On the formal verification of a SystemC Packet switch model. ICECS (2005)
Ali Habibi, Sofiène Tahar
AsmL Semantics in Fixpoint. Abstract State Machines (2005)
Ali Habibi, Sofiène Tahar
On the Transformation of SystemC to AsmL Using Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 131 (2005)
Karim Oumalou, Ali Habibi, Sofiène Tahar
Design for verification of a PCI bus in SystemC. SoC (2004)
Ali Habibi, Amjad Gawanmeh, Sofiène Tahar
Assertion based verification of PSL for SystemC designs. SoC (2004)
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar
Enabling SystemC Verification using Abstract State Machines. FDL (2004)
Ali Habibi, Sofiène Tahar
Towards an efficient assertion based verification of SystemC designs. HLDVT (2004)
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)
Ali Habibi, Sofiène Tahar
A Survey oA Survey on System-On-a-Chip Designn System-On-a-Chip Design. IWSOC (2003)
Ali Habibi, Sofiène Tahar, Adel Ghazel
Formal Verification of a DSP Chip Using an Iterative Approach. DSD (2002)
Ali Habibi
An Adaptive Strategy for Hybrid Image Coding. IEEE Trans. Commun. 29 (12) (1981)
Arun N. Netravali, Ali Habibi
Guest Editors' Prologue-Scanning the Issue. IEEE Trans. Commun. 29 (12) (1981)
Ali Habibi, Bartus H. Batson
Potential Digitization/Compression Techniques for Shuttle Video. IEEE Trans. Commun. 26 (11) (1978)
Ali Habibi
Fast Suboptimal Wiener Filtering of Markov Sequences. IEEE Trans. Computers 26 (5) (1977)
Ali Habibi
Survey of Adaptive Image Coding Techniques. IEEE Trans. Commun. 25 (11) (1977)
Ali Habibi
Introduction: Special Issue on Image Bandwidth Compression. IEEE Trans. Commun. 25 (11) (1977)
Ali Habibi
Hybrid Coding of Pictorial Data. IEEE Trans. Commun. 22 (5) (1974)
Ali Habibi, Guner S. Robinson
A survey of digital picture coding. Computer 7 (5) (1974)
Ali Habibi, Ronald S. Hershel
A Unified Representation of Differential Pulse-Code Modulation (DPCM) and Transform Coding Systems. IEEE Trans. Commun. 22 (5) (1974)
Jeremiah F. Hayes, Ali Habibi, Paul A. Wintz
Rate-distortion function for a Gaussian source model of images (Corresp.). IEEE Trans. Inf. Theory 16 (4) (1970)
Ali Habibi, Paul A. Wintz
Fast Multipliers. IEEE Trans. Computers 19 (2) (1970)