Items where Author is "Tahar, Sofiène"

Article

Hasan, Osman and 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 and 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 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