Ali Habibi

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