Naeem Abbasi

According to our database, Naeem Abbasi authored at least 10 papers between 1995 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Modified stable Euler-number algorithm implementation for real-time image binarization.

Naeem Abbasi, Jacques Athow, Aishy Amer

J. Real Time Image Process., 2014

An approach for lifetime reliability analysis using theorem proving.

Naeem Abbasi, Osman Hasan, Sofiène Tahar

J. Comput. Syst. Sci., 2014

2012

Formal Analysis of Soft Errors using Theorem Proving.

Naeem Abbasi, Osman Hasan, Sofiène Tahar

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012

2010

Formal Reliability Analysis Using Theorem Proving.

Osman Hasan, Sofiène Tahar, Naeem Abbasi

IEEE Trans. Computers, 2010

Formal Lifetime Reliability Analysis Using Continuous Random Variables.

Naeem Abbasi, Osman Hasan, Sofiène Tahar

Proceedings of the Logic, 2010

AOP-based high-level power estimation in SystemC.

Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi

Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

2009

Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.

Osman Hasan, Naeem Abbasi, Sofiène Tahar

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Real-time FPGA architecture of modified Stable Euler-Number algorithm for image binarization.

Naeem Abbasi, Jacques Athow, Aishy Amer

Proceedings of the International Conference on Image Processing, 2009

Formal Reasoning about Expectation Properties for Continuous Random Variables.

Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour

Proceedings of the FM 2009: Formal Methods, 2009

1995

Buffer size trade-offs in input/output buffered ATM switches under various conditions.

Hong Shi, Naeem Abbasi, Charles A. Zukowski, Omar Wing

Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995