Mohamad Noureddine

According to our database, Mohamad Noureddine authored at least 8 papers between 2012 and 2019.

Collaborative distances:

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

2019

From high-level modeling toward efficient and trustworthy circuits.

Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone

Int. J. Softw. Tools Technol. Transf., 2019

2014

Model Checking Software Programs with First Order Logic Specifications using AIG Solvers.

Fadi A. Zaraket, Mohamad Noureddine

CoRR, 2014

Synthesis of Sequential Extended Regular Expressions for Verification.

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

CoRR, 2014

From High-Level Modeling Towards Efficient and Trustworthy Circuits.

Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket

CoRR, 2014

Reduction and Abstraction Techniques for BIP.

Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Semantic Guidance and Feedback for the Construction of Specifications and Implementations

Paul C. Attie, Fadi A. Zaraket, Mohammad Fawaz, Mohamad Noureddine

CoRR, 2013

Specification Construction Using Behaviours, Equivalences, and SMT Solvers.

Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri

CoRR, 2013

2012

Portable Parallel Programs using architecture-aware libraries.

Fadi A. Zaraket, Mohamad Noureddine, Mohamed Sabra, Ameen Jaber

Proceedings of the ACM Symposium on Applied Computing, 2012