Buffer size trade-offs in input/output buffered ATM switches under various conditions. - Hong Shi; Naeem Abbasi; Charles A. Zukowski; Omar Wing (ICCCN, 1995)

Formal Reasoning about Expectation Properties for Continuous Random Variables. - Osman Hasan; Naeem Abbasi; Behzad Akbarpour; Sofiène Tahar; Reza Akbarpour (FM, 2009)

Real-time FPGA architecture of modified Stable Euler-Number algorithm for image binarization. - Naeem Abbasi; Jacques Athow; Aishy Amer (ICIP, 2009)

Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. - Osman Hasan; Naeem Abbasi; Sofiène Tahar (IFM, 2009)

AOP-based high-level power estimation in SystemC. - Feng Liu 029; QingPing Tan; Xiaoyu Song; Naeem Abbasi (ACM Great Lakes Symposium on VLSI, 2010)

Formal Lifetime Reliability Analysis Using Continuous Random Variables. - Naeem Abbasi; Osman Hasan; Sofiène Tahar (WoLLIC, 2010)

Formal Reliability Analysis Using Theorem Proving. - Osman Hasan; Sofiène Tahar; Naeem Abbasi (IEEE Trans. Computers, 2010)

Formal Analysis of Soft Errors using Theorem Proving. - Naeem Abbasi; Osman Hasan; Sofiène Tahar (SCSS, 2012)

An approach for lifetime reliability analysis using theorem proving. - Naeem Abbasi; Osman Hasan; Sofiène Tahar (J. Comput. Syst. Sci., 2014)

Modified stable Euler-number algorithm implementation for real-time image binarization. - Naeem Abbasi; Jacques Athow; Aishy Amer (J. Real Time Image Process., 2014)