Portable Parallel Programs using architecture-aware libraries. - Fadi A. Zaraket; Mohamad Noureddine; Mohamed Sabra; Ameen Jaber (SAC, 2012)

Specification Construction Using Behaviours, Equivalences, and SMT Solvers. - Paul C. Attie; Fadi A. Zaraket; Mohamad Noureddine; Farah El-Hariri (CoRR, 2013)

Semantic Guidance and Feedback for the Construction of Specifications and Implementations - Paul C. Attie; Fadi A. Zaraket; Mohammad Fawaz; Mohamad Noureddine (CoRR, 2013)

Reduction and Abstraction Techniques for BIP. - Mohamad Noureddine; Mohamad Jaber 001; Simon Bliudze; Fadi A. Zaraket (FACS, 2014)

From High-Level Modeling Towards Efficient and Trustworthy Circuits. - Mohamad Jaber 001; Mohamad Noureddine; Fadi A. Zaraket (CoRR, 2014)

Synthesis of Sequential Extended Regular Expressions for Verification. - Mohamad Noureddine; Fadi A. Zaraket; Ali S. Elzein (CoRR, 2014)

Model Checking Software Programs with First Order Logic Specifications using AIG Solvers. - Fadi A. Zaraket; Mohamad Noureddine (CoRR, 2014)

From high-level modeling toward efficient and trustworthy circuits. - Fadi A. Zaraket; Mohamad Jaber 001; Mohamad Noureddine; Yliès Falcone (Int. J. Softw. Tools Technol. Transf., 2019)