Mohamad Noureddine

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 1

Top Topics

Modulo Theories

Monadic Second Order Logic

Computationally Expensive

Regular Expressions

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone
From high-level modeling toward efficient and trustworthy circuits. Int. J. Softw. Tools Technol. Transf. 21 (2) (2019)
Fadi A. Zaraket, Mohamad Noureddine
Model Checking Software Programs with First Order Logic Specifications using AIG Solvers. CoRR (2014)
Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket
Reduction and Abstraction Techniques for BIP. FACS (2014)
Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket
From High-Level Modeling Towards Efficient and Trustworthy Circuits. CoRR (2014)
Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein
Synthesis of Sequential Extended Regular Expressions for Verification. CoRR (2014)
Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri
Specification Construction Using Behaviours, Equivalences, and SMT Solvers. CoRR (2013)
Paul C. Attie, Fadi A. Zaraket, Mohammad Fawaz, Mohamad Noureddine
Semantic Guidance and Feedback for the Construction of Specifications and Implementations CoRR (2013)
Fadi A. Zaraket, Mohamad Noureddine, Mohamed Sabra, Ameen Jaber
Portable Parallel Programs using architecture-aware libraries. SAC (2012)