Fadi A. Zaraket

Latest

• From high-level modeling toward efficient and trustworthy circuits
• Model Checking Software with First Order Logic Specifications Using AIG Solvers
• Reduction and Abstraction Techniques for BIP
• Portable Parallel Programs using architecture-aware libraries