| 2009 |
|---|
| 8 | EE | Osman Hasan,
Naeem Abbasi,
Sofiène Tahar:
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.
IFM 2009: 277-291 |
| 7 | EE | Osman Hasan,
Sofiène Tahar:
Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL.
J. Autom. Reasoning 42(1): 1-33 (2009) |
| 2008 |
|---|
| 6 | EE | Osman Hasan,
Sofiène Tahar:
Performance Analysis of ARQ Protocols using a Theorem Prover.
ISPASS 2008: 85-94 |
| 5 | EE | Osman Hasan,
Sofiène Tahar:
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables.
J. Autom. Reasoning 41(3-4): 295-323 (2008) |
| 2007 |
|---|
| 4 | EE | Osman Hasan,
Sofiène Tahar:
Formalization of Continuous Probability Distributions.
CADE 2007: 3-18 |
| 3 | EE | Osman Hasan,
Sofiène Tahar:
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function.
IFM 2007: 333-352 |
| 2 | EE | Osman Hasan,
Sofiène Tahar:
Verification of Expectation Properties for Discrete Random Variables in HOL.
TPHOLs 2007: 119-134 |
| 1 | EE | Osman Hasan,
Sofiène Tahar:
Formalization of the Standard Uniform random variable.
Theor. Comput. Sci. 382(1): 71-83 (2007) |
