Mohamad Noureddine

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
From high-level modeling toward efficient and trustworthy circuits.
Int. J. Softw. Tools Technol. Transf., 2019

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

Synthesis of Sequential Extended Regular Expressions for Verification.
CoRR, 2014

From High-Level Modeling Towards Efficient and Trustworthy Circuits.
CoRR, 2014

Reduction and Abstraction Techniques for BIP.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013
Semantic Guidance and Feedback for the Construction of Specifications and Implementations
CoRR, 2013

Specification Construction Using Behaviours, Equivalences, and SMT Solvers.
CoRR, 2013

2012
Portable Parallel Programs using architecture-aware libraries.
Proceedings of the ACM Symposium on Applied Computing, 2012


  Loading...