Maya H. Safieddine

According to our database, Maya H. Safieddine authored at least 3 papers between 2015 and 2019.

Collaborative distances:

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

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

2016

Automated FPGA implementations of BIP designs.

Maya H. Safieddine, Fadi A. Zaraket, Mohamad Jaber, Rouwaida Kanj, Mazen A. R. Saghir

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

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