FPGA-based Internet protocol firewall chip. - Ayman I. Kayssi; Louis Harik; Rony Ferzli; Mohammad Fawaz (ICECS, 2000)

Testing techniques for resistive-open defects in future CMOS technologies. - Mohammad Fawaz; Nader Kobrosli; Ali Chehab; Ayman I. Kayssi (APCCAS, 2010)

Transient current and delay analysis for resistive-open defects in future 16 nm CMOS circuits. - Mohammad Fawaz; Nader Kobrosli; Ahmad Chkeir; Ali Chehab; Ayman I. Kayssi (ICECS, 2010)

Adaptive 2D to 3D image conversion using a hybrid Graph Cuts and Random Walks approach. - Mohammad Fawaz; Raymond Phan; Richard Rzeszutek; Dimitrios Androutsos (ICASSP, 2012)

Redundancy-aware electromigration checking for mesh power grids. - Sandeep Chatterjee; Mohammad Fawaz; Farid N. Najm (ICCAD, 2013)

A vectorless framework for power grid electromigration checking. - Mohammad Fawaz; Sandeep Chatterjee; Farid N. Najm (ICCAD, 2013)

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

Redundancy-Aware Power Grid Electromigration Checking Under Workload Uncertainties. - Sandeep Chatterjee; Mohammad Fawaz; Farid N. Najm (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Fast simulation-based verification of RC power grids. - Mohammad Fawaz; Farid N. Najm (CCECE, 2016)

Accurate verification of RC power grids. - Mohammad Fawaz; Farid N. Najm (DATE, 2016)

Power grid verification under transient constraints. - Mohammad Fawaz; Farid N. Najm (ICCAD, 2017)

Parallel Simulation-Based Verification of RC Power Grids. - Mohammad Fawaz; Farid N. Najm (ISVLSI, 2017)

Fast Vectorless RLC Grid Verification. - Mohammad Fawaz; Farid N. Najm (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)