Mohamad Noureddine

Identifiers

• name variant Mohamad Noureddine 0.60 · backfill

Papers (4)

1. From High-Level Modeling Towards Efficient and Trustworthy Circuits cs.SE · 2014 · author #2
2. Model Checking Software Programs with First Order Logic Specifications using AIG Solvers cs.SE · 2014 · author #2
3. Synthesis of Sequential Extended Regular Expressions for Verification cs.FL · 2014 · author #1
4. Specification Construction Using Behaviours, Equivalences, and SMT Solvers cs.SE · 2013 · author #3

Mentions

• 1409.8146 #2 · arxiv_oai · confidence 0.70 Mohamad Noureddine
• 1409.6825 #2 · arxiv_oai · confidence 0.70 Mohamad Noureddine
• 1401.3173 #1 · arxiv_oai · confidence 0.70 Mohamad Noureddine
• 1307.6901 #3 · arxiv_oai · confidence 0.70 Mohamad Noureddine
• 1409.8146 #2 · backfill · confidence 0.70 Mohamad Noureddine
• 1409.6825 #2 · backfill · confidence 0.70 Mohamad Noureddine
• 1401.3173 #1 · backfill · confidence 0.70 Mohamad Noureddine
• 1307.6901 #3 · backfill · confidence 0.70 Mohamad Noureddine

Frequent Coauthors

• Fadi A. Zaraket 4 shared papers
• Ali S. Elzein 1 shared papers
• Farah El-Hariri 1 shared papers
• Mohamad Jaber 1 shared papers
• Paul C. Attie 1 shared papers