Ali El-Zein

According to our database, Ali El-Zein authored at least 12 papers between 1992 and 2021.

Collaborative distances:

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

2021

A Predictive Model for Geographic Distributions of Mangroves.

Lynn Wahab, Ezzat Chebaro, Jad Ismail, Amir Nasrelddine, Ali El-Zein

CoRR, 2021

2019

Verification at RTL Using Separation of Design Concerns.

Maya H. Safieddine, Fadi A. Zaraket, Rouwaida Kanj, Ali S. Elzein, Wolfgang Roesner

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

2015

Separation of concerns for hardware components of embedded systems in BIP.

Maya H. Safieddine, Rouwaida Kanj, Fadi A. Zaraket, Ali S. Elzein, Mohamad Jaber

Proceedings of the Sixteenth International Symposium on Quality Electronic Design, 2015

2014

Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry.

Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein

Formal Methods Syst. Des., 2014

Synthesis of Sequential Extended Regular Expressions for Verification.

Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein

CoRR, 2014

2012

Formal verification of error correcting circuits using computational algebraic geometry.

Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein

Proceedings of the Formal Methods in Computer-Aided Design, 2012

1994

Transient Simulation of Nonuniform Transmission Lines by Asymptotic Waveform Evaluation.

Monjurul Haque, Ali El-Zein, Salim Chowdhury

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

Simulating Nonuniform Lossy Lines with Frequency Dependent Parameters by the Method of Characteristics.

Ali El-Zein, Monjurul Haque, Salim Chowdhury

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

Simulating Uniform Lossy Lines by the Time-Domain Modal Analysis.

Ali El-Zein, Monjurul Haque, Salim Chowdhury

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

A New Time-Domain Macromodel for Transient Simulation of Uniform/Nonuniform Multiconductor Transmission-Line Interconnections.

Monjurul Haque, Ali El-Zein, Salim Chowdhury

Proceedings of the 31st Conference on Design Automation, 1994

1993

Maximum crosstalk in a transmission line system with linear time-invariant terminal networks.

Ali El-Zein, Salim Chowdhury

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993

1992

An analytical method for finding the maximum crosstalk in lossless-coupled transmission lines.

Ali El-Zein, Salim Chowdhury

Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992