Ali S. Elzein

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 2

Top Topics

Regular Expressions

Deterministic Finite Automata

Real Time Image Processing

Top Venues

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

Publications

Maya H. Safieddine, Fadi A. Zaraket, Rouwaida Kanj, Ali S. Elzein, Wolfgang Roesner
Verification at RTL Using Separation of Design Concerns. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (8) (2019)
Maya H. Safieddine, Rouwaida Kanj, Fadi A. Zaraket, Ali S. Elzein, Mohamad Jaber
Separation of concerns for hardware components of embedded systems in BIP. ISQED (2015)
Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein
Synthesis of Sequential Extended Regular Expressions for Verification. CoRR (2014)