Items where Author is "Hasan, Osman"

Masadeh, Mahmoud ORCID: https://orcid.org/0000-0001-7447-1276, Hasan, Osman and Tahar, Sofiène (2019) Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency. IEEE Access, 7 . pp. 147129-147142. ISSN 2169-3536

Elderhalli, Yassmeen ORCID: https://orcid.org/0000-0003-4437-2933, Hasan, Osman and Tahar, Sofiène (2019) A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. IEEE Access, 7 . pp. 136176-136192. ISSN 2169-3536

Mhamdi, Tarek, Hasan, Osman and Tahar, Sofiène (2013) Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. ACM Transactions on Embedded Computing Systems, 12 (1). pp. 1-23. ISSN 15399087

Liu, Liya, Hasan, Osman and Tahar, Sofiène (2013) Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. Journal of Computer Science and Technology, 28 (2). pp. 217-231. ISSN 1000-9000

Hasan, Osman, Patel, Jigar and Tahar, Sofiène (2011) Formal reliability analysis of combinational circuits using theorem proving. Journal of Applied Logic, 9 (1). pp. 41-60. ISSN 15708683

Hasan, Osman and Tahar, Sofiène (2011) Reasoning about conditional probabilities in a higher-order-logic theorem prover. Journal of Applied Logic, 9 (1). pp. 23-40. ISSN 15708683

Hasan, Osman, Tahar, Sofiène and Abbasi, Naeem (2010) Formal Reliability Analysis Using Theorem Proving. IEEE Transactions on Computers, 59 (5). pp. 579-592. ISSN 0018-9340

Hasan, Osman and Tahar, Sofiène (2010) Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving. Journal of Computer Science and Technology, 25 (6). pp. 1305-1320. ISSN 1000-9000

Hasan, Osman and Tahar, Sofiène (2009) Formal verification of tail distribution bounds in the HOL theorem prover. Mathematical Methods in the Applied Sciences, 32 (4). pp. 480-504. ISSN 01704214

Hasan, Osman and Tahar, Sofiène (2009) Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. Journal of Automated Reasoning, 42 (1). pp. 1-33. ISSN 0168-7433

Hasan, Osman and Tahar, Sofiène (2009) Probabilistic Analysis of Wireless Systems Using Theorem Proving. Electronic Notes in Theoretical Computer Science, 242 (2). pp. 43-58. ISSN 15710661

Hasan, Osman (2008) Formal probabilistic analysis using theorem proving. PhD thesis, Concordia University.

Hasan, Osman and Tahar, Sofiène (2008) Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. Journal of Automated Reasoning, 41 (3-4). pp. 295-323. ISSN 0168-7433

Hasan, Osman and Tahar, Sofiène (2007) Formalization of the Standard Uniform random variable. Theoretical Computer Science, 382 (1). pp. 71-83. ISSN 03043975