Naeem Abbasi

Publication Activity (10 Years)

Years Active: 1995-2014
Publications (10 Years): 0

Top Topics

Theorem Proving

Natural Deduction

Combinatorial Search

Top Venues

J. Comput. Syst. Sci.

J. Real Time Image Process.

Publications

Naeem Abbasi, Osman Hasan, Sofiène Tahar
An approach for lifetime reliability analysis using theorem proving. J. Comput. Syst. Sci. 80 (2) (2014)
Naeem Abbasi, Jacques Athow, Aishy Amer
Modified stable Euler-number algorithm implementation for real-time image binarization. J. Real Time Image Process. 9 (1) (2014)
Naeem Abbasi, Osman Hasan, Sofiène Tahar
Formal Analysis of Soft Errors using Theorem Proving. SCSS (2012)
Naeem Abbasi, Osman Hasan, Sofiène Tahar
Formal Lifetime Reliability Analysis Using Continuous Random Variables. WoLLIC (2010)
Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi
AOP-based high-level power estimation in SystemC. ACM Great Lakes Symposium on VLSI (2010)
Osman Hasan, Sofiène Tahar, Naeem Abbasi
Formal Reliability Analysis Using Theorem Proving. IEEE Trans. Computers 59 (5) (2010)
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour
Formal Reasoning about Expectation Properties for Continuous Random Variables. FM (2009)
Naeem Abbasi, Jacques Athow, Aishy Amer
Real-time FPGA architecture of modified Stable Euler-Number algorithm for image binarization. ICIP (2009)
Osman Hasan, Naeem Abbasi, Sofiène Tahar
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. IFM (2009)
Hong Shi, Naeem Abbasi, Charles A. Zukowski, Omar Wing
Buffer size trade-offs in input/output buffered ATM switches under various conditions. ICCCN (1995)