 | 2009 |
|---|
| 11 |       | Osman Hasan,
Naeem Abbasi,
Behzad Akbarpour,
Sofiène Tahar,
Reza Akbarpour:
Formal Reasoning about Expectation Properties for Continuous Random Variables.
FM 2009: 435-450 |
| 10 | | Osman Hasan,
Naeem Abbasi,
Sofiène Tahar:
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.
IFM 2009: 277-291 |
| 9 | | Osman Hasan,
Sanaz Khan Afshar,
Sofiène Tahar:
Formal Analysis of Optical Waveguides in HOL.
TPHOLs 2009: 228-243 |
| 8 | | Osman Hasan,
Sofiène Tahar:
Probabilistic Analysis of Wireless Systems Using Theorem Proving.
Electr. Notes Theor. Comput. Sci. 242(2): 43-58 (2009) |
| 7 | | 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 | | Osman Hasan,
Sofiène Tahar:
Performance Analysis of ARQ Protocols using a Theorem Prover.
ISPASS 2008: 85-94 |
| 5 | | 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 | | Osman Hasan,
Sofiène Tahar:
Formalization of Continuous Probability Distributions.
CADE 2007: 3-18 |
| 3 | | Osman Hasan,
Sofiène Tahar:
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function.
IFM 2007: 333-352 |
| 2 | | Osman Hasan,
Sofiène Tahar:
Verification of Expectation Properties for Discrete Random Variables in HOL.
TPHOLs 2007: 119-134 |
| 1 | | Osman Hasan,
Sofiène Tahar:
Formalization of the Standard Uniform random variable.
Theor. Comput. Sci. 382(1): 71-83 (2007) |
