Ali Habibi

According to our database, Ali Habibi authored at least 33 papers between 1970 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

A Design for Verification Approach Using an Embedding of PSL in aSML.

Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi

J. Circuits Syst. Comput., 2007

Impact of radiation models in CFD simulations of steam cracking furnaces.

Ali Habibi, Bart Merci, Geraldine J. Heynderickx

Comput. Chem. Eng., 2007

Autometic Generation of SystemC Transactors from AsmL Specification.

Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed

Proceedings of the Forum on specification and Design Languages, 2007

2006

Design and verification of SystemC transaction-level models.

Ali Habibi, Sofiène Tahar

IEEE Trans. Very Large Scale Integr. Syst., 2006

Towards a Faster Simulation of SystemC Designs.

Ali Habibi, Haja Moinudeen, Amer Samarah, Sofiène Tahar

Proceedings of the 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2006

Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm.

Amer Samarah, Ali Habibi, Sofiène Tahar, Nawwaf Kharma

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

Design for Verification of the PCI-X Bus.

Haja Moinudeen, Ali Habibi, Sofiène Tahar

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Efficient assertion based verification using TLM.

Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Generating finite state machines from SystemC.

Ali Habibi, Haja Moinudeen, Sofiène Tahar

Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

2005

On the Transformation of SystemC to AsmL Using Abstract Interpretation.

Ali Habibi, Sofiène Tahar

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

On the formal verification of a SystemC Packet switch model.

Ali Habibi, Sofiène Tahar

Proceedings of the 12th IEEE International Conference on Electronics, 2005

Design for Verification of SystemC Transaction Level Models.

Ali Habibi, Sofiène Tahar

Proceedings of the 2005 Design, 2005

An Approach for the Verification of SystemC Designs Using AsmL.

Ali Habibi, Sofiène Tahar

Proceedings of the Automated Technology for Verification and Analysis, 2005

AsmL Semantics in Fixpoint.

Ali Habibi, Sofiène Tahar

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

Embedding and Verification of PSL using AsmL.

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Design for verification of a PCI bus in SystemC.

Karim Oumalou, Ali Habibi, Sofiène Tahar

Proceedings of the 2004 International Symposium on System-on-Chip, 2004

Assertion based verification of PSL for SystemC designs.

Ali Habibi, Amjad Gawanmeh, Sofiène Tahar

Proceedings of the 2004 International Symposium on System-on-Chip, 2004

Towards an efficient assertion based verification of SystemC designs.

Ali Habibi, Sofiène Tahar

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Enabling SystemC Verification using Abstract State Machines.

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

Proceedings of the Forum on specification and Design Languages, 2004

On the Design and Verification Methodology of the Look-Aside Interface.

Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Mohamed, Sofiène Tahar

Proceedings of the 2004 Design, 2004

2003

A Survey oA Survey on System-On-a-Chip Designn System-On-a-Chip Design.

Ali Habibi, Sofiène Tahar

Proceedings of the 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'03), 30 June, 2003

2002

Formal Verification of a DSP Chip Using an Iterative Approach.

Ali Habibi, Sofiène Tahar, Adel Ghazel

Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002

1981

Guest Editors' Prologue-Scanning the Issue.

Arun N. Netravali, Ali Habibi

IEEE Trans. Commun., 1981

An Adaptive Strategy for Hybrid Image Coding.

Ali Habibi

IEEE Trans. Commun., 1981

1978

Potential Digitization/Compression Techniques for Shuttle Video.

Ali Habibi, Bartus H. Batson

IEEE Trans. Commun., 1978

1977

Survey of Adaptive Image Coding Techniques.

Ali Habibi

IEEE Trans. Commun., 1977

Introduction: Special Issue on Image Bandwidth Compression.

Ali Habibi

IEEE Trans. Commun., 1977

Fast Suboptimal Wiener Filtering of Markov Sequences.

Ali Habibi

IEEE Trans. Computers, 1977

1974

A Unified Representation of Differential Pulse-Code Modulation (DPCM) and Transform Coding Systems.

Ali Habibi, Ronald S. Hershel

IEEE Trans. Commun., 1974

Hybrid Coding of Pictorial Data.

Ali Habibi

IEEE Trans. Commun., 1974

A survey of digital picture coding.

Ali Habibi, Guner S. Robinson

Computer, 1974

1970

Rate-distortion function for a Gaussian source model of images (Corresp.).

Jeremiah F. Hayes, Ali Habibi, Paul A. Wintz

IEEE Trans. Inf. Theory, 1970

Fast Multipliers.

Ali Habibi, Paul A. Wintz

IEEE Trans. Computers, 1970